[
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      234467,
      33531
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Uint": [
              "0xc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80778,
      27222
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      353236,
      49206
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0x23",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8030,
      60211
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0x7d2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62206,
      48115
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81967,
      49339
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xc95b700b5a3da5a4489ff1cd269c3a9fe389192451f5c4ac170baa1edfbec862",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5943,
      1223
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
              },
              {
                "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
              },
              {
                "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
              },
              {
                "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
              },
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              },
              {
                "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
              },
              {
                "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8343,
      291
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x1a7",
                  256
                ]
              },
              {
                "Uint": [
                  "0x15182",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0xee59836db15f52ae3384e7b3cdbfdf4e5ac1dcbd9db4de788f21e5c864f4b4b0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x61313a6f1c55f6071176662b62e01f1ebaf43c74d736774bcfd7f2e2192a170a",
                  256
                ]
              },
              {
                "Uint": [
                  "0x452dd1aee3f6242346146f11d86be2a26645b510d54639efd9ff91f3792de9ba",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22537,
      27670
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3202,
      4273
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0xd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15633,
      27721
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29799,
      217
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xb6b338609dc2d4d4dbd6fd03a3ed1f249f3a7bc8e23da893ed1ee62021061976",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      416667,
      18306
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36991,
      39422
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0x5bcc8616cfcc63735b97243e56d0ec973cca600db44eec4aa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21959,
      54655
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0xfc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81193,
      56526
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1837,
      43774
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x26",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4148,
      1164
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Uint": [
              "0x1a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10710,
      12644
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0xbbcb6c40c8ba0456b137df96ae0cd4ea18eb9abfa563566efa7c69e1de3fba01",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      478563,
      15664
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0x1bd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86924,
      26869
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8096,
      2090
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x19e8af5a770a7d0bd244e2c40f7f3f3d643d58cb4b887fd031b0584735271459",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72259,
      22991
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x24c3634c2b0bafec0c3e4c4c3fbbf9322751711ff58bd2324bfb4017ea3c7798",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      228,
      18650
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      587989,
      3542
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3122,
      21541
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      364,
      2863
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7360,
      24430
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77739,
      42724
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71349,
      107
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59073,
      5611
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0x9ae76e36a6ab7de7657e0bf8d8c828528c1ec4f34de98744b185fc274fbff785",
              256
            ]
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14633,
      21826
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x86e3df2e77ef040a3009ea28a5040bacd9068032ed200adff6da015ee510c88e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83149,
      50937
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          },
          {
            "Uint": [
              "0x1a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10158,
      780
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x44b50d225f441fb47e39d893dc192473c4af3fefe867b466c85b37923d103533",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65030,
      23614
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0x49bf0e401ef406b5d81492afe488ea0fb63e7f0e5e4b66d360812cfe78f2deb1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11405,
      17236
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x100000000000000000000000000000000",
              256
            ]
          },
          {
            "Uint": [
              "0x9b845c93fd750822b8e758286eebcbef682982fd5b6a02bb540b7f50499b9937",
              256
            ]
          },
          {
            "Uint": [
              "0xf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18660,
      6599
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0x1ff0ec7283b4e8722cfdc23a5049064a382286164c1737d9975deaaf8b234b71",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67685,
      14346
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x31",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5332,
      20729
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      591833,
      52430
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82425,
      20411
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60172,
      55512
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      166385,
      37323
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0xfa3",
              256
            ]
          },
          {
            "Uint": [
              "0x34aa4",
              256
            ]
          },
          {
            "Uint": [
              "0x18",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6987,
      24170
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      531320,
      7408
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85384,
      53062
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x1eeffec1ecc5b6d71f2f3ec4068867d68a857ac49850fc56d290b02f6ce3207d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      479252,
      48557
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83442,
      51579
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
              },
              {
                "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
              },
              {
                "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              },
              {
                "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
              },
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              },
              {
                "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
              },
              {
                "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40753,
      442
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83646,
      18205
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14025,
      12024
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10302,
      59199
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62869,
      13942
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0x130",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64951,
      4924
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65168,
      8345
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
          },
          {
            "Uint": [
              "0x8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81453,
      1021
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0xfa3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42848,
      7290
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0xfd8dcc3e0062435ac533694498451b937e86571f1ddd72653810f1f1f3bf4f27",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45092,
      5146
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6563,
      50342
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          },
          {
            "Uint": [
              "0xfa0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80505,
      2205
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      578802,
      9691
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          },
          {
            "Uint": [
              "0x8180f1abe50a8a5f4b4734052156fd90817fde9d1a7152f0dfb8a3b4645423ce",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118346,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x15a79b3702a2f0dbdfe2efec5ec1d98c17da6df40a3b06a7e11a7ee3fb25409a",
              256
            ]
          },
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23178,
      6091
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          },
          {
            "Uint": [
              "0x15181",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      271040,
      34193
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x7914bc7e40d3868dab1c317877203f52eca44c8ee0cbed85a5a98bd31cede255",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52286,
      21140
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior4626",
        "args": [
          {
            "Uint": [
              "0xe8",
              8
            ]
          },
          {
            "Uint": [
              "0x106",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3243,
      28294
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
                  },
                  {
                    "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
                  },
                  {
                    "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
                  },
                  {
                    "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
                  },
                  {
                    "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
                  },
                  {
                    "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
                  },
                  {
                    "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
                  },
                  {
                    "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      114,
                      223,
                      127,
                      169,
                      202,
                      125,
                      173,
                      246,
                      38,
                      180,
                      250,
                      38,
                      244,
                      196,
                      226,
                      50,
                      122,
                      89,
                      129,
                      79,
                      70,
                      192,
                      188,
                      46,
                      146
                    ]
                  },
                  {
                    "Bytes": []
                  },
                  {
                    "Bytes": [
                      42,
                      242,
                      237,
                      201,
                      97,
                      29,
                      132,
                      30,
                      132,
                      31,
                      34,
                      17,
                      152,
                      131,
                      136,
                      254,
                      53,
                      194,
                      197,
                      206,
                      99,
                      40,
                      65,
                      97
                    ]
                  },
                  {
                    "Bytes": [
                      43,
                      250,
                      109,
                      66,
                      246,
                      44,
                      212,
                      192,
                      231,
                      196,
                      12,
                      216,
                      249,
                      130,
                      250,
                      145,
                      168,
                      63,
                      220,
                      185,
                      239,
                      147,
                      148,
                      85,
                      198,
                      119,
                      130,
                      57
                    ]
                  },
                  {
                    "Bytes": [
                      144,
                      250,
                      3,
                      141,
                      108,
                      125,
                      5,
                      161,
                      172,
                      68,
                      48,
                      170,
                      201,
                      242,
                      59,
                      14,
                      173,
                      65,
                      37,
                      254,
                      45,
                      89,
                      70
                    ]
                  },
                  {
                    "Bytes": [
                      215,
                      225,
                      137,
                      2,
                      19,
                      165,
                      59,
                      35,
                      138,
                      22,
                      255,
                      136,
                      187,
                      27,
                      16,
                      178,
                      226,
                      128,
                      26,
                      44,
                      37
                    ]
                  },
                  {
                    "Bytes": [
                      128,
                      38,
                      35,
                      16,
                      96,
                      90,
                      69,
                      237,
                      203,
                      25,
                      30,
                      165,
                      33,
                      106,
                      16,
                      40
                    ]
                  },
                  {
                    "Bytes": [
                      89,
                      164,
                      166,
                      182,
                      162,
                      195,
                      24,
                      159,
                      223,
                      43,
                      240,
                      75,
                      238,
                      14,
                      144,
                      110,
                      55,
                      13,
                      215,
                      53,
                      177
                    ]
                  },
                  {
                    "Bytes": [
                      188,
                      96,
                      44,
                      155,
                      166,
                      152,
                      171,
                      216,
                      82,
                      211,
                      26,
                      126,
                      125,
                      108,
                      130,
                      106,
                      255,
                      230,
                      51,
                      189,
                      157,
                      238,
                      21,
                      221,
                      224,
                      178,
                      162,
                      137,
                      244,
                      107,
                      173,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      142,
                      118,
                      170,
                      239,
                      160,
                      173,
                      92,
                      1,
                      0,
                      169,
                      136,
                      205,
                      150,
                      55,
                      32,
                      59,
                      120,
                      145,
                      184,
                      224,
                      206,
                      119,
                      163,
                      37,
                      4,
                      255,
                      89,
                      68,
                      151,
                      126
                    ]
                  },
                  {
                    "Bytes": [
                      26,
                      56,
                      235,
                      93,
                      156,
                      27,
                      226,
                      177,
                      194,
                      21,
                      80,
                      200,
                      155,
                      14,
                      123,
                      125,
                      210,
                      87,
                      141,
                      3,
                      18,
                      66,
                      189,
                      34
                    ]
                  },
                  {
                    "Bytes": [
                      59,
                      143,
                      123,
                      236,
                      31,
                      155,
                      183,
                      149,
                      83,
                      44,
                      45,
                      232,
                      196,
                      254,
                      67,
                      47,
                      204,
                      124,
                      105,
                      143,
                      246,
                      15,
                      239,
                      112
                    ]
                  },
                  {
                    "Bytes": [
                      251,
                      98,
                      52,
                      10,
                      240,
                      102,
                      110,
                      39,
                      6,
                      217,
                      206,
                      210,
                      40,
                      169,
                      45,
                      11,
                      90,
                      217,
                      21,
                      128,
                      100,
                      3
                    ]
                  },
                  {
                    "Bytes": [
                      187,
                      105,
                      243,
                      170,
                      14,
                      74,
                      143,
                      185,
                      78,
                      84,
                      130,
                      11,
                      244,
                      242,
                      155,
                      16,
                      247,
                      200,
                      245,
                      46,
                      11,
                      183,
                      216,
                      145,
                      232,
                      132
                    ]
                  },
                  {
                    "Bytes": []
                  },
                  {
                    "Bytes": [
                      205,
                      55,
                      90,
                      27,
                      156,
                      237,
                      202,
                      49,
                      221,
                      75,
                      110,
                      86,
                      90,
                      14,
                      121,
                      100,
                      36,
                      103,
                      20,
                      234,
                      239
                    ]
                  },
                  {
                    "Bytes": [
                      142,
                      210,
                      159,
                      88,
                      193,
                      113,
                      78,
                      54,
                      60,
                      178,
                      3,
                      13,
                      248,
                      221,
                      129,
                      71,
                      222,
                      143,
                      39,
                      125,
                      173,
                      138,
                      45,
                      206
                    ]
                  },
                  {
                    "Bytes": [
                      55,
                      156
                    ]
                  },
                  {
                    "Bytes": []
                  },
                  {
                    "Bytes": [
                      16,
                      54,
                      237,
                      139,
                      8,
                      119,
                      51,
                      208,
                      218,
                      163,
                      242,
                      250
                    ]
                  },
                  {
                    "Bytes": [
                      125,
                      114,
                      235,
                      16,
                      211,
                      236,
                      58,
                      37,
                      135,
                      138,
                      55,
                      228,
                      81,
                      190,
                      187,
                      61,
                      213,
                      5,
                      142,
                      154,
                      60,
                      243,
                      111,
                      53,
                      20,
                      117,
                      99,
                      179,
                      236,
                      193
                    ]
                  },
                  {
                    "Bytes": [
                      175,
                      165,
                      181,
                      65,
                      23,
                      42
                    ]
                  },
                  {
                    "Bytes": [
                      22,
                      96,
                      164,
                      233,
                      147,
                      212,
                      16,
                      62,
                      177,
                      214,
                      77,
                      35,
                      76,
                      110,
                      190,
                      169
                    ]
                  },
                  {
                    "Bytes": [
                      221,
                      204,
                      196,
                      248,
                      184,
                      223,
                      12,
                      249,
                      183,
                      108,
                      102,
                      157,
                      134,
                      187,
                      167,
                      235
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x34e77d707da76454767800fd238ba6e1cf4d2bb7accd04995a16b894faecb082",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x15181",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x12e823011ae4c480179cca3f9f6901635ea34d1539d667cb92d90",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfa99b6252ae196b15f0b1e789992f3d1da035a3c3e470c2af91da18fb40f1d1c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7c3c779e067b2a2754f5106d79c5c30c3e6fb1bed195432faf116a245f5addaf",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x600d1f8686b1945ed24b39513b94b18190c7afc542776551b245f1a68b2c2e93",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x89f266f923897d639db83cf841e24bae687423836f0e3b03b7377b4c9d034210",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4a78dbdba83734f3fafd5285aba2ab47dbe7528cc9b5d91780d55af8ff04f212",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1a5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xff27abcfc0a540e07df7d45156c2ca90a02f797c9688932e16f1eb18432290c6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1ddcba2e872232a14301b6a53b9275209778327a49f45281d5b03931bf04b7ca",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3c8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdeefad624667f24bf170346b70e1f6ff1923f30144fe182a32de27e2cbc519d8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8cf5b6d174589a62e0380c3b59a113575833ff8eaee1e3ab42231f80bc6e360a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9233548f337bea9a7e0193ad7fec48c4372856d6df458f9fcdb49668c4108f9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xac086a670921f4cb02d650fa6692bbf31f823c87b0e6d19d82c336f4cf9e339e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5081fe0f630e131876ef3a54c598c865e4dbddf851f256f91a2559cdf92dd0cc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x997eaf8c7368eecc485bf177edc04152afd30eff38c15131dec6d2c55d34d10f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x15182",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x390cc6701c35927389e148b470c4c0f9d8ed015727e6a8af71918fce0613e85",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5f8c6a1a56bcd152c7f7f37ce02f9193c7944e4e541d8138bf0345ec5738a1b4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x997f40b5723528ae2b930a4369e070a55db91ba304c1622e2c87a444b6ff7a8b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9bf5aa31a7e55b0b3de4031a93971debc2ab20c41e673b66e8b0c8d240022a16",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1223f6456f796c845fcd0b627d1783861990476946edbb3f0c7152d3c2683935",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb6b3b6be06da09deece9d99aae0cfdfbc16a95bad5d6784278248eb35d410871",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xced8640f715ea600e70a74abf810abe63ab76f9eac3563d77548e7d3b8a371a2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe58998f4713966d37ecf359d56981b68aeb4cbd5b45e9f146db859f484c3317b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0336aa377b3651e1f1702f9aa82a97c7ab61576508dc25f79ae42bfe016b742d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x04ea893c1b7b56880e8a90096b631936e0bad9d707af56468685c6a80d64349b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2af60a82f7b9d3a64898fcf4fab8ea6af9265e42093375ed47c67e53099560fe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x79bf40c9a647322e84a217cf13754eeb892c57aafeb4ff4c4e6f78a1b64c5259",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcfaef513038ab116b06f883a0e157af2f0d45e1baa74e8f1e6a42e0fd4323ef3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf83c7b01d2ca79e258a307afb3dfa1cb87b2f26dd703fd3bf35535a3c6057de7",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x387029aa580a0960f724cf6e820d9cc929dbc7897f305a41dcbd4e4f45547089",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd738101a8ca73b5350119d82bf74fbcdf39e40b32cd3b1edc08da3ed23703990",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7246b654bd1a6e7649e0a64e767c77a4fde4ee27c0f6a2f847867fdc0491e548",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1218f59350e2040d87f6f01ee296cee01c8271314ffc8d4cba2e51bfe9fdbfc0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1e7ab4a87c37b660f7ff9227159f1c7917c1a47032283186c31ffecb48602e3d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x128ca9bd3caddf46b26da247529d2281a1b056281bae71ceded8c083954e2f04",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf96a06a72cd75baaf0f1da7fe1bfa604976aa08fd11b3c302a0726fb934a51a9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa6170d00c1812f1e52f4ee5218d36f303efb28edf36372a4c426d486101c6500",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x418443149dfa9ab77306105c6c3a2acd1040ffe7d16a4f933fdd239208b00b2d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9578f71fa89a401734ea37e712d180f79d8516c9d39f7d8fa39b99c8ca07fc16",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x071634df60e93e8f115313c9c7c580f4dd3cb6488fcddbb21a5b867776f02446",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4635ad425067e00ca6ce99be00053bfa94e323a209f6977853ae414638f6d2e3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5f1a2687101c9c3eaccecbbf09900d5ad4b6c7cb2ce1a362f110953126eb9ebc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf4df9e506ad4a5ea53c77ff90be0b7ef99277e8cb514a71c2126882344e64289",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa23ef83f05ccfe7bbd7dc60a6fe588d422620c8380978e38d758ba1c059e46ec",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9a4d0e6547250b25b90a42ab2d8daa913844c8f66a0a3176c716a7ecd9a7731d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3842278095c49fe18c3cbd1fb3608d92c140e1bd3a4ae4f2826cafc9d4ec368b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x50e2cfed47c144e51f7c26dba4c999d416804fa1e848f4f3774d24625b1987bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6c7bd9adc30ecb99362d83b2f776a22e8a5541afd0169af31af3300d927560c3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd62bc24683116284fabfc78582f74518f012a3d1fef52c95b26e9919133669da",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xecff9dd47a5e20cd50b7c1fbc3ba9d49f63950358fd843a2aec6465c964bdeec",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x001ef7624a3ddc532c17e63329c1b077a3c2f5a96ec209ca691cdc069d47b273",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x157a16cd58eb29da1353fc7980935b91893a07333fa81f503fa88200072a3ae6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcd60011e95781eaaed829d3dca7f6bd4e55ea325fa91f20b2d4fea32fc78b1be",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4439d2724da4a851ee0bff1906039b205189c66a8e1bbcb6c94b9d01830642d3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdf3dea1dafd52b90dc88c06242e3179ce95caddb15445ff42b06f26f78cb19ca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x47f77eff3c5b8230b40448c6a20501619ea06c5b855cf1f4f2af72c8a617aacd",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xfec7177e616f08caa5345b90916e413701f7251f802c46a6b2005dbf10de490b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc0345c71fed5e9f6c47f2817c97e20087626683ea4ded553c5be9bd4f7483244",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4b7a0257e615a71221f5e04432f7a8427a453c30f7e21fdbae1e7a8c06554622",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x99ca3ea037dbb2263fa1abff836963c3ce6462248a0fa06d94b22c7ee6de66a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf438bf0652a219cf02ae46d2ab213d191e5b2e595f000d6c3ead774ac8995c9a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2ddf4ce3c29d512fba0ebe2e761746d34db4f2d3695d6bf17efb8fad7b4757df",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd7b8ddeed7e068b5314d40bd4fe9b441053407e1a66e2a96c6da7e3830a58444",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdf249c970cdaac10ffa712f30755ce01af8e889a63ce5020fa194186481145c2",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x84d15c0f406bd73e4b59906bc12579c7e826318f7d7ec8ce6247f7d19a2b60b9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x09261dcd91ac04e6f5a6a6385b0052768e9624b8d2d09b7325a93fe7e0842597",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8ce396ff7fda57523326ba77c796bd0ea67d38029c610f3c33469175b3eb85a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83c5b3f9222529ffd3ea6aa83f0dd644611a3e911665ca3637ba3bb9646d4960",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf6260d8437ab564337dfcdf21bffdaccce454092c8c423ce0b600b7338d5e9b8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x10405d9e3b52d36cc8cb5cc7a27c001af749e7c3d8264e5b7a65366c3cee3f24",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9a818956197abb07ff9cddf0d247970c815b3d7c7b166b8db748b076a52236d0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbaa83eff6f16233157eceb34ec49f484b0dee6e41c1b2ace36c062af2e35f788",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4513d993c741dad7184728bc831295dc02ca4843e97b75ad6e47b8a79c4d7e6e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x949cdf1d9b538b3111d10efa7fb113f7890b1a06f2ffff32d93747f8eabd274c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x90b631e880a10a5c06179d87a2fcc0c4b38eef13896fd5d55cc76bdfb1dba167",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1a8330f2a75e0f7fcaef997b116c926c7d0a52f6dc2e57f54d1915e54662678f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x22aacbfa63cdef9262307b49312582d835732a0c810af8ea7b8b184e1a8931e3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab4a51843f28b19c395e5020565a918fab144a81c0adb005420ede9bab40370f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9ce98d75048da00785ce22eff53e438531c6f55f57a72340849e0cfb75328719",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc89145aae9944e22ef7d97cdd888934a228691395f66cb380596d0dff4c403b2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5c77edf2e8661ab02bb970c773210561e3598604dacbff020e6f2d5eaa927397",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6b7864b364624bc37672d6ff8582eb109d93142991a787cbc8739f90cbe38a1d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4913dc894277d3bee8d8d36b941dd7affca4bc73ba6734a8de755c8020258658",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3cc2128afd416cf9dc3b82640ce052e54ca2d0fdc06a12a6d15b05d0b7791ceb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xccf6fcc31b9590a6eaa97f5be9af88dcff4bc38c2e8155cd860fcd2346e87788",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb707776d21917540ede282832a85901005b5ca13a71aeda64494905945556b34",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x41f5b9a3b65c99a2bc820b1820d1c4693d7f49c13b3a197bb9f8ee60a5c0f110",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9b6c4d4ebf6decd72c9572791a7345640e8fba0b76ccb2228cb2f7c2a8d4cac6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x54dd795ebe7f1554728bf329f25d9a91c906ff1d7169233224832cd38a70a46b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfd32318e390404df6569aa459c917366ad092e3a8ff8799dc76801afbce3ab55",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x408585c7c0947d5e2e346c97c4ac6f1fb34412131e349223752590e28b1bccf2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x23884d02ea969dbf8cb63e29de6c469386c8d6ce0af22c61e6b221f1a29e3468",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe2a9db2ee3402c1c03476ed3d63ca643416f3a13f5a7b55cbedc8a6211e85a04",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfab9db65cb0b630be021aca4e8b1948c7de1a91763ff051d50acedbd087e04ad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7636c30cc6641065918fb36daf3673b312dddc98a64783dc959aed951af77c44",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x40e9b03b1328c747f671f5cddf1e770b56cc36dcd88d45d77f206cb63cf594df",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xeabeb822548e300096662c21156e182532fc2fb52ab7c5d1bcd8d301d3af8322",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x477ae74ecfd6e3cd610363056cd376240ed3e460f9f1633cf29a217480cc49c1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xce4fc8e97ac890a4d274266d39be4481bab3b03231d8812911c7eba050b27a5e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x62422283d248f3cc4c05de1fc3a6b912741541e129db818cc4e56bd01232ec70",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2b0aaaeccb94ca788e18b04f32b49b159f97c9af788fc8eaa07d87039549bf57",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x71a0a61ef0515cfb9871d77952d9dcbde72cf603dba62d1e321b53fe893d15ca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x04ed506ece0caed91202514ab6c4971b7adccbbe26746612f5c7d5f736f561db",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc1ca4d626de296cc04ddce1fd1ed8cb6b6d46454481dd2df18f9c4c58384d8c0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe01b71c60d907df937132340605e1a8f2a57580ed520b30e0b9b65a1d97f90f4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x73f96aa671d72dc11b5a04ae43a35023c47f6997bd2efa1a8b3baba6aa095371",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa884d92e497da86b6eba09fd23e4cdf60e72ba7766b58a652736d39a3a33f874",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0bd38ee36c477181dfeb0f0bdecb12686d24d83e3bbbab93a2817881aa1356cb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x450799eb96399d8b3df23d6cb252438091bd3a227fe0088851148dbfc2716eb2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x76833903814d996087eb5a3bcc4254c8082469039d67ae408568e4e650153eb7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbf56780d74cd2938f135ce7c69dfe5fbb568784b18f21f35f667f3456a45c5a1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb08c0ae9d7499ed47ad799411c7effa479638f3bb13c5f6346f52a97b10e6da1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8aa3805eb5f343ebf979d620adc4c4eeb68f5f286c10e256902f9049094f0a32",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x46df2daeac8f026cddbdbf7e94ca915e805b2d15d205bd54044a1a36028c0824",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x74c09c000bd7642b61d48c78718617a10c4bc6318a09c9c02197388f4216a2da",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0600f6efb9186ecd20f9d1adb7a58dff095cdbe13116f63c237dc86b4d9c7d13",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0a2d5dd8784675fc1f7b275e9829325aff78e17cc0ec56f16dff1e08d353217b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x35a1eb7e809270276e09c5c3a6a3502a605135b19b3c95f6688b492e5ab9d068",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x08c235a9682b40c382941fc1114b929c45546861e7a108a98a7253b05ddea1dd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x35192b6a0b8cb246d05a3513396dcc2be7e0ccae473d0b2b4aa249eaf50fd6e2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7b4e5ea52ac30c9773f036ff6353ca518971dd4ce4d159a37195b245ad6c0e76",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x38f667ba29cbf9462a7ea771abd54cc71bed68b7cdcaf35b942975d8aa36ac8e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3bc883735a92a18daf8aa5536a9a90541d297ec90c879a2226e015c0636acbcd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf76c7b4509b309704079a2e50f70eb6248ddc12549f617d65b48549c7b800996",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x29d65fa3a17b921d78e9e07caa2413d823945f5c6884ee5a04dc9f134113b98f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x866af40c7c0e25ad6c5d0d84d3bbf6c5282220b2d843ee38c10b90ea638d7949",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x2a6982127bf2b5d63f41dfc956f4c7be5cf5a0f4024a593bd314540857d3592d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x79c3a38148bb489864de0b4f109df83080c73c2766a70fa8786b6368a4bb1da8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8e110f480e153b9dbd760411e59f97f8598b86125a3cfd43453e17f223a20e87",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb783137f16f45294ed90b62d031dbc7671c6377cdcc342e31041554df7c204c0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9fe6e5ce593675085bd91fe0b2e569024e3289dd931ac5e5043795d64c83f98c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaa775bbbdb5b32f06d44f61243f98370c70fded18e1a24e41575260789e1f838",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfd4c5188ec948408a8fda23aeb07a3fef6b8d7be302f4c1bfd54f488854af5fb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x87e558c3f701a4011c6603f9e8c562000ebd21502527f5df54ba2f32b473f03e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30387ad39bde8b8857d546befdd28bb2389439a022131b4ce8c8b6ef694f437e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe748a48c4f973d7512870c54648b3d0b6fbc729e3937c511d1017ebbfc8bce6b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1b0fe5fb983085720ff716cfacefbcc2f7c0499beb227980d66a442f6384d704",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe9724ceef17d5e59f20bc2af23b548be0d2c04a094a3f981f83e586e341b3996",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8d4b05dde4bab0dea59cfbf55a16c9404fc28be23e76281f5de11788c4a133ad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3a0ee893fcc4250d10e6a8ea740de22d118160e4ef5d6ded33236f15c6bde9d7",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x45185ba690d9653e83db483674525ae80a7b460ea3ac8d6d9ae44bc28e9d1993",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf061f964cdba2c50cfcc00475ac75bf935a849df6190039d4e49246d0524a598",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8838dc2e544784753876ba7af66bb6a68d2c3df36d6dfb41161a7e7936b29739",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x424de10505a76188fc6e36a9c983ac7d4b4519f9a53571968d20e0d6b2735fdc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x01403fcb0d7c76049ac0352103cb99505210d08ac9c7228c3aabc5686abcfd18",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe4c995d649dec1ab650c5ba11127792968a107264fe65ded4b5ffaabf5d4bd9f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1b705c1726f6eeb3f0f143232136c28e925e6123c01c11ec0da6fe5a18d10890",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9950bafb8eef3758a5f6a94036c55b5dca18286e8b74bc89ca53abcabb10b365",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8122c6b92757f6ff4143bf1b6030111174c843900dc791f1bb62fadaa85543bd",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb79b9f441c89d6e4770ccd8857d5c5816149472f5e49e2b50c5400c9579e3592",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9f3d00fad110b2a42daaf9c61a2e42aad23be585956e1598bb23121545461a5a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8c36bfd46d9af6f11850ead87e358e96964fc610c118124255bcab4095e3c60d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf699b595aff0a3a6490eaef066e2af56d7e03460b53bed916d21a81f5cf17995",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x9c5c7b09680a09a3435c41d97c0bfcfb659efac441eb742c27d52fbc292fe58d",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x8c70b0205dd51d00e929c581d23e478534c2cbb3cb0416c1207fc2715bfb34ec",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4f1a8db2cbc8974eeab13549a5eaa60fe737bf0626d69a242bf9a0e45cbb9396",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc32d2a7f86c0c195a6f04f34337b7dd8cfef4e3a446431a1ceda3d15ba056707",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x400a6d6575d5a691afc3fb139aa80ffda477719b90b58633107d4656451b9580",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3a5937a07c161f55a3493de5f866cb33de7bc6aa9d33e07da569c88a69707eb9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x16918909622d8582983a73e3db3f6aece614c36ab441a3cd58bb4ae4344143a3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaf8a0653af00a3fe6eb3ed0e3eb5b919855cb53605751e798f60ae4271d1dbca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5c1cfe409c1270c110b053aecc18be20e79085779166fdef38be8f2ab61a6360",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x10d167d3412623e4199a7f071dc30c11f9682aea277559fe863a58e2618cfaaf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x036a2ae4203ea626b04e593935418d9f5ddd50ceff9e974be9c6be689771b602",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x25a6bc824877e2b26a9a13475c98dd66f8e1afc295d33f0511b57d10e14cc318",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa6f60047b15f22ce73d68f8902ba33b6fa822e9fcea5dcc199589b90fd1109e1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x46081d5e989d1487590e75bbc387819773c953ca71885dca6a8b6c3850614673",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa5675c7f4813fa55b69542f28f3cf227ff7e6c69c15eac7d66b1f9e14189451f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1bd852618138a0575fb26d86873f8219045bf6f9659aed98d5861afd7db175de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdeaadb0d2091f024ae7bffc6a991fb4aaac806497c87b331afec2b2d7a19108d",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb6b88c11f10ac562954a5e59e387ac777d9ccf6f04a0c0b7e8fa49dbdeff7063",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x06c13da04fe6b96dec056bdae753b9a52846a0156ff9fff43733cf51b60b9a4d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6ff897d234f4f94a7c5ba89d0222659902695b62d7f8a3f08e4ccf36343d2e28",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4c60e2fcc3b149b5746e1b22354018883bf8c085b7f3a5caaac9fe543a6adef7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x89907a8eff45ca06162ef918efcfae8c2e31be3001fe899d5c3122117c38005a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x502dcf1ea27a884a9e161e7664f4da66f77dee7e083c41f0136c68e4a588acb0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x805f55ebe1de2aaae6a599b24479d7ea3aaacf58ca9029e1ca9ce464a0035261",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3ec49c13567952000601e15147d721755920d37a631aa9d1600d1a121a763c7d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa7452fa91b4cd3d80c3367d3fcc2b582191b8d30729b4d817a5e16d887768994",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf6f2b0691ea7323c7ff724d2a14284594d9ece32d0856ee3440f40e337880d27",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdeabff591f87c1380dc5fb5a56781c30fc64804d31af8b5c7e81346986be8b8a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x838e06c60b46819ee665d2ca5d017c776d0e5a2e19a0eebfa21bf74270ece128",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd7cf0d5ab10f6aa80ff24e075361ac39b75687ef5896e65cad7b1416b74accda",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c8d97fe748df1d4f486be7e3b4b932681f88ff629e1f2d4e92cca9eeea78c94",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8124c870d1ab28a2d85d864740fc70e6bb64bb5a1f62d8dea13b52afcc50b74f",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x3aac8ca182c015b797672adc53e77ea1405456f00833a9505602f55fa238d27b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcb8aab16c0a79aa6d79ce3f930f3705acf564ff790be6d03e37b175f4380dae9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8eefe19a39d408e2cb7c3353e9d16e50b9264a1dd61b62911e0e89313eec72ee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x628df14abbcb88bb14996196d813020979c2475deaff055a2312806f60ef0809",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1ff45d1c3ca12fda71f9bc89c980721592ff7d069e597807510d75161c30654f",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x97f2037f9cbc1c4d2ee772a12fba586775daf2369106a7bcea445707027f21f6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x625ee241b063c65c994d24110f962a18fb13045b60922be52238c1ab77b17834",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb9ffcd4a99c9ae0c1509d72ff131e927fc91760ff4f77a7a66ae1e10a1666c75",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x580b672f8434671e8edb5bc1c7c1d520a7c2f3631d0f55b80c2572cb1813d42a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x99cd6ee347c82954ffb39f7247af9c43ad26b75332c2e49f814d5dc9bc5d0d02",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfd453f7668fc591358a359abe57ea07247155cfbcfd5e0ab58c58cd170a87b66",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x44c4633ecaf0c05af57bf5d64f8f6d80185db1b85238c1e7d80b0f8f275f509b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfe2a0c5eb0c8571aa20cc9280375cb80cefccfdc907894c7fc04667c2b7c71aa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2cc96c2a2d73cc1782c8458a5938ea33c5ea894e6f7f5468d0f05a442f005ea3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7171c1c120c55ca01038ef8fe4ad08fed1b8f8d8979df62a05ef08ed8ceaf58a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5e204879cf628a202b4a3b4d0682b506b962adba7b255e8354ea4db8d32a2c33",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3f0ca8760e00435d28832fa3d2734da37c7b7ba6fbcc489d6a43e1c60d8d7f46",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf55de34bfd29a44ea8426b3ac448f0994b3fca1ad8c151d23213680d7ce24559",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xffeb62175b68a2a7de83ffac57dba983bd15dd5620010adbe6ef614e73f0b338",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa6731d2f1ccf2e1542c42b1eae5bc8670308fab390a353e76e19b587ca07b8b8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x871089a6fd7867b7ef785cd7693b2776292b33f8092a529fa1cb7719e9c95291",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x36097d46394ab4abdf7a67a8d9d1da24b78f46f07741f95950cd4910bc928966",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x10f9d4c43697979c0f012a861bac8f0b4c137176af048f7c517c6016147cf150",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfb9235ec692e31f28e6eb269d06d466f514c642b86094d03095e4d53fed1294f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x08c14fbdb3b893349974017d8d6290f728787a9110b2043acbaf199db42f3e97",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x94bcb581a745385a199e44406473c444c6bd31536a39b2f4894ac75a50446bcb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd98e74e85a6fe96e2c2fa3d74da06435c4f60ef14947bbc81d88cdcc17122334",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20c942b552e3cc8ccfe013063bf052d9bce08489e4b575696701d9c49d80abd7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x71074628af8a56595e1be4c42d03696f5e9222de662c9b394715f79495e4d412",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x411a6db19e527d1fe75e9914229cc0a89221b64215fe246603900d962e65dfb2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf7a653271f36edbdabf50e1ebbdd2b9e60a65f5bdc2eb252a39952a5e8d74e11",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xee1c65bb0295f4a2c01e4f2f56ff48108e3d9ee701b77db8bcb82ab626d03c54",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc4de98fd49f6529cccc7111dcf19593002e3ea642bd1d2e18db63f1460cc23bb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7653c2c08d238e019ef1828cb60520979e26c311e1a9b4cd3e30886354047372",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xd3efa6403521b3589c16eccbfe93535fdc233a8399810903f2d60e46765d5222",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x732e29611de81b7aef5712f2e1995cbbb7509e000767e9c7c8687365e50d89d1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb72e1be5f06b8800bbbc3d8732bc3a9d71be0c32a7d9d89136a05d695dfe7c6d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x98b92f33bc45fa331721c19d33b6949f6ef188ca1baf003858bb8ad8df54accc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x723918a78300bec0229fe5d5a58bd14f1358ee18a21f4fa6f165ec4122916bdd",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0xbc41",
    "delay": [
      74894,
      16561
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0x9ae76e36a6ab7de7657e0bf8d8c828528c1ec4f34de98744b185fc274fbff785",
              256
            ]
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5665,
      58883
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x58e6348a0dca4608b1daf0e3dfac878629b3d75a42bd351dbb0b0d92cf49235e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      417925,
      12737
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118654,
      14403
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x5aca15ec94c31462e2f65c36ce7d4366881a76f4b6eb9b08dca09ee08ba55890",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5016,
      58773
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x1b",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43214,
      43455
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
              },
              {
                "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
              },
              {
                "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
              },
              {
                "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      20686
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6763,
      23588
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x4e",
              256
            ]
          },
          {
            "Uint": [
              "0x2c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      465802,
      6018
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      265114,
      49220
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28664,
      6787
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          },
          {
            "Uint": [
              "0x153606a1363b8bbdba3c822291c13078737700903b2301954859d48b2054d87c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6800,
      56557
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0xf66d33594eb5605aa761f102e58eda94b424df1081ad3afeb2deacdafa24d897",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5719,
      28220
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69952,
      44207
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4859,
      49527
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x2984cdbdf372c979a3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80007,
      10611
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18804,
      24716
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x1e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9097,
      58271
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x98",
              8
            ]
          },
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          },
          {
            "Uint": [
              "0xf960e1e994e240f0fc70224aab775b28e0c0dd19c48d0d08d5bbfd97fd3a90a5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      432606,
      3098
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0xd5",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50140,
      5512
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x5fd0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16890,
      46031
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73093,
      38135
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          },
          {
            "Uint": [
              "0x4a2715905c6e9870ab031d572fe987e7f24e536eb784a548ac1e390a589de0c2",
              256
            ]
          },
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6724,
      33369
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24125,
      49795
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0xf9",
              256
            ]
          },
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66076,
      15874
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          },
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          },
          {
            "Uint": [
              "0x221",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      521501,
      4217
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7989,
      33535
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42461,
      2313
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x5c04fcd76c81e625fbf5970851c07ca64a5ddc27e9506e1d8304c7cc964db34b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      617,
      20047
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x18",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8050,
      12295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38210,
      46255
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      375718,
      6976
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          },
          {
            "Uint": [
              "0x8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      132975,
      8575
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2857,
      6300
    ]
  }
]