[
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63406,
      12523
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50345,
      5565
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      101837,
      36469
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4029,
      24676
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x28a9d9495e26c7c82bd3ff075178e63b78dc8f2605f67dcaa7030a3d042fe466",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3250,
      25634
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4077,
      8141
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80220,
      60214
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23589,
      5878
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0xbca9750aaa378ad851bef4bd4087a34e09ca638c8ebc396d8e7c40ba200f9ca2",
              256
            ]
          },
          {
            "Uint": [
              "0x77eac43574ada2c81e17ee4a2e1b3ee9be8a725545b3583fc16fa2d1f0cc362f",
              256
            ]
          },
          {
            "Uint": [
              "0x35bf6be8cf39e12ef50455eca72865e7f823262c0ce28f8c72c5167cb136ba18",
              256
            ]
          },
          {
            "Uint": [
              "0x3fffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54506,
      23345
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0xc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83241,
      56339
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58803,
      4325
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          },
          {
            "Uint": [
              "0xf575bbd2dc4afcf34030cc1104b68af85dc8aad086fadecc01261f66a963cb1c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40630,
      56338
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x287",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3393,
      6904
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4222,
      30097
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      470056,
      46256
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49060,
      42106
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540",
        "args": [
          {
            "Uint": [
              "0xb5",
              8
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x03a6a84cd762d9707a2160db548aaab891562aab"
          },
          {
            "Uint": [
              "0x270e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48663,
      8683
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75002,
      1676
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48316,
      15193
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27941,
      10109
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x6e6144277534b8fac12fd80a1bbd1cd438d5a089909866e7ea5703bbc9e8c2dc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37022,
      39794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68578,
      57778
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41424,
      817
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78800,
      3725
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68437,
      42316
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_approve",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33931,
      53414
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0x238",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85063,
      3362
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7049,
      30902
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x9e7e6b1f3eefad19412498a2aafa8b2835829275c3204900f05b69b5ef01aea8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49419,
      21093
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x35",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75948,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0xaf",
              8
            ]
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Uint": [
              "0x6eecf5f71e3aa8e9be62786522c5c44a03e154962082cce2f684d126d7b02536",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1675,
      20985
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0x20f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76379,
      10345
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76535,
      696
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Uint": [
              "0x60ab184e4381766388c00f36c9b5dbdb87193f6cff17c1490ba03dad043f5e80",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66040,
      2759
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65514,
      8455
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Uint": [
              "0x3f5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1686,
      52328
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x1ce",
              256
            ]
          },
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80988,
      57646
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xf65b136be967461a33a8c31b58ca040bff8cab92b6c6a17186e905b5ec284372",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84630,
      14809
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70279,
      32218
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30929,
      4038
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47186,
      4428
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000000"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7034,
      3198
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5125,
      52218
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16827,
      12114
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior4626",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0x5b",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51182,
      2832
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45831,
      5566
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5549,
      43116
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360,
      4825
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x73",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6335,
      6852
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_withdraw",
        "args": [
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          },
          {
            "Uint": [
              "0xd47edf7287192b65ab69159042bda8a96f7422af18a114ab930c8da2a33247d8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30206,
      11644
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
                  },
                  {
                    "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
                  },
                  {
                    "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
                  },
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      162,
                      16,
                      239,
                      241,
                      141,
                      59,
                      163,
                      207,
                      242,
                      63,
                      16,
                      126,
                      199,
                      233,
                      100,
                      78,
                      120,
                      137,
                      17
                    ]
                  },
                  {
                    "Bytes": [
                      218,
                      217,
                      39,
                      157
                    ]
                  },
                  {
                    "Bytes": [
                      114,
                      210,
                      1,
                      233,
                      211,
                      49,
                      205,
                      43,
                      212,
                      247,
                      168,
                      207,
                      165,
                      149,
                      84
                    ]
                  },
                  {
                    "Bytes": [
                      111,
                      185,
                      72,
                      104,
                      68,
                      135,
                      187,
                      197,
                      163,
                      47,
                      1,
                      108,
                      131,
                      73,
                      191,
                      29,
                      179
                    ]
                  },
                  {
                    "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": [
                      89,
                      114,
                      150,
                      137,
                      58
                    ]
                  },
                  {
                    "Bytes": [
                      133,
                      54,
                      157,
                      5,
                      136,
                      59,
                      73,
                      76,
                      115,
                      187,
                      27,
                      174,
                      100,
                      86,
                      45,
                      35,
                      38,
                      85,
                      60,
                      100,
                      123,
                      114,
                      128,
                      127,
                      51,
                      195,
                      151
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      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": [
                      157,
                      173,
                      237,
                      212,
                      183,
                      186,
                      14,
                      243,
                      108,
                      195,
                      196,
                      58,
                      148,
                      49,
                      56,
                      200,
                      155,
                      233,
                      19,
                      48,
                      134,
                      230,
                      173,
                      191,
                      210,
                      72
                    ]
                  },
                  {
                    "Bytes": [
                      115,
                      91,
                      253,
                      83,
                      18,
                      41,
                      247,
                      50,
                      8,
                      214,
                      54,
                      48,
                      211,
                      56,
                      245,
                      28,
                      39,
                      203,
                      252,
                      201,
                      228,
                      27,
                      230,
                      71,
                      184
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      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": [
                      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": [
                      12,
                      121,
                      95,
                      5,
                      248,
                      129,
                      205,
                      32,
                      40,
                      89,
                      77,
                      174,
                      179,
                      214,
                      101,
                      133,
                      6,
                      59,
                      103,
                      39,
                      83,
                      204,
                      26,
                      8,
                      165,
                      194
                    ]
                  },
                  {
                    "Bytes": [
                      124,
                      111,
                      173,
                      160
                    ]
                  },
                  {
                    "Bytes": [
                      89,
                      44,
                      183,
                      174,
                      83,
                      63,
                      169,
                      40,
                      95,
                      93,
                      103,
                      87,
                      116,
                      18,
                      173,
                      74,
                      245,
                      114
                    ]
                  },
                  {
                    "Bytes": [
                      63,
                      142
                    ]
                  },
                  {
                    "Bytes": [
                      196,
                      208,
                      25
                    ]
                  },
                  {
                    "Bytes": [
                      224,
                      188,
                      89
                    ]
                  },
                  {
                    "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": [
                      44,
                      167,
                      150,
                      53,
                      216,
                      113,
                      0,
                      123,
                      180,
                      251,
                      183,
                      163,
                      49,
                      230,
                      250,
                      10,
                      197,
                      180,
                      88,
                      92,
                      235,
                      113,
                      94,
                      145,
                      181,
                      185,
                      138,
                      161,
                      175,
                      36,
                      9,
                      137
                    ]
                  },
                  {
                    "Bytes": [
                      251,
                      127,
                      27,
                      133,
                      20,
                      41,
                      123,
                      20,
                      89,
                      198,
                      21,
                      78,
                      250
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      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,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      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": []
                  },
                  {
                    "Bytes": [
                      150,
                      30,
                      31,
                      221,
                      248,
                      64,
                      32,
                      239,
                      221,
                      249,
                      72,
                      168,
                      69
                    ]
                  },
                  {
                    "Bytes": [
                      123,
                      183,
                      2,
                      207,
                      37,
                      229,
                      67,
                      196,
                      130,
                      50,
                      213,
                      36,
                      240,
                      191,
                      81,
                      117,
                      177
                    ]
                  },
                  {
                    "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": [
                      72
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xc4a20a059f9a37f27205d648968787cc33080ae36e84e4d56945094db910ae88",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa420313687449ba2628b5a45e7e13ab44a238242e10cb64e6f9f064e04e36bb0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x29c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd3c739ed1006f7a845afd9c2b0d1941df7e20a1290fbc0c19c6a1c277a17a4dd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x232",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x22",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe6f1ec694e93012aee9390317b579c5a029b5b42a16b20cdf0f825648d553d60",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x18e4d2ff39e33be87e86162cda03406410b958dc030309d58877c906a7df652",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf575ccd2d6dc92cc51c8de7308f3e2fe24f1c1e7b8f373033ab2945dda7cd7ab",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x59376707b32a2dbe0124fa8266a5585a084d43edbe36cb5603abefe5d1d066a8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x627722d9550605efa83ddfcdb39c85a8af4b56d323faf448fb0bd8d5e48b3bfc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x550ab2201daf7ad9bca0adab16a4eaeccf6a8972d233557d4d02cbee30092e72",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc2bd0fe5a2b985d972e24c8ec0d92443ba35a75e7ad61b8c703c4518fe565264",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe0cbbb41291d22bf3fcdc83f2bff8caeaa0b86ea2928fe22edc0f19acb08dbc7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3e7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x13a8f33f1959294bc9091995a550c39d24dd47175b4fb03fe2d8882ac8f126d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9d76efdabd79828d50b5570530ea56270fa0e6f58109410b3f20b9e899fd9363",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf3ae65e391a25d19cc0d2a210e3d0f2acab90c8bf34de589327eba1394650464",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x934bfc0b80b3b423c0edb3881fdbf39494bfe0ee590b8e923cb2452ea957c2a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xccc7eb0b016619ef3c639c0b0073f5f115ff59ea211e6fb0dfef5d3b84bf75cf",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xaf787f1039a716df37e04b065eedad83ed79d713c2d7de5ef766e18c9fed1a98",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfc0e7bf395bbc145b1a8fc0286ffd4719941d6d8da03e8af5d213c0c5594befb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5817d635cc37106ea50c46bfe95e17bc2fb5cb195eecb0ede47feb3b11fcbe8e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xccc3f18c0793436108db919028948a0421be94bb290601e58aa16632d68404c8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5737250e28fbfb7827b61d3ebac024bff6c35ed8c1fe6e55c488466201821c02",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x625f7d1b8b57ef14e8f4f0586e39ddd79cc10ff76c87f2b322d601ff3b9f08e1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4e22491fb73705ff4e17fb99e1b9bb8396a270beb906e9d5a58a206efeb38620",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfb06729dcd036fc2ff51de4fbb5953e04e10cb415ed389f519b29ab843c8a2a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2332dffd98a1964eaa715eea65a636a6e8397bd234f5cf631062b2502fde7c74",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x52926ec23cf214dd9d80aac0bf8146c937a7021ea6f50c039401475f2f25436c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83217918d5dcb43181da9963063866b173bf679d844bc94dbe04c8f4f343f4db",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf7388469672d3a25d01ce879c810de18f1263c150298a1581cafc3526b883287",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x60ef169c020d5cdb9ef5021396e9049a8c3b311326ccf90777d100d04210cc88",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0941f82db9dfe322ff7808a0e70124d8f4657af6d652ec386a80e1f2bf250280",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x723e4e6d41d0dda72d4e8d05a89d5c6c8f23e701871b00eff8eac6d1453a6e7f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1eb92cf4b1eea961a45e482d0afe9c06db206ef6dc5f76ee9835331f03c59756",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb5b634394522379d25a4b40284939bd789756817a3f125a7373b88b77870e6d0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcf7e5c52c09dce9940e5fe738adc5916bf71269001685742aa2cc2851bcac83d",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x78ff767c7c83ada383f9456288901a2457dad26bd6b871037814d04da1510fe9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x63a84a3664943739716a1dfb8111bb4430390e28314fb84e90bb7b397eea7277",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x40d164fbfaa70f56cfcd3d129831d5a71dda90d4b761a6c17321477cdd72367f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x46ff73240b907540e61c589b0aed0aea5b2583fdbf67005bfa1f2fa9b2da792a",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xae9c0ee6cdb07e0d3df2aa53e5d367e8d37a406ee1e0b5440fd0824df48be3e1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1d76b9a057f233aecd27af37d68566ea57388d4957ce0146e9c25aef2812f5c6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe1a9184cff5065d6bc1f936c2b085d95aaad69751ba500038e54c9aac6d33d99",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6ce28d03b0bc5f0828c79867997ec7baf90c32c4ad35466ba9f4877003553e55",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7ab7d2b7ca1705404bc5e1f1e0232470cb0ff39b7a6a08fea01579e0c95acc5c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x15f52536507a5365b88ce6f16e2ba7581de3a0b8a90653bb3db8d9d83ab25b9a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x23e181099699e102997dd0a13d230e9b61dc147ea717f0b0cc787ba239fbdf7d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe64a60c69c18bd7d86c1afeed309e4f5637280d6a194861ea390d3cc6f1b4ec0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd8d890fe56d3e2430a8912e1cb4a7b4ee9777cf35b97f9673ec58719e640f14b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x84e2c328ea125e989b2487e4a4e741ffca15cb2e428cc02a35d17e2e49e1e55d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x730da72c5e062df10a698bb634a053dbd226ed5e31d350f7bf61fb6be8f1eb93",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x556c0bebb34f43e3d956df0219f7c739b1ba6de37c2676ba6698ecb392410cd1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x02faee35d2f9b7bd75f301708ef384dad20e1d6d8ee8bd04b46810365d3d6466",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6d702e316235259bca3f47ca08113bcfb6d13052db7504d27b24c67ef745a11d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfb128966ef0ae39ccc05a2d45d64a2a38ba4479da6ce621ca14ea30e45924e37",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xacc7079c92b4cd7d49095dc74be47f8cf8977acf82d66637473c52edbf19a973",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd558b3c9eff4089c768886281aeb5cb922ca7e38542ba652f3dfc7f000e67c1c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x56746a021e73dee44399549774c37fce73d863dadd6f3f7565e5fa47503adcbe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4d27f2639a1f3b2cdd094473077487fb8a1685446c12e33eeea85aefc2b5bf08",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa7bcd5cd99d2a56eeab1f616639b17d2643ae8f19148dee58c13f19391e855da",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcc093eb942e229485eab1385426f6e57bda84bdbc87735857158e5f160b6fba2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x182eb5081670212eb2eb1b74c1e1b91dd1e0e888161903fa7a975d1f47b15870",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe299d1986de48337e5d48bf7ebeb790ff873235a2af203af7f0fb0b47c4887ad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf2e854ee9cf375f97c93bcf5d40647aba166df908ac1cfdce9cbf88304958071",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf98cd0ce3256916dee9ca070048838089da0e839739a3a689959d6e291a22171",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x76dc92831a29e409c073b3c4dc57fe09f40c5613154a6cb63d6bbb17a244df24",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x26fff530781c0bdba6001627ff1fc1d4afaf69208ee03d169ba78398c96ef168",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdf38b1a9636b531831ae2d074b59e5f4ba6829a31fcef2917b4262f89c102305",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x0b40c065c24ad166362941767a6b97062dea4d29a467aa9caa92009c2693db10",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x05282d4d06ae7cf1bd5bfc7ab4d39c3554cbfa705f3a898dd14cfbf506e87332",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf51a39d07c75d03b0d721da1d1d66cb4e3f41739e33f2a735a332a58c069f853",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd2417d7342758f40863e0abad2494ce7b2c005692128f19b0e71f5d03b98057e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x19db70d89d0df576274c0e70f7759a619139f2a195cbda5d4a77e6a3995cfe74",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcad2fb58d15923cfac9c4af0a0a38127c5edd1a73ae59d39dcf7ddf88e2d7131",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb93104fab2739486c149be2daf6481596a43ad7a5cb5e18cca2f5d3f83636636",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x35bd562d9e21b95e161801eaf51df030750f2f4ea8e32bc0bf2929a67ed6304f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xca0e3bf5a4f4dbf007626a83a7815198ee0561ce6092b7957d80bafa7f24c720",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8edc46f0b7c0f74a28129357c6548a1f6b8acd097f79b769984d76cdd610788e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd736a149ef893656e2c6e29fe8135fc15b4246e4743656fcffa2e1d6fbb2b900",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa4e0415bce70466eee698e5e8aaae227f472ec6ff0e3789afb09955e78bd35a8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3c6f5ec346ace4d5ac3b7f7e94e76fec2d3260f452351ea2ceadbe4ca539512c",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x042c5993b41887540ef2f263f7cc0cf898979cfec8031a220732817c17f5e619",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xaea8d02022590f9a070ce6889105d6ae3e16746c9993b74ae9e2b00ddff80d37",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x757da4e9ac2d5821b338fa9711dabd3a2816a99602a66b4cebd9cb496f41130a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcaf75b39a59248bb7cd7bec2b13b7d2ef07812c753fb37bf42237afae1417cbe",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xcc8d89c60f42c733a8e3e111891c1ca79d058877d120722e5e8264c80ffc28a6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x95588d5d8e348f7b89f0ec0a67b2010c7578068289df3c14ebcc7e3dd1c7e2a2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3713e05580c32c521a8021bf2fb7509d94b4a072050325c33fe3a0973535ab71",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa5091cd6c24ae27bf66295a8a22414bac8413c1c8057fb47f1a1f9f972d5a49a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x95ac7c9aa77736e7cba9d2d13a8c8e2b600b5eb7e72446e4cff9cb2506030b46",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe73ccfced5f1df1515a8a09b849498051464d7b06e2912e09e78fd32cede4a7a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x411c07f47bcb9e218eaf50441dc1877a0ad31a4ba3020cdbc186d11c696300f0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe2b8d96acf48e6649ff72c12ef672eb480af116629a1faafbf88e4a4c63f1e8c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf3ad3c4d6a5089ff7d0caf06ae37fef3e44b8df7c7120c2db38698394bc15f1b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb1878c3812020f1b1669ac1c2ed56c0665309554668e12ce0430799c8bc8c498",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0a5ef0a22ba6cf0fe7ba11d501c7ab174682ed38d4c51d3912b26be710ae2fee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x18d67086e2d8f97aa2e953164e43ce5d11aa41591acfd60be4deca97dad5d3ee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4d32b1a69a2bb746f94dae80d100a3641e9d03f878db0133a908c2acd05939ca",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x08b70ad3e569cac60e5c6f7edbe14744c29c6ea870fce18207d1c2dec48735ed",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd33a6db6d8d6e9348d93e45ef325c54ebacbc20eb2befb688516e53eeffde3c9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf3206838bebe03bf3b08c0b34a9a45229a8379c88b62333ef8e0bea454c133ff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaecd92b9a753bcef6eaee520ea3f7d7d35156c4de7a0969151eb69c795f96dd3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x21a55c9ef7e6cebb481ea60b213f7eb21805ad9416a6d05f76419e475027be44",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c772538bd51613fd948506421d4b5334d51fb67234215b5be142aae2c377bda",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc9d3980f4eb81c60c472818d23a5cc9d343fd367ace64a89b810c99a98202378",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1e770270bd9c0f628f5a47dabf24b8a9c107d7574daa4cda2647413d8ce11722",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1676efdc7367226c4e5c4bdcc3ef7d4fff70a77ea1a36b8c9da83bac74d352db",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdf328a8a6ecfd1072a0117db64abeced4bcbda11fdf137b6a28b481f2516b3a9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5eb63456f1f366367cc74b9fc9c56be4178a8eb7d030dfb58407f75d09d4bc69",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbecbe497cb10bdcb6b15cb771e418ad01f0d3e37c81710139ed410b0ac935c06",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x45cefb3da080169dffec7c2933a3d55df56ce80850a7d9a09bb3d3b7ef39b05e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x58f74fad085fa7e7068d8a3176d138f5604e833834dc70f24be8e1f4973a963a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x348e78e8c02342bbfa30a9815b476eb22dc5e4cd97b3aed25f2e8ca0fd31d5b1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf0a9494b10c3a0bce2a2c91080efb5babb547529475ab2a37672ef1e86a69261",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x846fc7c9e889cd67e988017a370f4d8450bdab0764530be602b59b2ff46e0935",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x454c7a46f95cce8ee4e6ba7b31c58b003fb5fe264cb38d4445c84a14fad2bdb0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x102717e9c5419b4ac31a666e3fc4235467c777e9dfc841bc29b2b1bc3cdaff79",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9c0f7c7df9c6e3908f338b703293ea67be6cb4b213dee15f19d7d10b7bc7a8de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd3e3987a7409075c349c428eb42c01d2c539d1acc5ba41833961f2d6f7359a8c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0e31c9b9868cba0b21f86b96e928319d790e690dfc779cc841674564078cef0e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc1d05f84ee451a7389029fdb7a06c79c0ca522d1a5ebab0ee478744addfdd59e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7fc9bc29954772c554fe8453f7bb3dc17bbec7f43b8598c4d63660c6e99539b8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2ed8c89220d0de38e9f84de9ed117006d164082fc701e5d76119addce6b1db1d",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42726,
      52028
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x6329b4fd491e3938fc81e0b53b672987f78c0d57c8b7dc63bc0bd67c54082de2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40825,
      16366
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29352,
      20436
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x42943970189946",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79783,
      19932
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x2f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57024,
      5078
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3942,
      4103
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      487936,
      20048
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0x76",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56273,
      6852
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0xb4d3f22f6733061d2e33f24c481b3ee4ef066e50ec83efe33d2f088600119b82",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57777,
      28570
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65119,
      50365
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x354c5d34e5330e98939f55706f2c59fe4e1ab888223be894ac627f31ec91fd3c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119124,
      44677
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4029,
      1228
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior4626",
        "args": [
          {
            "Uint": [
              "0xc3",
              8
            ]
          },
          {
            "Uint": [
              "0x11b",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24364,
      59843
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6355,
      39460
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x466319ca16f071829f06",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85278,
      1563
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x55ed2f75f59ec8e3b6dbacd90f4870b034c09cfa"
          },
          {
            "Uint": [
              "0x2d16b6766cd4ac83c2d7221fa5446df3b37d43d40bfe8d2e8fdb89a73526a9a3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79078,
      21640
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      283771,
      44852
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      283771,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34976,
      14948
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xae",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      229432,
      40504
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12956,
      19074
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Uint": [
              "0x2ae",
              256
            ]
          },
          {
            "Uint": [
              "0xcdc9a3468b52d57b133b72bdd5a722b886f9b383d37d5e58903fe88f60c9dfb6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6019,
      60471
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x4c8ace6c844dbbf1dc8175498f7c660b1bb013f8a82bb7d8dd69eca0587874c9",
              256
            ]
          },
          {
            "Uint": [
              "0x2050f03cddfb251950953db8494a8bba1d89d83a70",
              256
            ]
          },
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      427790,
      39163
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4645,
      17153
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xd9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72895,
      8522
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      58642
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360348,
      20691
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22565,
      25340
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6423,
      1767
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x50bad9cabe9e4405c9478294326c14f0f06409488f48fa9fcb27f3955059e5ef",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6175,
      5765
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18712,
      3494
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Uint": [
              "0x20000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7558,
      30580
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61925,
      1211
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72396,
      3945
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0xe710bd35b8a4c3725fb91e43d540d49a36326a0d152a06c62e8a262d579581ab",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32585,
      2191
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x218d6ef30429d7c67a058c1394f5ac8fca479929bb5f7af895534f5b6434140e",
              256
            ]
          },
          {
            "Uint": [
              "0xf27ed2fc5aa9d724fbaaa5f83ae4b48bbafbd6791e912a335fa767e560b088d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14337,
      22535
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x80000000000000000000000000000000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29462,
      15045
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44925,
      21603
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70460,
      46052
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xc7c804032b07c5d02a0106c42987af7a974d02cd6f1d6c93d04431ab0f0a83a8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48118,
      50025
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0xc82b428e6ca4d1a76f0350f8936dd1c21cc84cf7d2eaf067f79ff5a7fd4bb6ac",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9789,
      60138
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Uint": [
              "0xe8de23b8456bd4d0448149aabb0c77c8d3332bc742fe327097b236ec988cb2e0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      120748,
      1587
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36507,
      55992
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0xc03ffc1b684981ba724870ef65be6c155e566b2c8d399fd232c6df3b39ce04f5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      50802
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84808,
      2837
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1933,
      19124
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Uint": [
              "0x54ef72813c272d0eb2d95946260f2e5838d5ceacb88ef2e58e05f630ccaa2c8d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23736,
      22221
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16201,
      43215
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6756,
      29907
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36622,
      13334
    ]
  }
]