[
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540",
        "args": [
          {
            "Uint": [
              "0x8a",
              8
            ]
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5447,
      50976
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          },
          {
            "Uint": [
              "0x5f192190d436f944d5cfc0eb142d9fa13998fcafb65c0d32676a21f1b08df76e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81683,
      19794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86365,
      10756
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          },
          {
            "Uint": [
              "0x1ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5733,
      5995
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x9859730eae9dc1a7e187122ecbe9b5723a65d62d1d89c5e800b09fd6fc04dcf5",
              256
            ]
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81335,
      3673
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x78f701371f057863a3d8cbc297dde95a2983b2538a437571e033d0dd46430ef9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      117927,
      3714
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0xb12c7a66ad603f74a2cb8897c3963a46b2a2d394b1d33c882d04e15f1fa91b4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73246,
      21117
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x548ee29cf4e71f018a9fbda7379e752f7d46a8d62be45f922ec8647eb5e89b78",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      308396,
      17537
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x0000000000000000000000000000000000000200"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43743,
      39815
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21103,
      57565
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0xb8",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43140,
      4320
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35124,
      18614
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xe6c4ddf7a88b8f99a18504ced0b4a31acd25036e90955e2c9a3d17be73bb112a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      308398,
      45484
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38843,
      17429
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      590857,
      22433
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Uint": [
              "0x2",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69681,
      14340
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81351,
      11385
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62028,
      24483
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0xc9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3396,
      8498
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48742,
      19578
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0xb",
              256
            ]
          },
          {
            "Uint": [
              "0x21f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      306652,
      9286
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x39a71fea66cb91d3e4ccb0b61682f633ea2c3288661de0fcc4f8f3fc6188c368",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9323,
      39155
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      451937,
      27722
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      96182,
      18411
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0x3e8",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      572169,
      369
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0xe40739839cc2dc55d6fb7908b6eb878433b90b5f4fc12a73877b500ade7f3476",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80189,
      58001
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57948,
      30954
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x306518b1500606a66826b89ca81d8176564eec4c3131883a3561e0b458fc7b87",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      39825
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0xfa",
              256
            ]
          },
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30081,
      14913
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x31e",
              256
            ]
          },
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55028,
      46025
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      389169,
      25620
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66716,
      4588
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21468,
      1820
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      430437,
      18718
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0x88",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22487,
      10106
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xfe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      397668,
      4434
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      260,
      56100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0xfa85eaa29db560f4806a9b01b0c167660f03eabe0ba05ba099b51b28c092f762",
              256
            ]
          },
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84465,
      2649
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7159,
      18794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      596688,
      30196
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x44e1af2f0f5a00c23ef73538c9",
              256
            ]
          },
          {
            "Uint": [
              "0x95241d411fad96a306dd072fca230a5f1dc400c088bc991883377d40f631bf86",
              256
            ]
          },
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3280,
      17548
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      457836,
      30836
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86196,
      15720
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86805,
      3758
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10015,
      49775
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      567530,
      121
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13607,
      17273
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Uint": [
              "0x40a86cdf34dd7f9dc77036a96aebd9ab5bda2c7ccf2fd9ac9d2ea330a7c3e0a",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      241808,
      6684
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2152,
      9719
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11244,
      857
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x605bfbbd00d1c2135dcd7b7070c375af9e9fdb2e2d6428523e6fad2daad505c8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11373,
      37404
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x55",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53694,
      5620
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46006,
      2763
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Uint": [
              "0xd2d43fbb1613f5ee82ee1b9faaf36a578f62875a21530f06a98f59d1b5a4dced",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50940,
      2846
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
              },
              {
                "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
              },
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
              },
              {
                "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
              },
              {
                "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
              },
              {
                "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
              },
              {
                "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
              },
              {
                "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              },
              {
                "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
              },
              {
                "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
              },
              {
                "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x8e",
                  8
                ]
              },
              {
                "Uint": [
                  "0x97",
                  8
                ]
              },
              {
                "Uint": [
                  "0x14d",
                  8
                ]
              },
              {
                "Uint": [
                  "0xf",
                  8
                ]
              },
              {
                "Uint": [
                  "0x14",
                  8
                ]
              },
              {
                "Uint": [
                  "0x41",
                  8
                ]
              },
              {
                "Uint": [
                  "0x9c",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc7",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfb",
                  8
                ]
              },
              {
                "Uint": [
                  "0x96",
                  8
                ]
              },
              {
                "Uint": [
                  "0x18",
                  8
                ]
              },
              {
                "Uint": [
                  "0x5",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfd",
                  8
                ]
              },
              {
                "Uint": [
                  "0x15",
                  8
                ]
              },
              {
                "Uint": [
                  "0x41",
                  8
                ]
              },
              {
                "Uint": [
                  "0x93",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe4",
                  8
                ]
              },
              {
                "Uint": [
                  "0x6b",
                  8
                ]
              },
              {
                "Uint": [
                  "0xb4",
                  8
                ]
              },
              {
                "Uint": [
                  "0xef",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28914,
      3939
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x73015a44607df75e5dbda0d67f2959b4a7f71cc5efcf79051ca3bf2437a73f6f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23982,
      5665
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50909,
      9007
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0x0000000000000000000000000000000000000200"
          },
          {
            "Uint": [
              "0x956efc409dc271d0113feb258cd9d24e6ace0549d24efaa323faeeea01d8429d",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      427413,
      20145
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9622,
      28179
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
                  },
                  {
                    "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
                  },
                  {
                    "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
                  },
                  {
                    "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
                  },
                  {
                    "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
                  },
                  {
                    "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
                  },
                  {
                    "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
                  },
                  {
                    "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
                  },
                  {
                    "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
                  },
                  {
                    "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
                  },
                  {
                    "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
                  },
                  {
                    "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      188,
                      149,
                      128,
                      205,
                      80,
                      11,
                      74,
                      96,
                      124,
                      32,
                      20,
                      89,
                      35,
                      238,
                      26,
                      109,
                      114,
                      188,
                      198,
                      117,
                      240,
                      183,
                      228,
                      212,
                      210,
                      9,
                      164,
                      62,
                      48,
                      248,
                      35,
                      205
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x33c2c9f9ba399a3c4af38672b064a5e35ecd9ed7e691eef4f30dd30da10287c5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc49ef2450de68919b20e422a5612ff2b2d3e13074e2bd855894a425f0f7ed2f7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x21",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x90",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xf4da067052455be374d2040d5e5067761d01383091e8f33fc5d27b6bab173414",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xf4da067052455be374d2040d5e5067761d01383091e8f33fc5d27b6bab173414",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x7434c4a1a1ddc13b5c646758f23c02e7c688f71f6e049e53d133d18efea11c97",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe6d7cb1bc6831148829510e6944700038bca3fba4e857fe1d05580e18ebd397c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdead823ea311e42c77c72905578213e363fb60bb8728da15fd9bbd94931014a4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0523e580e221ea6393cfb14187b62ccd5f094bfbed6d48efe71ecc0fddb7c86d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbbad5018dd0222ef0f29712733cfa7ecf5839f63a3547ffd5c62c77cf5f1e351",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xccc09cdac6981b382be7c7e5c6233055bf1124730a10078eebbea7e093915020",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x96a17c203d4d19b9b40f98d4788d932ae1b8ef5e6af6d3c4b246271ee6621a6b",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xd1c12d47a52e855e5488fe75728916f20f775e0cbd61db46349defe91a8da12e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9d37ad70d6dc7b9d9478c804c14cda9c03b52c4fa1f60f985da29edd12dee2c6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaf5b3dac9a53bebde02985b540943ef2ca7fc8d2b51c99af6576b32ca7bdd04a",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xa32f3b92538ad2921e75ba69d24bb8f6a2332c1d9d0085153bc0fc7ea5505b83",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x551de6cd088bad448e2a1cc8ed6cb48809f3c0b4565467cbc299310ee2b7890d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb4e1609c4685e41697826917ee4d492cfc4ea9afd46c4b29f9f10b9903ad86d3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7bff9b424d945adb44d044bd1a2311fe15a85d2146208e2ef34fe95d954da0c0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xed879ed524ff737cb1b33808128dcc61e902658d4a95547286b498f57bbc6486",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe21280131da28f2836465cf12d4c2c84dd34dc0e5ab6bff05ace5c35868e9748",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8da0d6284b499f5561045becf8d153ffd7b79d61eeae92a9a299988213aeac02",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x16ef9c1d93d3bc3e572546308824226d559ff59441f2dbb78903d33215811733",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc8e36f6c5728b57fe37a298bc62af932dbde80c1c8bb309ee5d76cfebc33fa1d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x72f972dd8073aa56b5b8669d9fb3a10eed1b7b7c8e799b783ae2897df7618b0e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9f418c24479e80d3524387b5929344d80583b32d4c7bb010922bd26f19f3e330",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9fe796fc590ebd8d7b06b01d745302df558825fbdd2c72d95bef93bb5b3b8f2e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2170a7efb51e87f24d566c68eb290e22bec23b41770d12436d235c56a89cb8b6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf0138a0bc0f44aa7973299ac507ec8a4079b4df801dd6b19c549a247aff085bb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0998995525e6152dc760efdce451787d5397e8e33fca50a89a8c41fad5a782eb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa977edecf35ef117ecbb1c0ddc962b4b88c1286361d661a0c0b1c1126e5221be",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x34764e4f481a3fc140eaf563eee6a78489715998a5ae3ef032dee7742953aaf7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7fc5b268081984b64b33bed5681dc9c455cc29c8d5ca069a542e97c7f034c699",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x19a794c3086558d19887f60353206fcefbf5ac9eb2b8bb4d5ade14fe329a329f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9c169494d9a8e6c17be847ac9cb35349378be99e71a0e3064a6f91404826f6cd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x113992af301a703592237d82fdfb3a2de98e411fb0c710fd19a898213f2b6f85",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd6de4a1bc6f44c9c9eabe402a2b6889f42c254c02585982b751cf0c6be2dbbb0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x744789288f2b2064671b3c501f030e370b4faf4cd08b518253c0972b13f7baaf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe20ac2c54c712a0ae1ad9f4f3c1c5a0bef77b8db07924083c26e2644c134044a",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x04c7b7bc4889c215a0e8629ac345ec228e1c44af7b5009a102eabcae14a97748",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x833b8aeaff303e2a164d2da8a0807aa6a2250d34448b915d3d8a70ff4ccd8650",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x50e51ce54974d63e7bd91ffa0bae26036a4a76510c206501caa78cc4790c9032",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe3f9ff502161858f89d72bbd9a2e5a40b124d3d1fc24fc4dc0405ae715b8a2ee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7ffc8adeada49a31c5a550637ccfa1e075b39a3d7b7b5315d6e854f635b11e47",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x743a3fba0e4373721e81182406da53ad7c5ec4066f2cf28b28a7d3dece64c474",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x81d716ccc550a9b4e0dc9d386e3347742423635662b695333f035146c0b6802c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc02b0a33ec49d500d872320c9b3ca6cbc4e6024a47708579a8026197ffac4382",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x19c5c2185bb9d3e9f648d8299f22f92b7f250c5f3e8d2565fe44bc9da87bd78a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdd255078af4b2773bc396ab9b3c74818e2647c4cc35d7f72221814cbb16acf99",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x70a88bf43224312385aa80fe041ed9bbb0be2d22bb95e5de0a4ed6f7e1963bc4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6c27772323ba5bf48a288916cb83cbbd20fc96a5929da4bbd849fe8b3efb0871",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x362c51f91d43866c25043a6ce9f3a64977ef67cb49fc9ef5a3ec211d1c86bcd1",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc7b1c48f87231a5e020b7f95275e18fcb0ac2c9656e0900267a11e81de50fa70",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3cd31a21bf1e5059d348b2dc3d1497b399eca63d3d8f81cb929cd5528a2a2f88",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdbe8931fa22bda81aa53f12ecd4c9066cb06c1d7dff65a9bd5dc3c77a4918b0c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9a3f4a7cc8ea608df5e6a016e8637aed00b7e3717c893b43a6f13ba540d05f66",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8511bae4d21527dc15e7fd07e8162cd18d1194d884c63905848a5e3c5176e732",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc5d2487cb4a7af1db4227c024cea4c73ca4c7c2755d7b59839d0a08aaec8f0a2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x252560c541162629c4ee02366bb96bd7331e0fcfa1afc3d694c661888cdad2db",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa58f48b76d43a50585dc4f21a6b09f3afdfc66421ad2b3b91284e19a57dc72f4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20cd008cb31bdae983e742ec9e2728d77b69694e0d57cbf1cfa57fe5541460ec",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf457d4f40835f2ba010a68d83021a1eb5fbe9c141dab59e2cd773937d1024047",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc8479225ece36ee489b35a148ca0634082f759de323b4ff8418032d9cb9d04fd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8e270aa436f30fb28f9527ca5ad54e8c3f01d313e556c93afd52b37c958fa48c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa3e71a821f10496e30ea46920600aac590b783e4d78f20ee2e91bfc46ffa75a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6d817efa3aa2da4096fd52c317bed0b8b04f21705a7ce7eedee12b60c5890d41",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0e264dc188892954fc43b61c9f6d12084d264e592097ebc55faa3fbf503440c7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xde203cade87719236ec66452e5aacfe8c2b9597d57096fa493490c67a2cb5b5a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0fe567b7b1811297d14e9fcf162a43b2b2b40b2114d19a09522fbe8df50960d7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3e1749d0d9a6372db67d97694939ba744880bce2ca707adf8faead2168a5c037",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3f1d57349c40c22adfa682cf82c6d98907192fdbe13abe4c831009b4f541b32b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9e88268f77428cf3f60511c2d862730718ec43862462b7f72064a5c9d7f5bbfc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbbcc01d5667df8c207f5f659c6bd4d86aea10450288a12095e7435d4f772a3a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x47fea38624f493cb379ab2ccf19e0402aabf536a959913519091d8b02ba904b2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x38e0e610ca89b685d7179b51b69c0ff4357ba685d4dbf6adf8cc2828ed2f2d7b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x98767e29a495000dbee7574a069073034e604d7da124d996eb5e7a57663abcb8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1190c08cb2decd32967e630e303959f8c16519b11e4b50c99313208354493aa7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf5b7d9749264ce3dcd39d4a4c49847a75454649906e23f77e35483f11f75e052",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8718ff7238b84ed16a2f25281e2e2d7ca30bbfeba3d12ea903350af47051ae9c",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xeb9234c5f6e2cef92a33f81ff420cfdbccbe4d13b3d072d8f0cf3bd6f1d795c0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3e8e12bd3fe8b5356e98cba050f3a23a8ce4738abc53c4bdf1a1639eb86d1aaf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9ea08c3ed1a696876b412dfd7a9648315ef090870c304d1c0cdb6672f3e26745",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe707d3a7887e13d87b15ed9d89ce185f59cb9de6087be09e5fb974ae3f77d40d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x700fed8808fec74287c0276bfde8d09db579bab569ed277bda7cdc47053e3564",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc11061cdba800dd9a582ea371aa2bbc9f3d6368bf0aef21b18825f41ebce15b3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4566122ad512bd3bcd3853e9a5c76e3a48b425ca6415ae676d3e1581ba82ff05",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1881cd188a14277e1c05b86d35c3eb3e7323147247763b625e384f5321117880",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf759d4b25f789696a98090d4366d71c123db730fbb93d3bbb4d74b33d7743ad5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe1fc6166c587a2dd7c593a3ef944170fb332d88f8a878f38a30a391bfbb95afe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe59647c05c16b1d3ea32999756bc8a89c1ea82de4c249ddf47dd54acab0b411c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5c69ccaec4f8110db2b91fad5277c78cb24aa0991790d378844fa48e87e1a7d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x836c1bc1bd877cc444fab9c8e9b786d65164e46e554b3ec2477bf4970fe57673",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb792b909c2ca0b971201c81a0964bc19d5c630b85d4006776cff42470973f51e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xedcc2ef6fa372c0eeb9cea1a192205dfdcd2e971b30b0a910f725a8a13bf97a0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x91b4ff9871e48829d7eb0287409129ea2b168efdcee9c9baba8c0fba3651b19a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x82b1383b88eaa3cdd22b391186a0b743665db4e1e5f6307065cf86e05fdb536a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab4c9b5f3c39627f3cd4558e87e016f94c084d7ca92c3b658b1eb0aa32e3f1dd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd398e18d832ab5320d670c0c738a5318571aa186a4c9343fea5110904be5620f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x15e3a3013c8bf5878413c01fe378f33348d1eb27dd3f471e50ecfc8899bab8c5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0faf38343b5c9d023e40db4076c780a473b0da91b937dfa28ec70bee34ce482a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x421837399e797cdae78c2830ece1495672106b7919d7cfd5b43b91aae632d9e6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0088ba4efe831988bdc15f5fa58d9f9a37e1760f25d696647f5f32c82e1d72c1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9a1c2a59a1adbd3058ba0e85f2ccc4c6360cc8c68c909dfb90a9750de1bc976d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd6892512359fad82640b224b89b39304dadf2ad238ee448eade110bb0d001b7c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe141e3a4f16dd28bef465bd1b7e48c2950da512404e22192a7343ecd29c047a6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9981e277b4bc559ec671823f5206ac0c2058d0558b8c62c877f2a8714cfba804",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1118e112b177b682854635a2a7ff91080a0c34632ec9edb5bd6912e4f7fc010d",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x21e26595d8ff5106ba7484b14fe5cf631d93fcebe1887f4ab9b6af59b5e853dc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1bb2f2bc0a5ab356e40d5c3709b9354d2bc1403ce21db305992b262517072e54",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4c0e634a2249438b49d1fec3cb3fd19b0bd36297ad9e2442277090dfa796ecab",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6c590b2edddaed02eadddce780a9997a9a8bf44871be47c19fe98d3f9a8caa19",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xec3e9d34f36f93e0a09e59d67f86c87963ffb9dd2c88feeba0a63dd74db57a22",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x629d45761af44c012d7ee5d66fd5180dc8abab0f012e88b7f7f05ec2b44aec31",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7eda0ee7bef1545c4fb9ab7b2852c871419ea70f1eb95696d503f4d5be54cbe0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa17098aba592c7e9f534e65a6453350ccbbd937d49de8c63380f7c1109f04d14",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x6b5af315580310c46af35216ad27f3e739cb9c107b36ce9d386ea335b3b4c6d5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0bd27472398992e219f86cc10d792e5d34aea41f9df38178f06c35cd71a9787e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x481f111924917de85f0d391ad4d024ff3adedc2877e84117a29a7bb08bdf8425",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcb6a4d36fcd68629530c97dae81acc46a3260318f47933cac343a805b45b930d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6b649fd1d53910d822ae6b35f6899de3147231daa66b3fa6e6f141c51346511f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc925ae17901ba2ffb448604b0e86afd23a7cc04813a325e1dda4a17dd908511d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6819366d3af3743141ce6d40a806b3a26fe231bc31421db967f6adc715d795b4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe5cb623120012c7ed209fa114347b7d15570038eec084f318648868f0bf542b3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x201da83888e3fbf0d2f7296390b71d39e3694846cd482db4a6f7b7fb23de1f43",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb18621a4eda5653fca8210c1f1371b21ab1867853d5d5dbaa1702d1eba6e3cc8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x55ac02b987aa6836d7351ed4436f04da49ad3d68c57f2f1be604841d7799bc36",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb7935f4067c3c8501ef566ec430d205c17c178ccc8c5ba732af2d07065b29ef0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x24954849e8ef60858682d708747bf3cd573b68673a170da0aaa033572a3592d2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0683bb319160ee8f6f04b441a0186d1ba0d44b9c4d5944e50de7ea168ab692b4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7030f1df333870f5fa201bde50dcae495d5c41fb369325cb6ac876cda65aadcf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8c330641aaff6e56382257231416ee0d6d8185d33c6bfe6509e6fc0723e3ce47",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc416e48b817774e69328156e53c3d27373d1e8ac963ceb6d01b0344d8aa86ea8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc26ff1c3d3bb37beb9050f638ccddcf3854de073fca65bd6037b5cdb1da082fc",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x876b0c31ddec0803e013254677330c98b1be8fb0e0ae576340cdc23363fc788e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcca5bf9e3c453a10cb6120e97d0fb2cea6bf40c23163e8f06e582c1854e6071f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x841acfe26d6ca028dc05d69d3c426df90a65ec9b51536a0ec164ae21fccd6fa7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe45cc8b781d82aaabce4513b5f75af1b132553c1d1a862b310bde8ebec3bf217",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0b36d45b9afd634da33c5ec4f7f3113eaaa9ec0d88edde3e133780626a4330da",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5af451368bfb09d32222b797c43ea8df955910c4367e0f4f3f23472d43771122",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4f3f293c384a9cc78f93d763ece0b4383b55c817dab0ae4950d041918355b14e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc5e0274d8cff55c5bde1e49019cc40ab6e97b70296467f32cf2a9754426da845",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x841ddebd0b23e1ffd26e016cccd5c8d7b3db7fdb7cd47af0d6a23f4d1c221ea3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xae8587d53c5c10f06a5459f482a03b03ce7ba78d7d29f61d32c020cc9cf570e9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf9e6bb51215c4c0c0ea8cb991122cdc61669b0a5d57e8a16c77ac2bbfc9cea71",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x8e23d83054f645e33f4d0f05f096496ae5b213be493e47cdb4e7267111d6382c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0e6521971fa26ce0367a8510d6c9f9687e75b78080b63af19c23d7826eaa1ef8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6e2e4c92fb478713e100bde9f6220142d3767fc7a43efbe649fd1ace084b4d2d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7ab1fee8f44c70b079a2baece26a3e4484b4e2d6c34ed1e8875e7e4e1d03595d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6baa66938e8b251913df3ee91ab875b4688f0bba05f1425a2386ed4d87e37c66",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x13bc84552845880a11ec2d7533bf59cd189eb7e08b9b3c11958b3b42a14a4c56",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2f52b62b1cbfb331920a6ee86e7a7b7b47c2b45f478672838fa6caa8ea1007e0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcebad8250f94140b09dc50b40d0a62c63371196db21a2d48847c70050acbf564",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x39a13d86c6d67ba992bf03e2e321185fe0ec68bb5bdb52ca0fe08d188c8bf5ae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x107a4b00d43e10471aea49a91fe2cc5e225f33a804e64515539ebf7a956c22f3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe4b5bb6830ac52301be40861036fd5970872d9f3fd42fc3fa74f4c154514f168",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4ad4c24adfb73568e1dcdfcf27d5ca4285b0a627fcdfe931a1e28270ba4755d6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb40cf0fc74a8a8c1601cb8acd27f118edef65c4648284c9d735f4dd332343e79",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x299340143a112d0418662dbe66f279879e39ffae4983937f185369c6bef265a9",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x3948ff60dd59c405686c5f5f4d423c93a604c184edc77ad6486c15517f7ebb75",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x406cb659a788297d4f8c5ada5e6e96469fcb8b740d7c016a79614d1e2bb5cec6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb368916e65cd645b9ce5efc8422ca0697ab92217b1edfe2ec18584d3f86e1b6f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x825f337b8ce9bb656ac0bca39d9988031f57e40770f57e09b9d9c852d55195b1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x863f24b0a2df47c28b5ac0eeb5767f67a69fbf3e7b5a29421f736ed47ecaded1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xae2bb9276dd15983b246bc1ebeb7037fef2b9b809993f45d342848db1b401401",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x72c03436e80f866008b9650d1e40acf4d45ef3c40a6886a2ef9688519f9812aa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb4656a5a14f21742977ca731418b63bd313aac11d81e368e074c136f707a4297",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1fbbd6830128246dd31d8be7e36511f74703a106b03bcb2ae3b9d9e9d32a867b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd7604d8acd7395883431aa2b2dca62165a05324fc6f84618781c14d613d7f8ff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x253a47c06b1ee05e0fa1f12e7d59c03e4c9944fdc1207652fe8d3e715a712631",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1b2d37e0a28099718e6811fdb6e077b329ee63e9126772662c1f3468485da3a9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4ae1efbf78d7b5b369cc014f6087ce580b23d93ae6b93f1365fa481fb1c45465",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9d741033eb7ba4e1ae0828372e80edc9019d2f2bf8bdc2c21db0c33214af379b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x43217940a7990d5012d9912dbd81147d2613bef454587fbcad0d5a804a89e965",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x129bfc0ea41505e01ab9d9caa5428e7d7d8eb8534aef2e589805eb71f236cfb2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0dbc1ce56a7a3255f5bc293a32dffe3d8b2bbe67f612a249e348f39136c485a2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6c97de04e446730a58358f05c181909a8c19def6e4d21954c1e2362563380418",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5e5fbaa15c06f28fba04e8a696a9279fd592e2a53d5b84d2a42cea485bb56743",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe5e79bcea906cf1ed25846a752a9488e8916e7bbbd35f769522d07ad0970f882",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdd2f4f068a453fcb87cc7ac55f1cf35663cad2f42d16d258f3ba0712908d5123",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x8fb25e67f3a7366f058d299ea90383eff8a76896892d121c505653b61010e35e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x086685a01f63a40de59525ef391cf96b00eb302eb9b53ef2cdaba4b24b226ba4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x098c052c2e7a8e73c411e4cc40d0d00710c664e98f51adb72a5a9b7b834aadad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x01786fa5c9b5c0cc13f1874689497b1e6b401e5755be054196ef8b2f96caaaf4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1a69735a2e866457d6d78a6c2cb2086cd45e689a5d36ee13ff15e521b7690037",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xceddd66c63080f25f81db589f4d8994fa967352fb24aed1f088e8c4d5416eeed",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd780847a36edd19a749f9b95f58a57b3b2059e8c8d170382cb55cfc8decd6ca3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8f7456456be5b05515a846c7a6d1b32efd04583959c7260422d845af9aa575c3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5adb69dfb507b0693221fd724affb4af7368f03b9870f54a7587b4c945b1553f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7415e995b9eb5e187fd667bfeff1b86e7f05f5565c1cfbb4a4755c33d7e9d19f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd2e9dc27925b9f5dd01d4fce11f8c51af8955d1845ddd417098bb0f707c7296",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x74cd0c243693e9084493648d207a5896c9d84b0857213898ab50a71bfe49e378",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfbbc77967aa4940ddac9f6791c158031b9c3c630bfafb781eb060436700452a5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd5e4a733ee976a31a4faca5cae4e912462334c820274fcdd8744d8a1b722756e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9ac69efe72e6439ac60964e3a1e57b5ec3a5fa81a4bcd1e9246a7bce430dc7f0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3d6b654d0a9d11da05172a7c6430bf7dfd05ce545f17f02125584dc035a0f830",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x172bc3feda0f216286767dc8df8797102bf71ac7863a668372ded25ee5e7a2c3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x00a6bf507a1440eb1ed84bb0741e6c51dc83d48ac7271fbe41e72d0e3326f28a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x603714c6f30958eed9471c407d7e71d66d981d8653b1d06d694d282fe7e053bd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0f850030cbf27947eebcf8ac3d370e1f8575f16f8e90c4af51d165d73efcb71d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x02148950d6072fb7241940f5a1531afb8cdf0e0464ad40c06bbfffca8dd97778",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6d86471358d7c7f6f9d4c803e244ff626bc5e6aae73f19800ad5bbf38fc694a9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x98b779e699d218da45b4255874d615551754760d049e446f28f42e694a229c64",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x32a455ff5cc34f88dcf23d5738e91ee6ed3b555d9da1565da5a5d35be67550bb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc69f17eef3f47a1f7561fd912c3e0b2df501ba68a78b9aa8c9dc3ceaebd29e07",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaec96d76ef53a568a9bb90d16be8a9c3a660fb5ce5e7177f78453fd2fae247d7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x418f0d0fa142043564a4eea6862763b4feed8587e46754923b097e003de4be66",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xefb008a4bef9fb6ad236386ff84c61dad0736483f16e1a9fb7de63154bceb5a5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf78b2b22073687a314fffe1ae1ef7d418323fbbf36a581c0ff06538879ad119d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8df1e145b863fbe14d3af061236914211b8f01df7f39795fed537c6354b91903",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x28482abb9ed58dfaf4cfaded6b961145feace464cd66c83896954a7c02f345aa",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x9b13f9fb3af584e9868378aa1c6cf27ca904fd1f6973030401ef1dc29cc0c7e5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x80513ae578d8ff67f3ebfb990d242a728b8e5c57659b2b1b81188baa2aa56315",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x902a90d80d08d16fb15e118b6953c4c01511f01442169b3ad5d6dd9ce5f33332",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfa6a5ec391be5b4b0ce90218b24d01cbb04edee3f379f022c19d116adf125208",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x38f6bb5eaa24b3da25bcfbc869765f4040c18f9094338a7cf4d65c101b3f6801",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x071604d796f3213a40df1644460cf00d0f2fdd1fb149325ace912d46360b5db0",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe7cc1cf063f51820d2bde62024aeb34674b4a72ffcb436767630706e44cd5a98",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5742da014c202db8acae9f7213dd775c1d84b98d6900be2f5c5f3ad0d6233f88",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x983c6b784cd1ec801b80488a4d9823081ad529a7f94fd489f53ecd198ce0db95",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5fd8eefec53b1b319cb8fd81c19150e91a9afb686d97fea802dae86209ff314a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x081c7f189f5687b89b9e9b21491d0f248bc16a0b8f538fd60d3113bb19c7a7fa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd48f4c657aec478d0aa1bed214c62cb09d18d854e34f6e7705cc267ddb809a3b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x09056a8a7eda05d8291f9542c9a12f15fd8bef919caa40234c5cbf1be593ecad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe7b53b9139d224e0eb359b4fa629a452edf4d6e57ab4d88086dcc7fb9ce8ac35",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd6b748259b2c16745add84d17133485c55352983d7e6c331114bc3f4136adfd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0722041d4e1f301bc7d2a9715b001c29b109db20f40b0d678c724b6fd241c7f6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x55ac510ade0d8f7974a9c5705ba68682d67ada34e3f4472cae9d84ec6cad3a67",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc3e56ef6f35377d0102a0e4bef96c8ba057344c110e3ecd3cf009d60b6d9f827",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb2bc0bea45750f71669321898e3a150cc6f009575196f0bc23b8605bc24de8f9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb789915ca8a02b623e0d66f5c2320e541b6907d5b5af41b79c1727c8770dd1fb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x56b9c60b5626a8aa413e65940e5dc11c523fed778bdaa74ec466a3f9cef7713e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4d24ebfae13dff53c9e069e0e9c7bf362b4bf42854c053db6e1c9f6a22ffaa35",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf2676719444da73ff48e890f466d1645e75182227ae6b2eeec52fbd3892cc303",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x390b85cffcee21ea33ff1b855e601a6c7a65f70b454ec33a15e4ed89439e3017",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc8960bf887b5e9f5764e9e4f4696cfb8dc61f509c16f9198d84c56f52ce00caa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x81e468d5a85c25315b1bf6556d3a133f4100381941b4d948cdc8e5c3e1d099ef",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9bc32aeff0b5e168a656efa39ef940caddddd48a7ec9d3160ae02c293ffa2cac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x400b319d8ebdedf5edd5780bb53f978d8f49eba6594f413e3cb97e3ea603bf71",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x21a57dbc06c6c897ce639c896bb583103d7ac34fb4088be784c6c834d5893bba",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x42e7179aad3e035dc2ce1684180dd05323e4cc95f7e3680e0f562bd257144b62",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2bb61d2048cd2afb8af71e7dd63508a3359ef300919cacd323b6e32843e74f23",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfd81cb807a1c6591f756685c03c2c3be5bb886b5c7731e2faaca17e11de6aab7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x251307bf952cc22e51d8cf4c40793f979a5aae1169c1aeb9eb32c3b96bb4add5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf9352d8472b1a3d217b46649894b79c51f172bf4ec61e53f7dda27d183145b8b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb799c0251477f2485059df61e5075e200055813b62d4d3147601841685ee107f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfbf7536e26324fc4838d6d26dfdd0c0916c54cdf52163cf503c3c8939edb0e72",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x973451d8d9d9b321027a1521da67992b6664b0209ff0e8c2f68c26d49cc6d971",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x8e23d83054f645e33f4d0f05f096496ae5b213be493e47cdb4e7267111d6382c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0e6521971fa26ce0367a8510d6c9f9687e75b78080b63af19c23d7826eaa1ef8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6e2e4c92fb478713e100bde9f6220142d3767fc7a43efbe649fd1ace084b4d2d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7ab1fee8f44c70b079a2baece26a3e4484b4e2d6c34ed1e8875e7e4e1d03595d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6baa66938e8b251913df3ee91ab875b4688f0bba05f1425a2386ed4d87e37c66",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x13bc84552845880a11ec2d7533bf59cd189eb7e08b9b3c11958b3b42a14a4c56",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2f52b62b1cbfb331920a6ee86e7a7b7b47c2b45f478672838fa6caa8ea1007e0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcebad8250f94140b09dc50b40d0a62c63371196db21a2d48847c70050acbf564",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x39a13d86c6d67ba992bf03e2e321185fe0ec68bb5bdb52ca0fe08d188c8bf5ae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x107a4b00d43e10471aea49a91fe2cc5e225f33a804e64515539ebf7a956c22f3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe4b5bb6830ac52301be40861036fd5970872d9f3fd42fc3fa74f4c154514f168",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4ad4c24adfb73568e1dcdfcf27d5ca4285b0a627fcdfe931a1e28270ba4755d6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb40cf0fc74a8a8c1601cb8acd27f118edef65c4648284c9d735f4dd332343e79",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x299340143a112d0418662dbe66f279879e39ffae4983937f185369c6bef265a9",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0xfa912361",
    "delay": [
      58397,
      8093
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9954,
      9153
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Uint": [
              "0x87387ad1eff9065495a5e0556d97df1b4b3814904c599af302802f76",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76464,
      16993
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25394,
      6396
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7798,
      50002
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0x104017901be9f62aff9ee6ea18e7eda0623a2cca695b6cb1611fe0fbaeadb4f7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21900,
      12477
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59561,
      14855
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x24d9a9862c2683409",
    "delay": [
      15852,
      13601
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0x93",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79162,
      48119
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      218736,
      48807
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6262,
      12401
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8518,
      39420
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Uint": [
              "0x4bae51202822f8e4fd8854ca709783dee5f1c9a74af5fdda2f1af82126d55235",
              256
            ]
          },
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Uint": [
              "0xd9eee251b1e10c0294c725fcc1392b39858e56e172af12c35ceb9151b9a8bce3",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71220,
      1562
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3138,
      10306
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50339,
      5405
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe293432549840b39d47ca342929ad3758ba95da797b82231f2dc5d702d586ad8",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3f0d88c09fa80cb4951178b5019f18224bf33f0bc28a5919b07f922b1b5c7172",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xad",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2c",
                  256
                ]
              },
              {
                "Uint": [
                  "0xf4de24ecb0a3cae789a411de350f23ee14968c72ca84b76a05684a6747d75b1b",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb3a59730f1e2a4f81db1d36a0de220d6335a648439adaad6524f57f2eac482b6",
                  256
                ]
              },
              {
                "Uint": [
                  "0xabbdfc7c100deff5fa7cd3293976d311fe7a9d4a4ded66c7adae613182b20092",
                  256
                ]
              },
              {
                "Uint": [
                  "0x5d9f13e7bb570b4eb8ad64a24c1ee30f3d4e6eaafbf089807c0bad7b73e2f79b",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0xa662",
    "delay": [
      804,
      56528
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x70958ac6d646e860c9d18ff3c818c6206631fd22ba4a780b93e17f903a1ac8e2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21327,
      8954
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0x35339adef72f81412dd981ef29774b06455a8778445b3c72ffda76a1136d5607",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35808,
      22483
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2648,
      60211
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x128",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68329,
      3379
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48176,
      20934
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11817,
      21554
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0xe",
              8
            ]
          },
          {
            "Uint": [
              "0x2fd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78311,
      1586
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1666,
      50831
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76837,
      14346
    ]
  }
]