[
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3721,
      35424
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0xc58252769e3eb77f7b39dd637a80656463f9a83281480a098069fa208a270e37",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75616,
      21629
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0xadb234965f93523b38107b641060a4355006d06b6d4118e033ac676cb632a3c8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65061,
      8849
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5199,
      2276
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9622,
      18808
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Uint": [
              "0xbe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6950,
      13354
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Uint": [
              "0xf300e21ab7ab3f66d6eeee7dfdc94c5344309d555c45f50c9fee980d72489fe3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      389491,
      54901
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x8ca722a90497432d1392983f70823c2feef54c5a1645ec73932fafd3adfd6b60",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17759,
      11715
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119817,
      56558
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x10bbab85571a9908c2a545bcbc610221219a5ee52caea6cc143466b53355924e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      154290,
      60084
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2567,
      41105
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x60e253673bfe4ae61367bc3d367ed6ea3ccd19c29fd92e704d4c4a1eaacacad0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11666,
      19955
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2491,
      25351
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62893,
      5153
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2763,
      15850
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2137,
      1807
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3890,
      1992
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0x33",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3223,
      5826
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50534,
      18661
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x21",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85428,
      5635
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Uint": [
              "0xa960ba1787d570df0a07fe6c2090ce94265863d34bf5cd8f99b25094d47b61a4",
              256
            ]
          },
          {
            "Uint": [
              "0x9e",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5812,
      25088
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      568419,
      18706
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x4f34563d4fd6658b68553afce3599a752a5ef959417cd9199e790fb165e2db4a",
              256
            ]
          },
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78109,
      58563
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4580,
      7502
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      413776,
      55758
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Uint": [
              "0xd545a62942ac92d0c5e9842412406c6acb486d2559a4886a5a113d4cc8d0d703",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82460,
      49672
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0x744f663bb2b8aa55deae5bcda51270ab99fc9846846bee3e64feafc4e712d279",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13641,
      7051
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x996f9d12e9d79dd7a1719a6e8c4573ffbe9ba756e043eb9e0a48f40315d521cf",
              256
            ]
          },
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48772,
      1331
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51144,
      57377
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      20493
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0x00000002000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3347,
      59539
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x811146c6f774d3aeb866f3664f4beafd79b2ba051e8f08de21819cb70abbf066",
                  256
                ]
              },
              {
                "Uint": [
                  "0x25900a9943bdfe122abd6a9d42f96cf41b68c4c593afdce46c2276d97cd4bfa1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x591836728bed5dd8579f57031d0f30270db6409489a1f2bc73a3e5c50d848620",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x870237a5f1ffa519515b9a02d0aa4de914276a2b0150b861c52f79e6b88695b6",
                  256
                ]
              },
              {
                "Uint": [
                  "0x37",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77804,
      21424
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15001,
      339
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x57d9eed9069b7e211094984b8a8d2f2a67f5af0ae9e536c73e7539dca97ee87c",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53981,
      14182
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      558429,
      60144
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28520,
      6505
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8436,
      60143
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29803,
      53579
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x36103ffa0323ecfcf77ed56de240122657e544ccd5868b402a50e7b994987692",
              256
            ]
          },
          {
            "Uint": [
              "0xc3bedb841970db1d51f2697f1d630aeeea6c5af561fa76021aa46c311254a28b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      483,
      48534
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x4",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000200"
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      167210,
      7843
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0xeefeb8e19e829e06538d039b708f472772a91df9a468c5da09ab555987d7525c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119724,
      31411
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0xbd6d6f70cb72155df03b56d107847ae7476a140dc4b4a1e6b34d5071de21c19f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62643,
      15415
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      302760,
      1936
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60649,
      6438
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0x7a29d66f4f37c7cf953c9b48d6c7d9cdf84081a56783f498f81b36ae96e97c3e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      450473,
      28159
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x718c2ad54ba049704f2610c3e861896454b7907cff3bba27669f454b93308b28",
              256
            ]
          },
          {
            "Uint": [
              "0x4d93b64ce260d45e93b3894968852abaf6dcf7ac2343822b2f7dd423d66773a3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62973,
      9246
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xaf4c223467be69ce3d4a806c53949c7145009896cbee5c202ce3e80eec60a41f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7562,
      42893
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x681400f2e862399f20cc62e59b4a4190cc2b8b24e58ff768641ed53bda024374",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83311,
      982
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0x52cdf9f43fb2b506a133cb9c0a5b482190613e2bae9070d2173dd7bba3e7a0c4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2676,
      24901
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0x0000000000000000000000000000000000000000000000000000000000000000",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      39919
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      511417,
      483
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x98d4a108402216226940e10dbd6342ad1db4f4d7999bd6df03a802fb58c544aa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7202,
      3128
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75595,
      25924
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27160,
      33202
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
                  },
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      164,
                      186,
                      206,
                      22,
                      246,
                      37,
                      4,
                      11,
                      13
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      92,
                      26,
                      156,
                      245,
                      136,
                      209,
                      224,
                      172,
                      55,
                      142,
                      38,
                      3,
                      91,
                      97,
                      71,
                      255,
                      177,
                      200,
                      180,
                      157,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      199,
                      24,
                      52,
                      85,
                      164,
                      193,
                      51,
                      174,
                      39,
                      7,
                      113,
                      134,
                      6,
                      100,
                      182,
                      183,
                      236,
                      50,
                      11,
                      177,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      199,
                      24,
                      52,
                      85,
                      164,
                      193,
                      51,
                      174,
                      39,
                      7,
                      113,
                      134,
                      6,
                      100,
                      182,
                      183,
                      236,
                      50,
                      11,
                      177,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      207,
                      41,
                      92,
                      250,
                      220,
                      69,
                      84,
                      39,
                      168,
                      95,
                      19,
                      218
                    ]
                  },
                  {
                    "Bytes": [
                      153,
                      220,
                      185
                    ]
                  },
                  {
                    "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": [
                      18,
                      18,
                      1,
                      99,
                      124,
                      30,
                      125,
                      199,
                      139,
                      175,
                      143,
                      35,
                      6,
                      59,
                      184,
                      48,
                      170,
                      136,
                      13,
                      73,
                      50,
                      228,
                      35,
                      138,
                      73,
                      66,
                      22
                    ]
                  },
                  {
                    "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": [
                      194,
                      192,
                      218,
                      58,
                      206,
                      7,
                      120,
                      144,
                      33,
                      13,
                      211,
                      79,
                      216,
                      237,
                      205,
                      203,
                      42,
                      23,
                      131,
                      24,
                      127,
                      251,
                      10,
                      2,
                      218,
                      231
                    ]
                  },
                  {
                    "Bytes": [
                      150,
                      58,
                      126,
                      253,
                      228,
                      71,
                      157,
                      152,
                      241,
                      159,
                      7
                    ]
                  },
                  {
                    "Bytes": [
                      127,
                      213,
                      112,
                      163,
                      33,
                      237,
                      196,
                      85,
                      81,
                      179,
                      83,
                      1,
                      243,
                      3,
                      131,
                      115,
                      53,
                      85,
                      227,
                      113,
                      79,
                      37,
                      145,
                      83,
                      176,
                      107,
                      180,
                      223,
                      196,
                      110
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      199,
                      24,
                      52,
                      85,
                      164,
                      193,
                      51,
                      174,
                      39,
                      7,
                      113,
                      134,
                      6,
                      100,
                      182,
                      183,
                      236,
                      50,
                      11,
                      177,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      117,
                      24,
                      231,
                      93,
                      128,
                      127,
                      7,
                      13,
                      145,
                      128,
                      55,
                      192,
                      124,
                      238
                    ]
                  },
                  {
                    "Bytes": [
                      23,
                      91,
                      95,
                      246,
                      72,
                      210,
                      64,
                      224,
                      238,
                      146,
                      225,
                      209,
                      127,
                      245,
                      233,
                      73,
                      173,
                      93,
                      244,
                      134,
                      117,
                      7
                    ]
                  },
                  {
                    "Bytes": [
                      137,
                      135,
                      21,
                      210,
                      210,
                      239,
                      117,
                      207,
                      145,
                      173,
                      72,
                      87,
                      134,
                      174,
                      58,
                      109,
                      232,
                      163,
                      154,
                      148,
                      18,
                      240,
                      88,
                      139,
                      126,
                      104,
                      4,
                      169,
                      229
                    ]
                  },
                  {
                    "Bytes": [
                      238,
                      55,
                      2,
                      110,
                      34,
                      93,
                      233,
                      57,
                      121,
                      221,
                      73,
                      45,
                      30,
                      129,
                      215
                    ]
                  },
                  {
                    "Bytes": [
                      43,
                      165,
                      56,
                      64,
                      108,
                      150,
                      38,
                      43,
                      62,
                      27,
                      148,
                      188,
                      130,
                      210,
                      196,
                      85,
                      2,
                      247,
                      207,
                      37,
                      108,
                      47
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      131,
                      137,
                      141,
                      31,
                      60,
                      3,
                      24,
                      159,
                      240,
                      59,
                      71,
                      29,
                      211,
                      69,
                      105,
                      8,
                      252,
                      164,
                      66,
                      61,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      131,
                      137,
                      141,
                      31,
                      60,
                      3,
                      24,
                      159,
                      240,
                      59,
                      71,
                      29,
                      211,
                      69,
                      105,
                      8,
                      252,
                      164,
                      66,
                      61,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      199,
                      24,
                      52,
                      85,
                      164,
                      193,
                      51,
                      174,
                      39,
                      7,
                      113,
                      134,
                      6,
                      100,
                      182,
                      183,
                      236,
                      50,
                      11,
                      177,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      119,
                      235,
                      181,
                      112,
                      54,
                      208,
                      147,
                      92,
                      198,
                      32,
                      30,
                      154,
                      11,
                      58,
                      190,
                      8,
                      84,
                      206,
                      9,
                      24,
                      135,
                      80,
                      62,
                      197,
                      125,
                      151,
                      213,
                      10,
                      250,
                      44,
                      130
                    ]
                  },
                  {
                    "Bytes": [
                      11,
                      52,
                      114,
                      159,
                      154,
                      20,
                      37,
                      188,
                      255,
                      38,
                      126,
                      212,
                      197,
                      122
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xc1955d4bebce1158d54b2e85c1890cae2e687b1606fddb69fb4f53c88e83ee8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x297",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x11",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd2fcb45b7c6ebfd8ef11d306a19423c04fdfc96f9ab5c922feed792013d4ffc2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x33",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x28f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1f423a9caf49fad7e9a5ced0974cb822c3cf693a089dbde380e3eb68143b4d7f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe88308366999ad229afbae23655f34c28c37845af3d11596da71527bc9f32d23",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x15477f48bba84b9a8a5c28a0fe09c0a27bf3bc1941c0ea70be048d11bd3d0e48",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xbd390771550bbfedb0381815410be3edfafcd25f7a44d203ad7735b2c4722f1e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9cbc8abe51658bf3064bdff4693c23cd223a6f11b415e0e47a113113e388cdb3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x582e6571c8bdd9f2e56cc7abe9b4f4d6bf5ff3f7879579a8a5d7130f9c002cf5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x40",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7777c479db0aa367864be12aaac83ab0905263a8e411cb932d226c2a92d2b1bb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xa9731f0eeaa1881d08bdc5e9a3a0b0b0b17de4632eb555b8d464627dfdb9cc55",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe754643e34556a2a9825870ed641e436620cb50514d2c1f95098aceb209b1042",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdf058c0e2233d964fed8671e40eff0af0975b90e5b26b99e717e1f3fb28d122f",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb122c80ba720d7d1191d5dbc3a3f32622fcc4812d587eb6ddb2fb3259d9dbca1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8ea2b33271933e8ade14b76223dfcfeeb843cc405e47746e8278100b545b8e29",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x04f0081e16d3d5554d8e4bdce4f0a97a53488cf46b30fc26f44fccea56af1b56",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcee3732c0dec4e22e6c7178d5d373d8115f7546f02d8fafe63dd449fd57a70c5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaa5cffe3d5a58a3b9a57d0acdcbe99f0447b1abc6936af17052b7682b0b8210f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x51f45611ba240583c9b9c50a082f3eba3f06eb781b775448e0786909005f726d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x421fcffc695c467c069d1084e00961e9896bb25f274ad554fac4be820e48512f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6f87345c58c9fc16edf51ceed101e8d34c698dc0a039e3d5d991844e3f07f5d1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb632406e0215932719af27d9713d81a2a83ffacc3dce811acee3eb135d151ff9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbcc890cee0c72cf6fcfd53a46d8d928728f4d666d7ac9754db6eaff24b622c62",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x446b386fa65e36d8d8fd19824582a96d7e36832a043a84436586af8603e5ecb6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x19512fecc6732a3c5f85605d568f838679f78c44c0ba734606416f1c43d5538c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbac7f7c27ef7cbbef902c2dfbd9c506cf1d98f492b56d2001994d333c5fcf191",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8b530c20a40a5a6c01833e4f20860e948d8c12912a1d157b32f3ee2cc1492cf9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcc8827b595125e878bc881d314ffa9ad9e41eb174d91c5fe2f80910679d986e0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xed767e2acebf471e4209db7ac1212fdc9e4d1178182c282b940a74fb49ecf0a6",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x3ebb586152f5380408fe5fd2a2bc6cdc0ff3e7bf3a46b07dc8c86461b751ecf7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd7f1167fce8bd4440a418a6fe79ba57925ec1d4715ba390980d2609dcc105c2c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6b571cec4ef175a569ba113ca3ecbc0ee89078a395fe27f5fd9159e4e5ccf3ab",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc77786ce167fb2c48f8dfd7e2c4e700f29f98129fbecafd6e66a9732fae64ddd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdd532c7d4eada643b8b741487132914ca212d938e5471f8ede3e34892f548f70",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xd1b2f10d27e97d637570cec4c9347d62f79b5b4381af4cf7a1097727e3a6cf5f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbac9118e537c2b17047b138bee763eb355a7759db28d26028595cb63e54cc2a5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdda9787ebc94db936114de60dda7287c98229ce6c3811d943b4851ae178fdf61",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8d7c9840d5c90890e64093bf6bd846f6860581910ef4ee2cdf5b6a661421d0cb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x97faa7d05300bce478a5ff9631104bedea47c96f004e2b6431dca222dee1d203",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7215827ea8bfb78bd2b4ad520b58a349207c1a6d974563c6a93c403951e34e89",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x62b9f56fc1cb14fb31da5b0acb5a3be4759c28d0efa750ac090f3d084a92d248",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfbce8ccd7b78a9df18c595484772cb10af480a5958038c91ef6bfe2609d90822",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0668fc181afccf7088a4366b5689f99518c46d87e89d626c27af253e7c478b9b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x691dad86e5591ad587677705f7f2d9f9a15c88131046c04429dae453bd60b672",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb02143aba6521e3aaa4216300e02ed637cc5b6874152db8dcb543fae1483c132",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x25a04b374e8c614960e1afe705df721e7cd7f9c00ea7801f4f50927f7d238e85",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6db0e9ff55dfade34c84a6504fdd06d188011c96f27d816aeec0e6b84c05f418",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x35526e1ee40c5ae7b7de427f4696abd3b8e77aa8deae795598393961f84d72d1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x438780e9704d9de3d757504ffd976ca6945471c11e15dd03e1aeee0c8f99cf90",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xccda4c8d3ffb2db99e0839ae16d491f6b1ba8347196364006abfb6739a498ec3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6bd3addb85ef6997ced26436747037ae696a015ff4e64f955290754fad55ddd4",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe99096af8b921b9dbc3742f2d9b3a93f311e9530aac5ca3ce1a880264e07b23c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0625e2b1a2652e2194a30c42edf34dba6c2bd42a79d6665bac0377ed9e21a23e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xde89ecce57b9cd45515bf3f81d06a9fd2944ed6ccb23c8ffb6251c52ede37530",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x257510fbba76560e3f28f59240cf854cdf02d72bd4af38f1333f78c78f6a5f03",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7d8402d32a499cbe42ca8ce928be4f3387fc6549bad57cd196ee7f3978d9699f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa2bd435f197c21d59a495e63c74c462b15c6bbc7f2834ec661061aaa4c8f7fd2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x460212a14d5b3bada54d3746aa2b877a7d1d2d542da5658d278592104aaeeb32",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xea6cc5bba3dbcb65917383df9868eecb6414b6060490de8d09ac7858497b8de7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd11ea0a206971b4443c029ef712e1865d1f0f24be8b92b05de844c0504fcbff1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9db9207f4a6ff02f96ce072f4ccd5c0a745a7f67e457eaa8a1e72300bdc39ffa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2aad155b3f5deac57763802cf97dc88a19acb304d6210ebab762492822600d1c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7481d1fec32d887e85cd18c97dce535624a5cabd0cb99f0401e4bb156d341081",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x666727bd9379f09ba845debedd782c9e16d6b22f43be41deca7893ca4b7d6840",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xfbcc80206b3a272b53e9c2df3462c5079ac91a6937aa00af77e7182871399b18",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x576b293454fac27516cc30c98bb3ebdefb4d668b9e6ab2e7de2f2a9b74a134dd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x719551341a4bb257ad9f646e29d9a3e7a44b62c5d0e13a028f8135637f47273a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbee647cb2fbd6e85afb95936a0552b7b918be76fa4d107eb8c25b105bae26b69",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x955b5ca63bb78cfd6e5add3d565d04d550408829a2cab1ad55fbcd6be0827da6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9bd5b065a05691031dbd17b0c085e2635ed1226878838af382196960c8fa20e1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x91d25376fb365c57bbd73633c316e8a310cb6d84246225d0149c6a188b872d3d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa381c00e78b9477d292bd3a86eef7367e2ca463f75bc0cb9bb19ceefe986b18e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb2441e10aafc8bfde9896480d6a4c32fe7549d86868030d6960e60a08a7c42b0",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x51a5a48afdefae16511d1fec67d8c602e1e3fc4618dbc2d2f6a99cf554f2a9c4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x47d8b46c2c73a110e1de4e9170a61cdb1de4a6e714d4a3d49e2b86089aaeee7d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0729018e47a997fd60f184cfd62d3e6fbeed9f4321f28035ea359a7dad643a15",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa219a85d8dd62f293a27748188103b683c8893017a43c2ffbab219c454360b41",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc0c7ee860496336c62e052d2e16e908c2c6c0a189246467e305e7bb62628b52e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x45f7bda0296feade711b5c5556efb4f592d0033ae53100740277e9b1f498737c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x93d5e1fe8698a362be9577f469f7d730eac76323aa82eaee169f2d0bc0fa17d0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf54d24b6608007140a40d237f57cf9310450c8d36e87e30b3982954496b891b5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcab62e56bcd28084ca3e0ab38136c59bbe0943c95ee0a61c725ae570dc830fd7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4651f36b47636e8cc1562d3163eca755b07bff4b2dc21ec149dc99b8af7669df",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x403ab5484c5c0950803cb5e565288ad8aad73f6c0afbd988ac92891ee011111b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb6bfdee460cf7d5d69e787264c81d27735d800648474fbe010bb2ed67a2a525e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa289a100add473facf3a9933e02c530ae3a2c253e637806a2fbf6d8e63832447",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5b81e181a85f35936332b11e5a18119725caeccc05b64e785dde081659d995be",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x316827e907a7e700de55396de75e2ee5a174fbcfd0f3edec86b00ae6afec3172",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0c14d47b1b65cb74d64d809a8efc7c21e14e6405cee545f40a71061ef9f89e08",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0d5f322d252fa7760771d4d2b9079f1c5516e35e44590eeb2a9f5b6e88ab7bd9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc787442e18fae5cfb1f15fc4f58a90bcfd5e174aa9e7dbe26555f80e8a75e094",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7b3e23ce94210f45ad3c3717eaa251a3bbb660ca1c74500d66f322e8834752ad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaa8ff0ee1ffc7907c7fce560e8bc3362221e686c1834caa607ded7b8f148d65b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xafcc930ce6560856c7aef52b390ae97a7849f5f8d8804b388df578563e45c493",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x459a139e16f70d2d58838cb37b37f802999081e8d4ddbca0196360485a5be112",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xce984095ce09b32d19d3f3dbfe652bb1520582969e7ee5052522b6a4b094d579",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x50e0b014b7f6f677a9e160417fab9ecdbdf813d3a692db775c6e9f5c25f2120d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5b9b9601f7ee729dd4fb1595d0f2d5cb6658e835f486ccf95e906693b3ea6d5d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0aab81e09d72a937cb8109f433b62297a8077eb7120a8621987c7d65df5d9292",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1ab196673effff852846a83a2e7583c6d8d08f6d8abf2d72c1b0e20d3d675d37",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1420901da8f4d9cb4c497ce97f67a75bd08e5bd0e1d4c3c9a1bb9f81e15561c5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe436dc06bf2805f3596c014468cb11d35ed59bec8bef05633e95c1370aa0186a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0f5617d832b75a543ce7b3a4874934df08b75f84e1b9bbe71d77174c80fa8e5c",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81333,
      36307
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      284641,
      56192
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x555e732c122a48d8cdbe1a7ee70bd70dbeaa3202659eeda323213ab3a9fe0f98",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      132,
      32366
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0xca5f8e02686d0918bcb5de0cf2592acd061a482f8abca75ea0867690f4213249",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31984,
      29274
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3313,
      3817
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46616,
      2170
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      171800,
      46993
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      475696,
      16381
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x41ce7a80408c101bd70f4d1f7fb4b2381534e37e16959c10e1505d6ea3c26a40",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      513,
      188
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4924,
      4122
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64143,
      25045
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0x3eb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      894,
      41183
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6183,
      6821
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0xfffffffe",
              256
            ]
          },
          {
            "Uint": [
              "0xf1a3ff6c94d8fc69e5ee9ac7e71a3dafc2a50ae7ad0f464fee896e6edc0dc8f0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83351,
      49480
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5129,
      56469
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8556,
      43567
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0xe8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38569,
      16203
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x4227189fd0c5b316e689c23d00190d2517d1a24d3d899e15c4738a24d288b856",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      693,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x2dd",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1683,
      49461
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x92e2ce3d9ed33c9c347940454970b0ee95af0c58741a6f67a8cbc1b9e48c1b53",
              256
            ]
          },
          {
            "Uint": [
              "0x21183e48ec1e62db4a65b4a809df56be0acdabac23c3629aa8712a920b20edf4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      568420,
      15256
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0x7b92ad09bb64514e523b8fd72b2b8a0ed51256512c37c1a7918fc41625075347",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66866,
      48768
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56231,
      58438
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35750,
      50269
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      11836
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83612,
      10017
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Uint": [
              "0x80969cebedeaaa58f0064899c591ccd3ca6ac4b38aab724d82e32517597b1b96",
              256
            ]
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31642,
      3299
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7012,
      6134
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2002,
      15877
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7551,
      11460
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xdccb409d1290991f1c51d8c970b8cbec69ecfc9c17eb16e8342cc39396883bd0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81078,
      40528
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23180,
      19654
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20764,
      21357
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0xd74fa86617e035b2d29923ca97bb3d8323300d1f5349c1d772c0d58f63c9cd0c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39637,
      9271
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8878,
      56558
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36352,
      33125
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3249,
      33534
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37701,
      4317
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62355,
      22536
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
              },
              {
                "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
              },
              {
                "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xfe",
                  8
                ]
              },
              {
                "Uint": [
                  "0xae",
                  8
                ]
              },
              {
                "Uint": [
                  "0xec",
                  8
                ]
              },
              {
                "Uint": [
                  "0x2c",
                  8
                ]
              },
              {
                "Uint": [
                  "0x30",
                  8
                ]
              },
              {
                "Uint": [
                  "0x27",
                  8
                ]
              },
              {
                "Uint": [
                  "0x1c",
                  8
                ]
              },
              {
                "Uint": [
                  "0x30",
                  8
                ]
              },
              {
                "Uint": [
                  "0x99",
                  8
                ]
              },
              {
                "Uint": [
                  "0xa4",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe7",
                  8
                ]
              },
              {
                "Uint": [
                  "0x8",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfd",
                  8
                ]
              },
              {
                "Uint": [
                  "0x67",
                  8
                ]
              },
              {
                "Uint": [
                  "0x2c7",
                  8
                ]
              },
              {
                "Uint": [
                  "0xac",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfc",
                  8
                ]
              },
              {
                "Uint": [
                  "0xcf",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe8",
                  8
                ]
              },
              {
                "Uint": [
                  "0x5",
                  8
                ]
              },
              {
                "Uint": [
                  "0x20",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfb",
                  8
                ]
              },
              {
                "Uint": [
                  "0xba",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc0",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82947,
      26080
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Uint": [
              "0xf9da7a9ca7dad0a9317b01f9987cebc9076b92d4beb9267658dca251cd9957d3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28409,
      55690
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65514,
      9206
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x2495727",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31624,
      14976
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Uint": [
              "0x2b7e96bc614ee627a098a699ff9f3212c49844dc42d7516ed3b12ea51c591064",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64155,
      1947
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22565,
      50309
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x812ee3fda57a1a7c5b9a80acd89d2a1bdc9003f9e12eedf5b868cbfe68532afd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25793,
      24215
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x800",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7556,
      28350
    ]
  }
]