[
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2908,
      39275
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x5606c1afe91f0b9f0f8da145f29d5eaefb4ed4d135febc18bfbe113303b13223",
              256
            ]
          },
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4093,
      20725
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0x7a9646aed0f29d161a606cf3b02c7794a52cf19c86d54cfbf9b2ea04d56f35b5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55017,
      1219
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0xfcf09b063cbaa1464711d14b64e084a5a71c3a6df5c877816a5c9a24f2970182",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73170,
      282
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0xb1e8de065e262a61a5efef27f2337f4e57623e3f081d21290f88136c52ed86ee",
              256
            ]
          },
          {
            "Uint": [
              "0xcd0c4682336fadc38df5b3914250ba7ad2f92811a142b53ecb0ba3399c73908e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      509388,
      38841
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8488,
      60240
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x3e9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5646,
      6648
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000000"
          },
          {
            "Address": "0x0000000000000000000000000000000000010000"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74891,
      2945
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x42",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      440,
      52681
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4262,
      3363
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6950,
      3626
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50366,
      20963
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000001"
          },
          {
            "Uint": [
              "0x2c2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16024,
      8705
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0x2d5af5b218b0168187719634910361c797d49177007f95e05c46cbb184707911",
              256
            ]
          },
          {
            "Uint": [
              "0x103",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffc",
              256
            ]
          },
          {
            "Uint": [
              "0x10b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      113836,
      31457
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x4306c070ec12fd6770fb3afed5faf0c3d5630fbe34eae8f3bf8f53515cf062c1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75506,
      28273
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xcf090db5712aeed43cff875c23db29859dfd02da466ad185cfb36e109306af45",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85548,
      16048
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22975,
      41946
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0xaa904c038001c4c213afc04ef056b10451b906703da8e5de796e13cd85d16912",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6805,
      59579
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0x24a4dfd9f5ca01e80db9608baaa218ccc7bb0ff9d6b3f90f7161b7a0f8a2b9c1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63287,
      45560
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x1e847d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23739,
      18411
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
                  },
                  {
                    "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xa309e267ea3f23e63f0c33d61398dc9f3b9b12bb"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
                  },
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  },
                  {
                    "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
                  },
                  {
                    "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      22,
                      74,
                      255,
                      236,
                      22,
                      149,
                      82,
                      73,
                      86,
                      183,
                      18,
                      150,
                      96,
                      82,
                      71,
                      101,
                      41,
                      66,
                      175,
                      253,
                      42
                    ]
                  },
                  {
                    "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,
                      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": []
                  },
                  {
                    "Bytes": [
                      139
                    ]
                  },
                  {
                    "Bytes": [
                      88,
                      96,
                      17,
                      197,
                      26,
                      219,
                      228,
                      95,
                      91,
                      60,
                      187,
                      86,
                      211,
                      144,
                      140,
                      15,
                      222,
                      133,
                      172,
                      142,
                      208,
                      0,
                      19,
                      249,
                      19,
                      160,
                      242,
                      9
                    ]
                  },
                  {
                    "Bytes": [
                      182,
                      114,
                      92,
                      98,
                      138,
                      247,
                      101,
                      227,
                      235,
                      27,
                      157,
                      122,
                      125,
                      159,
                      37,
                      223,
                      94,
                      93,
                      107,
                      189,
                      100,
                      134,
                      106,
                      56,
                      183,
                      109,
                      38,
                      131,
                      46,
                      72,
                      64,
                      84
                    ]
                  },
                  {
                    "Bytes": [
                      201,
                      213,
                      52,
                      192,
                      145,
                      6,
                      246,
                      174,
                      139,
                      30,
                      184,
                      244,
                      102,
                      216,
                      60,
                      18,
                      153,
                      227,
                      128,
                      201,
                      91,
                      217,
                      203,
                      29,
                      193,
                      180,
                      40,
                      148,
                      8,
                      247
                    ]
                  },
                  {
                    "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,
                      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,
                      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,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      96,
                      243,
                      87,
                      247,
                      109,
                      181,
                      170,
                      37,
                      189,
                      35,
                      76,
                      108,
                      255,
                      100,
                      54,
                      201,
                      174,
                      193,
                      98,
                      210,
                      122,
                      98,
                      216,
                      198,
                      5,
                      253,
                      106,
                      17,
                      13,
                      227,
                      148,
                      105
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xca0796731b5abcd9fd85523eeef6359d7653696ff2efcc7e9fe5220a59d27460",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa9cb35258f16f391df5cb2f2c7d22708b460d99e12d9c1dc1cba4ffb2e582101",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf064f7bea9a43e788bc553423c24ea6ba23c9b8de4dab4a3f4a3d89b3fd2baa0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc5553d1fbcb3e7b4be30da868f563f0a8cdea4ec76fa8354bc096f155ad85e33",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb5b5db5d05a3e5fce2582d0b412663de6ab476f01ffbff2f468f331d14518879",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x62a42011518dbd1319087593b4238dbf4cd3e64d73586f8d192c9892d7473d21",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc459f996e251883d5fc8dfeb2e3ce42f3bbf16015bb0e957de9eda6d32014039",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x799fcdf0d9088828b076bce6ff6112e7f15d61f3d69b4aee3de1ff69083e0a52",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x22c7250b663201076268df2278582a8759a95e174ef26362897e3b8508725070",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x534adea702305a6ee03cb62958774f38785412ce1bdb9f381b06091acc1f4cf2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7d4a9486599384423f73d243d8be37326ace833b67fe101bb1c48ddf2f05598e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4929f7afee70956c06b69b047a6277ddde968e1d22ded39d40241e6b992bb505",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x43a3f7dcf9828d682c8c68854f36585f450a5d98a862ab376b9ccd1c2fe726c5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7b3d74e90b4a4862290aa5d22d04063fea607cbadbbf9f73428eb6cd99032442",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8e2295918063e67fdc47f4e55707409fe09c4fac8660a842ce7e4b751aab55eb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x01568f0c9b6bf6f6855e833efeb7071877c5684339ac5cacfda8a11af182593f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x103635e69384156d19b02040f022fa4ca3c4d5ea45092dcab350b2e90a6a7bbb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x21d08e654092507cda8aca9a9a4a2d0facbf4162a4ab8ac51282d8f90b329946",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x05b8c064fdf1bc346103a5f9dc2129fc4d8e7443b6ffa8c3aba8d064e229c301",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x93d8c89f3654896004fe86b3475583b8b61e1a1d6b6b9515b7c620d97baa3ebc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbc5ea56387c4becf40b336832e4362bfe4014d560ba57c4b6557d2c3f5750e7e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3b80d3ff4cfcd42f3ae2603a818f89ba583146dca7e672dcdbbb2f44a788daae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb9a80bb74f9b1a78b49994ea44ae459c322217367835b141cf4a4518aa5d7d8c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x49427e3a04dd4c785445dcc1b51db2fdde31bd20b1697c5cc63cd4149d201f7f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf7abca8f29140314cac0d1d50ccfe3311ffdce1687876452f8c1375db580212e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc166a71c23fd4dfce3327ea234622bb15b12a5992431831bc1cfa059575f6a07",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1abc39a4437cef2ca97ab6f2ae1a5211dfe8a84c778f0b2b4ba7499cc5f6a09b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd6a7afcff893d0e6cc3b731df7624340058a1498da9e2935a408eb9776e189df",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb4f8abf76de36b7a326002a5aec67d07fa783f8083ffd4312387785ed0dd7ef9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5f6e37c1ebc77759a2077af383c0ce53c05032cc8c7250d067028efb9b4e2dac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1ab7e667fd5e224da553375125fbbfa961295bf2116c6f6cabf86ca0997ff79a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb5b5db5d05a3e5fce2582d0b412663de6ab476f01ffbff2f468f331d14518879",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x499f14250edf8d925133eef51c8f479f193143f06fae47ab5b1db519378eb0a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcff144c93f356895cb60854e269b2f58436c4df3ef4b4fd18869c5a5d5374216",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x72a6fd09ea11de644863be8522281c9d9bdc5a97bc6668ee158cef700c07aa6d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x116ded4b29046709bf2d40c0b3327453a44b04935e38c7daacac5d0dc2b56f49",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc1edbd9f2d9800e1c37e8a8e3252acfcd992f297a9e5f556cc9d96f47ff0aa54",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x77433d396f0a4943fd7200b4268b6cabd39dbea516020c3a229ca7782be7db02",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x57aca57ecb677c0a2f35e69ba2cf5363962c652d1e456578e5f3c87316404821",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa04240c46a54308ebbd22de861da60d1d3bda521a10f2a7cefa0b50e219a05ef",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe1041c00760d31b997ba03328be978869944fae23b1cc64880d133e45744e3ad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x641d446aeb5e6b5bbfb1ffb046dd1abf2b727db5fbf6b924605c851ec44ee62d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c45479a49894722cdbff41f3d707eee02cf9c094c66c91d2407a85fbf0028f3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd65367a66860efc5012cb4b0ad603443d62b800ee6224c69759339b2d25b7dc1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9f8826c9036fdd0c00bf9d42311625013d381c3282b059e3760241711d5ec990",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2a65d71bc0ad77c11887a1daa3fa6194a1bf994a392299b8679aa19a354b0b4c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x04a22a10e4df4949ceedef5135add058487f559208e52dd6fa734c17dfd6d24b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xed061d00641f362b329cf1805141aa859d673994fa9a82d5459a55e16f95c705",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20d0126fc4d5761707b4999f0b2bdcb9df284b28d6be587a020d53dd2ad8f256",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdaffc7cc622d326f9e12c83dfec9a64d1ca6d0fd26c2d3dc6ed9358b6cd27f5a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xde8314327dda962bc6713f7d46e1567b4e1bd207e28fb19df369b7a02f750bbb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1962fef79a35ce62ce5eebca29e619a27d899faf4e8e77acb0b7d7d0fa05ad26",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf3f52eaf05851afb2f5da4f9f6d44c9b9303f2bdc9638e0758ec7ebf9c998320",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20d0126fc4d5761707b4999f0b2bdcb9df284b28d6be587a020d53dd2ad8f256",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xad48be1e0810e64c86e049b8396a4bc69f3fef6111f20ccfc4c729c3775ed0af",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbc70b3c6f7c97a6e18d4b00188e25ddc881fe0319173681ed93cc8b87abaf2bb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xddae21169c2f25a78e29554ff860fa10b188fcf944ff90f8b73ed80e8bb5d3f6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x39f19b69c669dfd21fe70f60839dd43620bf03fc91cf885e70af11176e71769b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd36733fb7b4b25ecfde47bbb1f89f689c40e9420a5ae1be604ed6956ce6e7061",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0cdba569e6f67295345da74fb81733d8c1a6e9da778f478fb0deaaf746650852",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9b3a55fa7931862c13ab2acb8e58f308b49581c3265bec2ca659c8b4b223f8a5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc0447c14a212907962c2207769a9b3a1eca6e07c24f7237957a19136ffaeda0f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x19889cad5dcf627bafc9c30a7f5db3e107c87b4d4676b1e4eb9a67c1f997e4a5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcebcfd7832ebe9946170ce5bb870ee1f010295dbfc176d78fd1e437d2549f6a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd4443639ef6c618d42332ec8ce678672d3cbc24c512ec51dc35a323a4028f17b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa92fc5aced04c0e4e5be22f8c622bf22e3c62bc5d94a37016eea0421016fff61",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x09a82a2a849ccc26645bc92ef9f19d05f6ca0b9dab21b073d8af68629974e242",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30928aef70bf08f49974ec5308c5fcc0a8aebbca3900d9c29eb2677ef4f0822e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc4658b470a7cb2819dac08f59ca5584035d8821032ef64c2c9a08b9e3ffb908c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9956399f5330c690c280932c48be34adc597448506d36b544123f038183fcdf9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x875b2e48f46e7dc1b3677f48b36877235660057a8ea40c6ae44857f9337d62d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2fb80d98432c45e67e2a636665192e50c22330e4d63c5fcea0774b530141dd6a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc4453b1857f533f0db587dc1ed3826cef51cda6038b45b62a7531c3536d5cf24",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe9a9e7716f89e386144ae34e59af919e4bca3a913ac1303fe116251ea3efcf08",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe8cc6d8a63f9c67d3314e21f261824d6e033a7b9745af58ff3bd5aaf1aa2ad83",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9a6b66b38ecfb70c843ab821273185ec69284d069e61840da4af7e0e86faa167",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xebc6b24f59bbe74b6ed252b1b4ec4403a3bdc2ad7cd5d54ebb632c69597d7917",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x00064fe45aff7ad9ec73ebeb03664afcf275d35f38bffa9fe57c06b31f441fd1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe52d8787b2040d9fe3eff47bd16f51f9516da3742d88c34dba0f33d49e70e4bc",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xf1a4b71cab67f9d2b3a94e7e04e6bc58c058e4307a1247f4980e03cb76ca6599",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x78f0388f53410ecbcfe52e8c7528a35c2d7c386731392b2f61c209cd8c8adb0a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x60bc86701843414045c921556ea5be28b5b90e0a239d135e2a1a61a7cc9d122c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1c6bd0fa00a9aff16195c20e39fc110fa4b2a658d90daf8a7f8a796755d3421b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x488cd2b97363609291c3c163fc4770bd07ea0f912cb6161f20157b32a4587d12",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x43a331a057f278ffed73b4d15ccd66975c475b19e52d02177ab3165f4224659f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa7e3ee6d2c49e1757c836e12427db6abe2a17abf4c6b49005fe05f9d62c33d44",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x398f8d59adbb12a0f30bcaa31d05a6a02fcb0f84c6186b730a1a4ecc75ac8927",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5119c333a88bbf38c86bb1fd17a4d8b262d8ffe10ffe1e85acee25d020fcfebc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1412745aa7fb50449ded41e9b66bfc38f43e4dfe7a50452a45f583892bf8de9a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc85d6de984a94edc472b8d7a33393ac6a4e3e304c4cd9e00ba1fa7164198cb17",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3b77580010d4e0eebb03afbb68eff9f9be6683b219f4d7a278adce82571031d5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x28f42a42ff27c29f99d8d7b86c1ccefad608531f1bae30bbb3ae0d98c7a31685",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaab462f5137e055507c5ebdfce2e12e30b68cc943dc1dc3fc883b2650bc097b0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9dd7feb248edee6212e2d2a8da6231918fec4e2d65481a71c7514a260729e2d2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x82e67558217cd968db6f96fa78d56535aa919e124f7676983c79efba94b5c1fc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x781b31c00b605a92a107f1a48cc8fc5b5927ad7dda9317a2fe96f1ac8eeb179a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfb72d7af3e324ffa731bb866173407cdd95a9ada7cd77b773accf89989d99017",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf641d838e0402fe09a715ce8d18933a680a22a166428633ddb7a99bef74fb23d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5d0f8f5cb85bdf87533ac5adaab120b70a2d35e6157955fab85ce2ef9b8e2f98",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb1268a7904c5a72343103208dfdf7e3d7afff46004b66b988c31478380f322c4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf3664f561444d619aaa546f72f7119392d927021d31a7f68e319cfff904bbfef",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xba8e20e3fff8a682eaa9c47bb216a9029978f64a7a7ca18ae3abae9f8173d57d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x736cf91d0fff13fbca7faf72bf804940bc1ac1422fc5f113515f6ca936ae6a82",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x980d455ce8a4095f936da0dd7335a19ed9c33551668da2d42faa8e560d5237f1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x04e3ee89ae34a75ded472d296484a7a921c81f901d67de65995f031d42e45d0b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x17de9938b0521200cdfe96c7a792a1c88353fcde5196faeef65db69cd47a4aab",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe4c5ee5bfc1df4333b501e32ff0b61c886df74ee456b5f6a8a61b171131e1e2e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x320543b5c67b849b90c7a39d39ea19d9cca626476c45df4ae9c35d7af3ff8206",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x150f66d6b81c0c1ff13273426a3aa22349b1c94a18ad7f78a6c96d5abdf4a804",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x46d9d46c9769c135f2770cd13fbaa1ad0e9b0e5dfbfafa9eefd19f59c7893d1d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5466ff1b8367e4b62fb9d20f5008bb7b0773253b814a9937d9f0257b3328dd52",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x939692fc202e25af7a2047d2d5574707243c9ba6e34b8402d2da43e7ebfc7b62",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf5b2c02ab8d73cb9c9b2c2bf5304bef483f9b774262e08048de8eb2e33f91895",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd049bbeaee10de53d75cb4715bc49ee6ede395de28b4a8aac2e8cb3156a706b9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd59476f187d7bd2eb8ae807308a8803f7d681021cdb449a84c315a5d3d43fe28",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x640fa1bd29e48cfc0362f977f02450b93677ca4a5fb6cacb218e782feb606fab",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x3e76aa8b09d00f836",
    "delay": [
      83757,
      56144
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4696,
      7797
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x24237f1dfed519a5c43ab04930794ee37fb9f6926c469c8cc6e29bf12fe52df0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3786,
      15799
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x278d00",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72139,
      25916
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45137,
      1146
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4319,
      15243
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8885,
      53184
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      420888,
      30147
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x3e9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6757,
      36713
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x347501444a0d827d89b7c2a67a7ce86f7b693f547445364dd451a12be376a0a0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73683,
      23786
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x7ad123adce8c9698df0829d0738e26c78280954e5a4c7206f5b53c6291c45",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3847,
      59908
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x3d",
              256
            ]
          },
          {
            "Uint": [
              "0x41",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54242,
      5414
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0xaa",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79892,
      24199
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x4e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      464450,
      51644
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7876,
      4143
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      446519,
      27154
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      207833,
      20036
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81080,
      608
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0x200000000000000000000001386",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14687,
      22849
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Uint": [
              "0x1d9b307c5a3cb0b3daec82d0a2e8d66b4c41aa87d870ab6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      422789,
      4922
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x7d2",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfa1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x232b",
                  256
                ]
              },
              {
                "Uint": [
                  "0xf4ac57c61a8089e2fcf87d29b1083fd6910f358c7f8c532a8430190b0dc52746",
                  256
                ]
              },
              {
                "Uint": [
                  "0x8da8fc6c0134606d53ebfb87f2eb167538e75f6d6c737d7620f60e305d9b8c9e",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc5a2f6bc2e7149021fbc7a0ab7c118997f38773e910f07227fa5b781af2500f7",
                  256
                ]
              },
              {
                "Uint": [
                  "0x232c",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                  256
                ]
              },
              {
                "Uint": [
                  "0x5cb08ac3b3324c2283255e88841b0729ca04a807014c0e88b2429e94434c658d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x35",
                  256
                ]
              },
              {
                "Uint": [
                  "0xce7be4ee0ada61e736ef113ae90d8bdcbc8f22d792902e7daf94f1acc9fd320c",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa802fff3b90871f97eb5bb9b24ccc9de1755c5d1b9f29fe078f904a663baa192",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2bcb798a19e55197c92bf0fdd332a8e64c05bab9f2811a9a3cca92726866f40c",
                  256
                ]
              },
              {
                "Uint": [
                  "0x47c9c71b9c57e9f90285ee9b210360e90c6bd86719b9f563a2a364085b1ab14a",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa06354cba57fdd02a8b8de1c8f2b3bd84e47f7c6430aa3a4fc2acfa09d37598c",
                  256
                ]
              },
              {
                "Uint": [
                  "0x5d10be2964976725775694f1b8a2e069ac238f935c98a698d6c2601672aeffb5",
                  256
                ]
              },
              {
                "Uint": [
                  "0x756413fc99c26cad37b185084f87795169d6a5cd954c9080b1afe9f90894bb27",
                  256
                ]
              },
              {
                "Uint": [
                  "0x90f1604687ecc4e8d000d026864d8ff87c1cfc89a81aa0a7eaabd39c994d540",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7f",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x9c65",
    "delay": [
      80385,
      8873
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          },
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1334,
      15553
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x4003e574b034a9cf0",
    "delay": [
      31970,
      2887
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28089,
      33512
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0x4ddc5b65912d63d68f959a0b6b5d971e6e15bd012375a39be56ab6397f66fba9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3339,
      23
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5494,
      6024
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1380,
      56036
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0x12d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31646,
      13879
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50283,
      9459
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7312,
      40753
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55267,
      30897
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x100000000000000000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6141,
      54242
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x13",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1942,
      19296
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          },
          {
            "Uint": [
              "0x3ff1132822145b9989ba3e3392c619504835043e24e68c3edcef919a0702ade7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60700,
      36859
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      460107,
      525
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      693,
      15313
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x1d1bc9a221687bf65ef4c4d5f8039b169a2d6aeedc7d01dae845783d0a3e9076",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14486,
      37919
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x92bbd0c19960953db7e68f91ccea6c5ce0baf0b12d374af2a561fe52c129c3a3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24756,
      7843
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          },
          {
            "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66068,
      36998
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x1e847f",
              256
            ]
          },
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69844,
      54615
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x1c2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4118,
      20213
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0xe8376377ea2ad81ae9d95cb79b431d0be8c0451b23f572dca5459675adbf6633",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29583,
      24608
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34191,
      9019
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0xa7f25e2116ce403a56a7097ecf1dcdf01465cff859b063424dd0bad5a4559b30",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14255,
      1177
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41405,
      2280
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      253781,
      7642
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      846,
      46482
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7961,
      3781
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          },
          {
            "Uint": [
              "0xcf10730cca4cc1eca2cc03ebc5794593dce0554e711864e42c778f67939ac635",
              256
            ]
          },
          {
            "Uint": [
              "0xe1b80e8904409f1665520f11d3b5aabed1643f8cc2a2ebfffda0abd2534274fe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62407,
      2489
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22852,
      27746
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b209e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49481,
      23119
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25350,
      2611
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffe",
              256
            ]
          },
          {
            "Uint": [
              "0xd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      281968,
      7295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32041,
      9900
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0x3eb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17762,
      14127
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x35",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85546,
      48552
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Uint": [
              "0x14",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78647,
      3705
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          },
          {
            "Uint": [
              "0x3ff1132822145b9989ba3e3392c619504835043e24e68c3edcef919a0702ade7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12121,
      2815
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x1877de09d881649123813fc26b3edca4f0e16dfa6bae7c5774a30a98d699f38e",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      155160,
      23483
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x1517d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62850,
      11192
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "String": "d\\6'FP]]Uevjm.a=L#Uu"
              },
              {
                "String": "�"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Array": [
                  {
                    "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
                  },
                  {
                    "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
                  }
                ]
              },
              {
                "Uint": [
                  "0x5f5e103",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x3f5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x64",
                      256
                    ]
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8657,
      52941
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x22a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69116,
      4612
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          },
          {
            "Uint": [
              "0x41",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      550719,
      52937
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0xec",
              8
            ]
          },
          {
            "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
          },
          {
            "Uint": [
              "0x4e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85511,
      49195
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76801,
      8707
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x1517f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63288,
      14447
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          },
          {
            "Uint": [
              "0x4a61900a3ba3fb92fbc487126ec51f38417235fcad0de0d91222c34aa549b168",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71945,
      23816
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20390,
      6631
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Uint": [
              "0x5f5e103",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79823,
      53978
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36999,
      10277
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffe",
              256
            ]
          },
          {
            "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
          },
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55905,
      14949
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0x18",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11642,
      1768
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xfffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      350465,
      8557
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0xe0f",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      2296
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Uint": [
              "0x10001",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77427,
      58098
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x98f0c5da49a629dc71e18a66b6787b27d64426dbe9bc67ed45036d064830f2ca",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2301,
      54091
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0x5ed0a6e031180cb0acf34e29090eeff0ad8ccdf9e217538ea68de40eb5ad9488",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3085,
      12686
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      888,
      17417
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4559,
      24953
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x5556f8be2c2b228961c6344ff23727cd769d9ffbaf56ec6b9e56ff3de43aa550",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38012,
      5571
    ]
  }
]