[
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63406,
      12523
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37924,
      3411
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0xfa",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73218,
      15950
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0xcfe567a4cbafc53f8acc64dcda30b9dcd7402ed86ec9e4f7ef4e104796bc2e5e",
              256
            ]
          },
          {
            "Uint": [
              "0x55d8a054ccdabf76abf6cf6f85b85ddcb541502b0060b60daf2b3c8286578509",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5327,
      1139
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0x33fc54c7ac4c3fada1ed4bbe8feb38f454b53fe71f1ec6e180ca3354504e3d27",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59557,
      10879
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000000"
          },
          {
            "Uint": [
              "0x9b7145656bb5d552d641154bd0f011734dec1b349387cfc9ce25f666d78fc060",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20017,
      217
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0x7f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7135,
      6939
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x57e6d124b4f0b6b6a7377e1ec0b60e37cfb44921b9abdcc03fae27da366b1919",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      243847,
      8659
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x38ad83257624888e3415cb8fdbdf78cc4829f92e82b4f7a028e3d8253e21edef",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      29416
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18707,
      7121
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33482,
      59258
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      138965,
      38361
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      228232,
      6432
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85906,
      7407
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17701,
      56953
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30483,
      8020
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0x4abe3297c2984b69663b3d31851e2ca4b3eec01c3e4efc1c60de71d5a773b5b5",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4433,
      25042
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Uint": [
              "0x17e825c4cbb13be759b17bfb806eecdc3e564b0b40f5810efe11f8dbeabc9085",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75991,
      4626
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5423,
      7164
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0x399",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34681,
      11266
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32884,
      58204
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Uint": [
              "0x5e2cdb366f175f73a0e9edcb91a1f583b86343b814dc9819083a076ba0336fd0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5787,
      17542
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x185",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65117,
      1646
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0xdfbbe0b7ca6d188aa18ce11484123c947e77febe02b4d612e95c6037d1910f60",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      591367,
      16895
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27864,
      2397
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xffb53007558cdca59feb99af06ed3115fb89ac4d8c354e67f82feedf689a32a8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82831,
      21115
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      393562,
      2486
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51904,
      15195
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13301,
      15046
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50608,
      22582
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x0000000000000000000000000000000000000008"
              },
              {
                "String": "53<;F.G='3#Xsr@"
              },
              {
                "String": "\"VD_TZ 9'P;:.ch&Y:SH!p&E94'"
              },
              {
                "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
              },
              {
                "Array": [
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
                  },
                  {
                    "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
                  }
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x3e8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x64",
                      256
                    ]
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      101679,
      51793
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x89bf338585575bb800e4833d60ff28530ab2fec96b83627b3aa8c0acc853d629",
              256
            ]
          },
          {
            "Uint": [
              "0x134108fa2ab4d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45946,
      50669
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x4939532cc892f7c0e6dc5df532e9666f47221b6d"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48687,
      27475
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_approve",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7062,
      19878
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      128229,
      48590
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Uint": [
              "0xa391c82e5531000d93b6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      587660,
      11677
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0x10b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      432070,
      29830
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0xc64493ea35d868696f56e175c3690ac44ca4299c6bbe4295cfa610389c561edf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69173,
      3548
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10147,
      55094
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8142,
      17287
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0x83",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      386464,
      20046
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60333,
      22552
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x31e05ea23af2a49bbb53344e60dbe573b099c1cc3e0dfb0ea62961256ceb3941",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      48687
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xd482232b9a65cb3c95002c3758ca712930c6fa1240745e5573f81925b8790559",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8915,
      20589
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0xe2d1af6c1b22fcdbc1a3dfee063f42131e4722bcc4d9967294659178ffa695bb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82917,
      5845
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x22a8efa5c9f652311",
    "delay": [
      7325,
      6497
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x4a926676f75305beabdecb5fc14cced4103000c2c4440e1aec60bb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25270,
      10825
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x1774dfefd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6333,
      41425
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0xad4b67b0c48ef6bff1e2226764e58f20be4cd8baae42090a9c30e29ba60cc8db",
              256
            ]
          },
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      116276,
      6856
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0xe3dba1dbcf32ee0f54fdb6d2dcef000a7344db13abe696c5c6aa03f4946f9d4b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118345,
      974
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31013,
      4057
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Uint": [
              "0x4e828e330fcfb4648ba6b32d8b29a95e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5861,
      24767
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35100,
      37071
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0xa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      584186,
      38097
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Uint": [
              "0x1f4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19529,
      7517
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6982,
      43298
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0x8ad98f95c201085eebebcb79998a0e539877df019659445c11f02491ac1673df",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      15364
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x8e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118130,
      11777
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0xee2f50a79b2dcbdd5e5cc2cb97f3552b767a077b5e108fcd9412f7c28f82b02",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51575,
      51004
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52380,
      39273
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
          },
          {
            "Uint": [
              "0x80000000000000000000000000000000000000000000000",
              256
            ]
          },
          {
            "Uint": [
              "0x4eb5ed6011f6fa6d86647a312688ab9431d2fa3976ccae8ba414a06f524419c4",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65000,
      40274
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x1fe",
              256
            ]
          },
          {
            "Address": "0xee75f2e83791e29cf5873a3cd05e249bdb77bda5"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3772,
      27580
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0x4abe3297c2984b69663b3d31851e2ca4b3eec01c3e4efc1c60de71d5a773b5b5",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24806,
      9339
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x1be",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5501,
      31929
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64758,
      3549
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0xe0ecf29b8bb916eb8ed945ac716f06dcd53ef289b0f9b24c25e875680fd5a197",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39716,
      31858
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x9782da9248301f861b80e40a626d399958e1bea7e7831d696f1ce2eee5331f75",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31553,
      22899
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0xe64b963fdfbcbc0cd7af0d830163ea79462f82564917adab849118f7f355248c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81286,
      19019
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0xc6",
              8
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24769,
      11015
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4316,
      945
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5733,
      25919
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2277,
      8659
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0xf4cb5707e0e1025b04fbc3c4e0cb73ee9bab3011c04bb48530d7ae8e82b33d81",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      436628,
      58115
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0xba",
              8
            ]
          },
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Uint": [
              "0xf68e781269758a0ff4ace28580df5dc1ec4512fa4e597195fcf4f6ee81d28dc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9626,
      57490
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0xf1b5681e4557fe8bbd514407d60b615d52975b405d536edbc107816dc7d7279d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22485,
      44824
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47719,
      15774
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0xcd",
              256
            ]
          },
          {
            "Uint": [
              "0xda229b250585d9d443204dc6d0320934590dea8485a810c371c99d6d29c8e408",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57504,
      10638
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2556,
      51010
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_approve",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xb6201d81fe891c9cabdab36486098c3a2c2fb97c01452ac8a9dc8f67682f7e1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4503,
      26698
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b7e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83240,
      5549
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0x904e8a5c832beeeed83a3ecb0906fbe9d18557dfea1ad45224e9599d546a2fa5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32104,
      16357
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12351,
      1496
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0xbf6e5ac3a33abc21f26fac7c72b6d3ad46c10ef186114d4041d07bca5c8813d6",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5762,
      44127
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x2a9",
              256
            ]
          },
          {
            "Uint": [
              "0x9b8d88c07807eef6ea43c4b049dd08ef630e64c93318055316e7612e06147391",
              256
            ]
          },
          {
            "Uint": [
              "0xeca476b5ae3b58481e38b12f15fbee8947d0ba5b7f5a0991fd07ffb8df339aab",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      505746,
      22891
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x3e82b2bbb3dd5e8ff9183d05d130ae0130bb92a0aaea018ed09171456796085",
              256
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49337,
      6262
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "String": "5%WGHs[!4xJoIf>C~&^6o"
              },
              {
                "String": "O:1UR)<L_xh+Fh=w.UlZ#gN,q#Z8y}l"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Array": [
                  {
                    "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
                  },
                  {
                    "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
                  },
                  {
                    "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
                  },
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0xee75f2e83791e29cf5873a3cd05e249bdb77bda5"
                  },
                  {
                    "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  }
                ]
              },
              {
                "Uint": [
                  "0x6fbd6cb78a1c4128763dec63536d82bf0aa26ff810129a9648786d95372b04d0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x75e3d118201c094bafb86696ed8e9e971427db12718e6cebdd9ef25f07adcb3b",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13811,
      14341
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23424,
      50104
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0x4cbebc1a9122b0ce19b5698499cec6dbf41349275cf68b7d2731dcbf012c733b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44385,
      57862
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x5d75c4cab4aed47b43a5f127e43ba8f78d235fce96ec6f785a2a85565d8eb6ee",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62157,
      8032
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      117886,
      7025
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x52ee5fa6b2925d7fc540bb47e8d449b5d7cec08c3046d30ac8534df2a8d13d69",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81400,
      6112
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x1fc",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62157,
      41156
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16647,
      1781
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77993,
      60276
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74544,
      25920
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38506,
      2494
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73450,
      48596
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_withdraw",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      171095,
      23689
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x230fa471266349c467f8f5b4b59d01293216b4fc9b9609e228b50ad4124192dc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79492,
      42614
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Uint": [
              "0x18f648847b8a40538c0026f42792ff611394faa1885041d3",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5290,
      2135
    ]
  }
]