[
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x55ed2f75f59ec8e3b6dbacd90f4870b034c09cfa"
          },
          {
            "Uint": [
              "0x101",
              256
            ]
          },
          {
            "Uint": [
              "0xfa3",
              256
            ]
          },
          {
            "Uint": [
              "0xf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67221,
      54948
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x2329",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58863,
      38671
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28608,
      12266
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x100000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71130,
      19985
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x551b556a4b861abbbb1eef37f41d0423c235809786c53b6499561284d834a535",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13967,
      42828
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x100000002",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5622,
      11925
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6249,
      50389
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5653,
      33735
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0x34",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3069,
      17512
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7383,
      42115
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79982,
      6892
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          },
          {
            "Uint": [
              "0x7b0eac079594e8b9f42a4c1acd95c4e2a167a5c467e0aab4778a8311f0672abb",
              256
            ]
          },
          {
            "Uint": [
              "0x2f",
              256
            ]
          },
          {
            "Uint": [
              "0x10002",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35246,
      20588
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33379,
      23077
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0x0000000000000000000000000000000000000000000000000000000000000000",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4824,
      59967
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80652,
      60013
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4218,
      46882
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x15180",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42183,
      46227
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x187",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31698,
      3463
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      18766
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x852dc0bfb0f24ab25dd24c932f631ff11b02fd7a49",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      409801,
      7088
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28100,
      16012
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xfd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9007,
      3540
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13967,
      45668
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74796,
      2831
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4681,
      40608
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x13",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xa09de921478e33615367442e0039c6ceb46f7614ac2dcc15c002c8a18dd92bc2",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      120693,
      52547
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Uint": [
              "0x2dc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54088,
      30899
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6765,
      10946
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3631,
      31677
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xd62734cc6d2fa08e5775c926305b8fe1f7c45b960b11acc01437904b2d72ed6b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70026,
      53442
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0xfffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16,
      12095
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      557788,
      4209
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x5958668eb53ccc997a90ae832d3cc08bb3cdd956fc067bb98a20089d1b77e303",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7106,
      7421
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20971,
      23689
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x1dc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77097,
      15857
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      352887,
      10728
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x10000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      87755,
      6176
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67613,
      3945
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25489,
      8144
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10157,
      14204
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      461328,
      14295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0xe4451312a899ea2f09460bc037951182801a2f2d978358cf6a877c6034fc4f7",
              256
            ]
          },
          {
            "Address": "0x70ea220cc4c269c69389877ce02471811b7a2463"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      373515,
      4721
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xb119f9541704eb2197945f06fd7ef49724e7299a3a72e9988795558940131e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      294151,
      2203
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Uint": [
              "0x1f3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48533,
      35172
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69368,
      59847
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9239,
      3520
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x1e847e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6175,
      26584
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x3fe01df1ec79ec36d2176af6cf4360dbc0696b9fb0725ea88fb329e09610a397",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15548,
      19855
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x66",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62025,
      12714
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52504,
      52351
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33856,
      7972
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x10000000000000002",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78157,
      2794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x3ec",
              256
            ]
          },
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Address": "0x152f34ffaf759513b0042e83bda5f67b3e825732"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77828,
      4558
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffb",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79424,
      6177
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1885,
      26366
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65133,
      38404
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Uint": [
              "0xf47dd69453e41dd18f31d596b3813ee9",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81466,
      994
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70166,
      22480
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      479131,
      4
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x0000000000000000000000000000000000000000000000000000000000000000",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68660,
      18808
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0xe0d753c495e1403cf9e631983ab281ccd9dbb2a3e27f6a657382fcde21577ff2",
              256
            ]
          },
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31621,
      53138
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x100000000000000000000000000000001",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74463,
      60173
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2403,
      37786
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x191",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53713,
      26079
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Uint": [
              "0x156ffdd83c6699592ade8480b4d56ddf38e2586799f2a29dd2a107265d1a3012",
              256
            ]
          },
          {
            "Uint": [
              "0x20",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8366,
      19267
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x3a95f6192976f896d0389c595e863c0a423439f7aa0323be5879c0fe1a394afa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1549,
      4641
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x421",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84653,
      4251
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      215225,
      20164
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      568241,
      3276
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x17",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      7604
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x2d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18804,
      4276
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17922,
      21164
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0x7a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35363,
      12795
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x45180e25c508124170b973d7c3dc1b1431c0dc8a976bc794c514f8984edefa5d",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1705,
      43730
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8905,
      4965
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Uint": [
              "0x1e8480",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9397,
      22404
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52091,
      9
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47873,
      8334
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x7b428166075496c6e418a614ff8df8d5af4134d80f97b11ebc80b4dc9ba2cc83",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62574,
      19084
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      145269,
      28346
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
                  },
                  {
                    "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
                  },
                  {
                    "Address": "0xee75f2e83791e29cf5873a3cd05e249bdb77bda5"
                  },
                  {
                    "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      160,
                      203,
                      136,
                      151,
                      7,
                      212,
                      38,
                      167,
                      163,
                      134,
                      135,
                      10,
                      3,
                      188,
                      112,
                      209,
                      176,
                      105,
                      117,
                      152,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      5,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      131,
                      137,
                      141,
                      31,
                      60,
                      3,
                      24,
                      159,
                      240,
                      59,
                      71,
                      29,
                      211,
                      69,
                      105,
                      8,
                      252,
                      164,
                      66,
                      61,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      233,
                      22,
                      202,
                      219,
                      18,
                      196,
                      147,
                      137,
                      228,
                      135,
                      235,
                      30,
                      129,
                      148,
                      177,
                      69,
                      155,
                      41,
                      176,
                      236,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0,
                      255,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      199,
                      24,
                      52,
                      85,
                      164,
                      193,
                      51,
                      174,
                      39,
                      7,
                      113,
                      134,
                      6,
                      100,
                      182,
                      183,
                      236,
                      50,
                      11,
                      177,
                      30,
                      28,
                      249,
                      78,
                      121,
                      80,
                      152,
                      18,
                      249,
                      97,
                      136,
                      122,
                      204,
                      198,
                      138,
                      1,
                      151,
                      124,
                      247,
                      44,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      174,
                      195,
                      231,
                      152,
                      120,
                      207,
                      249,
                      74,
                      42,
                      5,
                      23,
                      41,
                      242,
                      2,
                      64,
                      159,
                      229,
                      106,
                      132
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      199,
                      24,
                      52,
                      85,
                      164,
                      193,
                      51,
                      174,
                      39,
                      7,
                      113,
                      134,
                      6,
                      100,
                      182,
                      183,
                      236,
                      50,
                      11,
                      177,
                      92,
                      26,
                      156,
                      245,
                      136,
                      209,
                      224,
                      172,
                      55,
                      142,
                      38,
                      3,
                      91,
                      97,
                      71,
                      255,
                      177,
                      200,
                      180,
                      157,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": []
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      92,
                      26,
                      156,
                      245,
                      136,
                      209,
                      224,
                      172,
                      55,
                      142,
                      38,
                      3,
                      91,
                      97,
                      71,
                      255,
                      177,
                      200,
                      180,
                      157,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      207,
                      133,
                      195,
                      101,
                      93,
                      56,
                      67,
                      62,
                      37,
                      67,
                      252,
                      220,
                      99,
                      190,
                      12,
                      214,
                      46
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      131,
                      137,
                      141,
                      31,
                      60,
                      3,
                      24,
                      159,
                      240,
                      59,
                      71,
                      29,
                      211,
                      69,
                      105,
                      8,
                      252,
                      164,
                      66,
                      61,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      20,
                      180,
                      16,
                      49
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x10000",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x389",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x649a95cd0689b9b3193925b26c27ae6f7969242453731aa63ff158d26a2c6c00",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x15182",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa5e3ad38933183cdd7c51f1dde6782900b8493fdd32f764a57d3e21da785b06a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3da",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x16f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb5d69e8af688403d73806e1991465b296db4999073692b7824175c7b90fbdd4b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd1fa0efb0b7e5abf6b0c3a2dcffb6f2445b6f0d9eb6d33e1456a4d5c75ff11d6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc3063f680cf7f659b202db8fe9fcd725d67dd8d9c91be09cd2d3ab45bc64a33b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xba93b910183fe3e121fdec33041ed95f6c57eccc1d0a5141d783b19a2a10b39e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1e847f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xaf",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x51",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x100",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa777d23e0af30f0e5a2aba269af03e68db292fb1d8524c20fe85beca67eea705",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xcc8ba760d8a873f566216e3622cf3d763998d5b434df326786985886c2d01dd6",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xd05a50a723aa00c772526d42f43d9729976edd2128d15af3235b67963d123110",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x192e034c08e3268a1d3f0085f165698da433182bf560fa2fd44f271b13e8eecb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x90c5de48f7d2460345a7313e910bc4b15e7bf576ef3c0753006c564bed1c69a6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc99ff42b86f9e78df67a7ef94b07e9fc9c757817651a951a9a3ab405379862ac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2b3662cd326cfc72c512c8f8d6a8ddb3819f9b9e76b297f63a4c56cb1d203473",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb5abb3ee03ccec3bdcf42aa96ce0fb6a2988647d58a50e8cc42ea33310c113b2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7f4473fb664e4216369fc5f3fc3b8f1fa4bb1687726af0cbf890005e5a6eced9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x471b7fd5b4ee8df31f6b7267ff7a954bda27dfe14707825e2422a424f4609091",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5922b96c6736724545dc3dfa9083327011a9f11c8388f28d5bcca439544981e0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4707aa575b79716e4fc79392b17e70f95315426520f87c8cb43e400b6ea9207e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x194ee23a6bfd7ace70e4549eefd929e7849fcff679a5c953e4a5712527d31478",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x79b9066ed5ab65837f242db2e448192310ec31dfd5d9f7f4cfdf28cb13d3837b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5c877a757e9122278d8dfdbc8c9fee6cec2fb07b9bfbedc86682c85ff3979b20",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf6af6992b36696b1ef747eac453fd6cbc636ee2c145e0f5a4038e63c8dc12745",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6aa5943d327bb363c9093a918a8a1deb6e281a5112c518d46d48f6f16f29b398",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0482fdb656662668ec0f9ec5f72e626637f7ae760dde7a8793e09a2ccf0b4d00",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x993877dda2d9ab1652cc5475f3c998c6e2873af07a108cb70b3e38c4d2322b38",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9989c26e0f8b1c007455405145598edd1796df243f64e0ba6f76a7afd77ff088",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb3160e6a916854e4f165d863e2be54e4b5fa9aadbdc8243b069b3b1a999d2c79",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7a684f40dcb5e1571c1bc2f875e6eeb8d37c93339e03fcad17b6c81867177074",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcb9e6e2fd629292d24656780170451747177af58bc1b8cb9bacd4feeaaf136cf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5e13e5ec06934cd3f8edac5aed62e7d99425958af2a8fae2172d5964f722e405",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xca8139e9be77c6a664ec27f6c1be03f34a7ec60e368d63147e4199a16086df62",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9067e36ec0c46a84ae96fe9cea5fbc79f30ad5af0d015bdd62c3e71b976f4643",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x146368300607ef2da37ff0a531a4cc83346ce8f7c297ffa261d93fee6c052b90",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x461ece4508122acd7d09b5b86e4665496dcc0312f783a3376d4e622529dc1bf6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1bfa166953d31b7ce39541ab9aeab246b02e4df862846d01bfea331ae0e27071",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6160f417135426a77044c858e1d1e7ecfad45e304d673437270cf086e9281665",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf2d99a9c23af482e0ee3efd347e291ae335881e387ab9f76a8ce55dc5fce8338",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x01e599b738ed99236e1743535368aad7c83dd6978e905b96d772f12aacd32087",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x812491aded6ef99ffe2e63e103cfd2845aac031b7e106987b063741753dee8be",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xec61b7e79422063d0bc69b246e732d152fc4aa08ee446f82065e8f5e56a56c5f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc4e3e8d1478766688fc74d518a1fbaa7a265dff76635a3488180176c20025cab",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x58404da9ae4ed08232c1d0f57242bca12994afa8d215ee14cf9c4a0da00303f4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2ee2c93ee3526f1c31933adf49641e1db571cefa56fd023a261d22e5adc50218",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x819f8d4e0184735b41c37412ac20e0be0e70269eb28c5f885932dda4ba3e0979",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3114d4c7fc242e9778f464a0e8b4b74a14e240ec3f4a2bfae2e32db5b49ac4f8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdb9341ce269c1d7dcd69e7d2d8e236d7b3315666b24ffb7130fbeaf83b695820",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb18984031689fa7a87a7067f995c91fda3fd261aa424bf8d0b44aca340a39ef7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb515178151e5294b4d8ad14cad6031a8c34b22f6099f4994466d7f6a1106fd9b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x31e17e5c4b883bf3290cbe24b2ac1480f0a6a5f761904ae0e7361e47d986f9a8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5fded74e605ad8e385daf052fb5c122ba9b4310f34584e7dfd12c9f572af6d8e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb59811dee7f9a42d45d4d06db29c5a446891fd26ea535da17d1d0a9564d38b49",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x35d1886d3e9de9ed939b01dbad60effa8266b79104147d2bf342a392964dc581",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3380a1ab5dd920ba4da6fea042c6cb11647c6e1d8a208d7afbbac4a51b69cebb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd6e3bc59168375cc25281040aa093b22291f01dc38acece8239b890a6a2f50a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0355c390652833898f4c3d51a6fe92b3ea57fca1b17707278b3cc746c5a52573",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x85157f7d719af2f3e731c8241213b1a64187e75831c403de40ba4fe0412238d3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5f8c5363c43262ac51399c8a844b57ebc2d94df04a9761b4fd9bbd5734cf8af2",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x7616b44150df0cf29e934259267629c54cd3f408a214501251f0e9d0653a9ea6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe1bcb8c64040db72fd3f6b367c347e8d0d48b674e2637ae69f3b310bf6ca23e9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbfa432bd3056df0f5bb91f8f39298f3706360b02465b627001e87a1eb0812642",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x56b7a812f1d391a38772d9b6717d63fc738c793d89cd0c6fed2bd819fc449732",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8b81a590dc03198c813faf27a11277d063a3bb8b0f15d3a059301931519644c6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x580ce9fd41c96aedd1ad3c572b274d3f32031e576431dc6ef610047702163eca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2950c780eebf8ba327c1e7e666216b8886cd0d4991902d3688e67ae3a8379aab",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1a2c8417b44b2493e4ff2e7c1d095f6d1ae1ec2c3c0dad89f86b6e2f1406f04c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x81e61ee92d4638dea7f27443e1d8597d6ffeed84f907d3d280342ebddff5c5d3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x974dfeb9d928283b78bc583029eed7ddc13091ce06fc2e2fe54ce99c53baf840",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8b6d58b88109f3562c294dccf5fb833b8439150f7ef70dc2b1147dd34a05bb7d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x083bf3c30b1f10a52996055561c68f0f0e96e783aa747daaadded39681df0860",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9d0daad1cd72c00382436e23f811f5fc4c74e0c72a947fa1f8b962d858d9ad37",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x642e25622259cbbacf28e927bbe460a331e84c52e0e6a0052515c9113a52a82f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdb9387f6c17bb82e970e6875ace8b8fd19a2d8443248b6d1d6e1a3ccffd837ef",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2ce2f87d7607d8d8efdfd94bcaa64c502a0a080501246fa07e719d892579c663",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0a879339a2a23b15e8c738a929f49646f66c7b54052daa6ea991e0e39f9160e6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2eed36df0efc8b07012be5212a97d069f3c66c80a98388cf4c99862a4c191558",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7b61921418817ccc04efc673b7974faf72ba3dbacbcf96c1fa263e2e4a3058c2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x12b14d96c115636d1e8a802cd6fdb6607781355a8e15d97bb990cf627a5ada29",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x94ed62e833c5b67a4397635c9069fd84c003ec699620692bf496e3d0e99a425c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8ff91a565ed1b9c2fff3d2f9bf65aeffbd90bf2c0eb44d328238ca872071b587",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1590e5406be75a941f339f27d8bba6c67b897ad6bea5db460a93cc3bea70c74d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa38927f10d0b92779b9ce57d047014c786403a2cb6485af8ce4c7cfbe5e97d8e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x76b0befa0e71eed3a4f2ebc5202ab26d03cd2f1c43fd47447e718867347b9034",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x77b1eb04fc22175f52dfcc212b12cf422d714d997ec82bf8e1b0e6722c2158ee",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x16fcea3adb38d0ccddd69727de22433c10b48089836d16d59f2d3689e68b2d86",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfc38d52cebe4d6207e65c9915dd80bfb9402cdf7976e8f94064cc4e7d396a972",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x76fbb810ea5859b09216572585c38d8d1856352696f9e153b6394e64844b7f94",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5d3014ade24fdecce19386e45c5d6f2a0c91ff9c0d29eea1f5e90dee51592053",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd1987617a8eab0a9b686463de56352fbb89176134d43caa7c85340c2ad96731e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x65cf437663a11264cd48d2ab6fa6c27ba0d4d758aa87eeb7c933b7afe9674171",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc8cfead7dbe61a95e63c0d72d5ea3cacb43a9df09cdef68a54beef34b061ddab",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf9b4bca1a47ab3df4016f5833ae7f78f20977e697a1aaa5e8171ab1c8f7f8e41",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xcec6b3a1dd42247632fe70c61a3d751bed38228b60286218eed091648449c104",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x97423b85422bf8e558a097c02e82385ca08c1b63d11377e838ae8613983188f6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x547192d332ee158ec6de9013dc10109ab1f55660d4d941164112c41b0c3d06a1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3c670cb0286b37f74f31b2391a78643387588dbd5564b73e79af2bbcb7d77af5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa293d847f04ece079de24edb9fe765e07766c4fd3133ed18cb64b5ff82a7cc22",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x09748eac4842183387d822a1232b70ce40f717e8842176e28ff03556ae6b7bb0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x22da560467b18bb6e0166397497ed32a8a5a7402de9176541adedebb45442861",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaf912171796e0c1bab8bf41284c1ad1ebe202bf2d9675dc840ce57b6747c61c8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa77ade65dd8b6ebc487328a36cc3e2ec6c64aee7d432c6ffa87eb74802dd0ae5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x03d1653a9803432842cc0775ff2a115b122bb93cc2fd32f311e460bc2f46834e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x98a436129ad1d1d87a080f0610aabb16551cfcd2a7331503ac3f8701bfaf63b8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3e21721e6a493636f65ee05b90bb9100c07b412463f010c4ee33411cbe36097a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf6c5c68488597f0889c7133e3655c0e4c7212e32dc3af6a11b470876648b2ff5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb773ae954312bf608d1dfab3c471f019b9ae75b137715994837406ef86500b51",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x47ac7a190be340eaa89186d4d4306223e9f9cc7f8dea14314a6baee3eeba870d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcae9827573c1f9f3d462cb0797f7bf68e4c0d90b5c26f9c6a6e8f3b31774a0af",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf24aae59762e46471e0caa1b462326736824a69386f95dfbe691edccb29607b3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x62a1a8981e1db17984637cbe1ee8d1d0937de02355f9442e34cd0ba02f7750e8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3564033d5c67c6f4ae854506be36da949e0dcb7b98155089e077b3eb78a530bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8b876c8e55029473b3b82887cf78cf5deb4be78ac86fb743cd355da682728bca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x09949c531a358dd678f1e9e7b5ae472267d48584d784f9d94d5425389716360c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x174b96fb0bb6266b33a34acca52aad0e470793223690f9537e357acfecb34bb5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbadeb99f1cf65138eb8849519632a07cebc87ca5fbfc0f41e90c43cfdc510efb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc21e0ab79667409fe6635ec416770f4e589d145dc019c1133474e85ae9798d40",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x107d06fd597dc5967a058d827e24ef954754e45599196ad16122f246cd9dd0a3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x931fceaf60669d5f9bf18514a42a0f9cf3e0485dd981ba32dadcdfccd35e56d5",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb735c9a402d3ef4ab15b5ce9fddab16ed386cb234ad713af4b14630175120707",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe57f1490b2656df16f0dc17ff8bb8c0229da9cd5ed951e864e26a189bd3ecdc5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe7fe6b08638168f037b976d5816c01d0cfc6216286110f6cc6356eca567849f2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe8d11f92314d5733c7e38f7a3c83ef660ca3f4354d10f2159da543b2af055059",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd58ba4b10ace4b9c959e2c4b35924f2e3f3a824a1e619afd3f98841607537e4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfc81d7eb48cc6598cef5a2dae8d74a1718c7cf47fa02981ddd0c095af00d3e34",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x63c20cf22c255aaf88ade4007eae41469c6302c554b2e3ada768acc5beaf8a0a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x492e6fedfbdf8e9dee84eaf16d4e789717a508c16a768ff86608fe9ed154354f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1c6621c03c7fcdac8a750a82edb76928142e5f44334c72aa7291c5b551ca740e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x135f45337b7141bd06056f6629791d0bc606270a8c7cafe2e77ca54ffb86b0d6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1df02e2a1f098de8d9d2232600ce70a91986ff44ef51250f50754ae52be7cad5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc9d86b9b83b180664a54154c6cd31c3377e58180f3861606341bb6a5bea42fb6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1be626ea170bd8f3ebf08869aa3e5511cfc59c8b8c791f0131850fd13875de5a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x29f7c518bcb11daacd6ae67491271647c32db9d68f7a6d07936078de78de203c",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x514a246f50aeb5e6afc9d3937f03452e6f440aec255ec283bdd449d1c514bc36",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc1f4a6e25559e346e0966873a7511021900b7f9c27b241fee6065b5d04627383",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9af853adcb577aecb4cd9d969276619b0dee4a35672b168825df5813764a0fc4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4c48aca792b966dee031174e24b400fe4f84b350af4187d1ad5191ced1d0f886",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x41aadbdcc3d4cf7100a99281368232b260902bbfc51b0bdf66e9d2cc1b9024a9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaa22701fb99d2e7068ec972293f0b60c34520d3f8c315758dc4ca06ae50b8bd9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8d432d6eaa3eadd7805dffc06cd544f2220e4032bcd60bbc12cea121bbcfc116",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5331c0bfa35f320f457011354aa2b965be17161ab345a3b8eac372d1c1820ee5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeb0ccd75592c40747dddedefad78f7c4538aee8a11b5ac083cd03767581cf17c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x04b5ba65a5355031eb559ca02cd13cf73e9d99eb78acded47d46042b482e3ee8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x41d7022c8bd2a1203a8c98ead9fe730662f873ba17087a6a0eef5849883d14c8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x31d7d52580da12ee62e9c63d82054b45c72bbd363d544928e754e83601c43306",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x56a1c99ddab6760d22754888a4e67b95e9111b6619b60ee0b0553b0dbcce9cf1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa501846c4899538615d26e6e956d04ea165b56bb14767c7fb6282ad69d6ccc1c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5233e16439a4436e4690d3d434d0fa2fa468e484880c763e217827dedb7bed52",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8953015133c4a5950319930f6ae30633b50531d021923c17fc4c121d9b1d84ae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xae4f4feca72061d70089ee2201cf4a8d25d64bd8884b76269c7c7c41bdc8f947",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x51d854f245870f6ba724bdf9f9a2ab0bc7f01a7d0cce36d6862bfc21582b6399",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8d46bb64b6991a8e772eb2be7e7ffadaec84eae2cb7fd8e5f376967cee358a7b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x504e51db2db179b4d9c1083deea4966b52702f957f38cd95a0256169a2de0c6a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3e399d7fc86d306c350ff5acc47ead42eea82e13905c34ff8c8444ac23838d44",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4f172f06c40590de1a0ab49a1e9ddfefd9f28a62ac9bf43e6837b77565601fec",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2c1fa4a48d6d748933f666db224cc4f09ce09ef91316e13fce9124aaf92288ad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x57efee2f5c2e8d87c8718f1a863c0406b4bc5b4aa8d822f9b48e15edc699f65d",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x43b58a1108e31aaa6e72506b3d1b4e258999cac95790c74aeb0b47cd4b1df264",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfab562d9d2f39af0666169d50e4a25efac86a27c5f58a7c674cb6f16e6f8da01",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xed7a9bda0e57fd0c4ab7659c7659a496430afd5952ea1556bb9d07d6263676d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe19aa46d7a4384657cd5a7c8783eabf36327989c5c7cc5728d8b7295cf47b652",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdcbdca268b8fe3377c8b72e1acd44c7b660bdf70ead6a4b9139eeca2fa89502c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x26a3bbb108598cb13628cbcf488767b7947daaa53a5a8bd64e7a773941a6af4f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe1b5b19806f81f1b951349165a8aceb6e023298713d7a14ecd050ed378c3e6a0",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x6b7944b7afe16ae9902f9caf64466fcea28e45cef1eb87b27f7b5b9ab63fc4e3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9c6a7c7e69705a95c151067a8f79a1b5c66e1ab839c311007eaf4d133908c94d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfd06da75f7320a654fe5d253970af0f8762523ca770618317a25a90f6fd53ece",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfc1e9784a19ffb31f7302303dea1a9e2615541f8ad6de0a880373c7cab858a78",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x056fc1c1c280b837128eceeb2bd6b13fac85ee80e07e3dd6010ef4bf69a56590",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x022c55fed7e7d7edac76067ed1f2f0b2343cb387514301e9fc81a81ff060cb97",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xde54340f34d9eb205d5268d74f2daa7cf653128ee597c01447c3d2793393995d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0120d701b23758c0255a92c02034321d276486dcdf1a6fd97a1d0dac046d9206",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa74a3a3205e4752756cabee2002ab6ece0626b3bd9b720c432059d00ed708055",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xfdce13d35e9e341093032b8cd07c016935a97f4009428911c78557c3919d59ab",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x777d1fb889ed63996d216ef8457669f2da57734c5d464d3cdf5c956a59e6e8eb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfa2f0087dd49c35cacbdeb81f2f636656a6386505a52326b298a865a16cff450",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb77b7e76e6e30d2f6b2b7d1efb5a96fb2b7f86fdee0669f9d145f5c4b5ebefb4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x90b4879436dd48b23a9ebf40cbc9581b48310201b3769f5f8d92d1847bfaaa28",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30aa44214f09fd194be941ddd9d4d08db2eeb2f598dac6000f1c9296e5a512cc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc0160e7f614fe9cd02ce65764515e63b0b61ed3aacc17614a3323a8904c3a0c1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdadc6e7fad75e01edfce815841418fa294e334cc3ccaf57bf5cda3cb4ccdc555",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4090bf0d07909f8128794ef1eee31fbf4344a8292c99ec28a26ca96cda588151",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x08161fd2feb936530a4095e51f522d6e2ae2d08aec2d62d0c41170131d8a76db",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x872635419db0af4e297af0d5bded9634a5e515703a609b3c3b30dff0f186994a",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xfdce13d35e9e341093032b8cd07c016935a97f4009428911c78557c3919d59ab",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x777d1fb889ed63996d216ef8457669f2da57734c5d464d3cdf5c956a59e6e8eb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfa2f0087dd49c35cacbdeb81f2f636656a6386505a52326b298a865a16cff450",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb77b7e76e6e30d2f6b2b7d1efb5a96fb2b7f86fdee0669f9d145f5c4b5ebefb4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x90b4879436dd48b23a9ebf40cbc9581b48310201b3769f5f8d92d1847bfaaa28",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30aa44214f09fd194be941ddd9d4d08db2eeb2f598dac6000f1c9296e5a512cc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc0160e7f614fe9cd02ce65764515e63b0b61ed3aacc17614a3323a8904c3a0c1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdadc6e7fad75e01edfce815841418fa294e334cc3ccaf57bf5cda3cb4ccdc555",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4090bf0d07909f8128794ef1eee31fbf4344a8292c99ec28a26ca96cda588151",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x08161fd2feb936530a4095e51f522d6e2ae2d08aec2d62d0c41170131d8a76db",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x872635419db0af4e297af0d5bded9634a5e515703a609b3c3b30dff0f186994a",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0xed5d",
    "delay": [
      28092,
      39784
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1471,
      53591
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0xee",
              8
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x60381023557068441f546e9212f228c1c807b49d3f9f0bb917fb6d4e3150a036",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30553,
      6180
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      195687,
      35742
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x55ed2f75f59ec8e3b6dbacd90f4870b034c09cfa"
              },
              {
                "String": "O{0-*mk"
              },
              {
                "String": "<TumRyrOIL)d=:"
              },
              {
                "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
              },
              {
                "Array": [
                  {
                    "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x09104bdd342d3312a081b4803c56d5b208c56efb"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
                  },
                  {
                    "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
                  },
                  {
                    "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  }
                ]
              },
              {
                "Uint": [
                  "0x8f84ff35879962e82df4ec189e23e6760847eb177d5c7260f1b0c7cde75d0e4",
                  256
                ]
              },
              {
                "Uint": [
                  "0x25f",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x82c041c85bb87b6e51a690cb18a456239dfcdeaef73d889ac5da7241b0653b21",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5cdb71f48964aa806d272eaeb222743229a49ce2f95aa9a5de55289258fc5612",
                      256
                    ]
                  },
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83600,
      16945
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      318599,
      20778
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xac40a72fba601421dcb6aaf8a9cffc2eff3ae7b275b0c2848ba636923e3edb0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54875,
      24187
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0x10000000000000002",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71620,
      1811
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      463276,
      21360
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0xd925bc15ec4ac06cd72d0efb78e12bf1779c007536fe38296f12e90474985b94",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9243,
      25223
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x2de769ef1d7588d53fb47e5fc82a80cd94a63d76800f14d2daec12db10bca6d4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67499,
      29350
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2505,
      38734
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      188490,
      16136
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x7337d84ec55be91c4be3b1f8526f74dfc82b3677ba25d77c32f25f4d8c3fc1c9",
              256
            ]
          },
          {
            "Uint": [
              "0x11e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57041,
      26327
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Uint": [
              "0x1ce",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13322,
      3333
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28101,
      783
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0x7f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      409540,
      2040
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0x30",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7141,
      11509
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          },
          {
            "Uint": [
              "0x16e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      378369,
      1847
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39044,
      50482
    ]
  }
]