[
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Uint": [
              "0xe14",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      491534,
      28439
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0x83",
              256
            ]
          },
          {
            "Uint": [
              "0xe0e",
              256
            ]
          },
          {
            "Uint": [
              "0xe865d73cf69f9aa46f0bde70f21e35ae437e65b73351970e14ce8ff98cfc1f61",
              256
            ]
          },
          {
            "Uint": [
              "0x6b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61355,
      1537
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Uint": [
              "0x4f",
              256
            ]
          },
          {
            "Uint": [
              "0x47ff8ff018e365c59d8b4048bc9fe3bb6ada169af6844acc6be53b8c97f09df4",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      488143,
      26537
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56527,
      21899
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      203825,
      18017
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0x5c7a9be91963e54245f0230b52a1b5fe33ceb00ab0d014bfc2800f97fe535ae2",
              256
            ]
          },
          {
            "Uint": [
              "0x34",
              256
            ]
          },
          {
            "Uint": [
              "0x3824d202c9cc4075fc1cd1f1f4daaded3b33031be7a246ad8b538d96f39d961a",
              256
            ]
          },
          {
            "Uint": [
              "0x10000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13241,
      28591
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x3af",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43421,
      14716
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0x76",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      299545,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          },
          {
            "Address": "0x00000000000000000000000000000004fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5400,
      25029
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      259313,
      59507
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6502,
      24858
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0xf7110b91d7e29439a7a884ccbafa180ddad0389d96f12d0151b1275b7a0e1529",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66346,
      1961
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74684,
      11169
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2602,
      59702
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3933,
      19974
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          },
          {
            "Uint": [
              "0x9a21c4017f1d63493cc705cd0656212f14286937809494f781c40c7d617859f6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8,
      29574
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19241,
      9049
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82779,
      16522
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      218440,
      13066
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0xda46bbbd8d48df1c4c34243d35643432794fab41205322da0ec8ddc7e1c6b324",
              256
            ]
          },
          {
            "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      390897,
      3575
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      601458,
      85
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4883,
      23454
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7828,
      22180
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0xe5174934757df467685a881a4dfab94507b88f3f72988c0b3eb1703ee5b12265",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4026,
      53471
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42144,
      59243
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x87264e01f156795b9d02b236aa048e33c1166b3793d0922cfc3bc7155cf1671e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55331,
      56414
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          },
          {
            "Uint": [
              "0x1e847d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5424,
      7150
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x6982c4e069b37a17dfb85b11058697c52dd93603b95b3d8dde6b42fd7a845a6",
              256
            ]
          },
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81067,
      41545
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x32",
              256
            ]
          },
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5456,
      54179
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x80",
              256
            ]
          },
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41277,
      27239
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39715,
      17144
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x1e847d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64892,
      40919
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6364,
      9476
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540",
        "args": [
          {
            "Uint": [
              "0xc8",
              8
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x43",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3793,
      37546
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x3584dab8b80076061a390e9be2d5b679ce0a4758ad48e880256c640fbed301d1",
              256
            ]
          },
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7645,
      19668
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xc01b86b2e2491bc49211b832c866a92db085e2a974bdbce1ee354cf50fb51b8a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38735,
      4151
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x1d",
              256
            ]
          },
          {
            "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28665,
      9702
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53319,
      2086
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0x8aa680ee32c8d43a6d7041762feb4b1674087394eff1eebf3e293e473101d190",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33860,
      28692
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0xcc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74201,
      6226
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0x77",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5002,
      14400
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7068,
      58548
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          },
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Uint": [
              "0xb19457d2ee3cda24561ad6bf191a01b46eaa1bc5c693c0811f52eb24a42350d2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81606,
      11608
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58950,
      30553
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23764,
      19657
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Uint": [
              "0x3270e7a2f0fb428ed4f99612bef9d965f457274881bc0c7decd6f42de46e3442",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79303,
      15238
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x19",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74070,
      4626
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30143,
      8026
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x5d",
              8
            ]
          },
          {
            "Address": "0x5945235b8628d75c5c474e61b7e93fb6f6a65dde"
          },
          {
            "Uint": [
              "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b209f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37888,
      40300
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0xfe",
              256
            ]
          },
          {
            "Address": "0x56af2776901736769fd9910c091d87b55863da76"
          },
          {
            "Address": "0xbb7026332637c56e75084f9d48ae42dfad88cd72"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6686,
      36588
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0x658d07fdcc214ce15d47747ec4d52ca8bc608be655a875650e3de150c2fe760",
              256
            ]
          },
          {
            "Uint": [
              "0xb3404e50103bf7f3f21e1582678410e1c903e84adef142b55a1e48b482169824",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82932,
      28129
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x7760fb12f1a4d2b06a30b1b4f938079548d07052819b1393b972cdf827276c85",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78593,
      25918
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xbb8c7e833f05892c9104e95aec2dd10ef67e4dd6e18c88d3de885d979d068be8",
              256
            ]
          },
          {
            "Address": "0x5b05e09e989164d73f4061e4b94ec4f0e74a466c"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      583090,
      15856
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x8cb09b384b3867e0d1cd6365d8b309dfa96d3f61a964e1bf4491a90f56628c67",
              256
            ]
          },
          {
            "Address": "0x2b491d13c21ff8f2775f2f4a54cc0e6118d3f54f"
          },
          {
            "Address": "0x47d15bc0a5dfe467515b568912f0718b30122882"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83035,
      39620
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x4939532cc892f7c0e6dc5df532e9666f47221b6d"
          },
          {
            "Uint": [
              "0x3e7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1513,
      25402
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6736,
      44121
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Uint": [
              "0xc7d16e8b4f7bd41c3cc955c0cb46155ef1c26987b22eb4369212b1aeba6ede7e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86417,
      14647
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0x2f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80174,
      5415
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      271184,
      14673
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34394,
      46733
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0x2a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      8057
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      381010,
      43061
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x7e9b277e7fbfb648affabfe40d3cceb4958017f1ca1464410552b7900630df6e",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36157,
      28590
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7889,
      30731
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79297,
      1057
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x30",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43334,
      41466
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      128413,
      58178
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x0a67c7e812ce4df3c7d815e1275af26681e9e56511ca1231f90e52e3dbbb2218",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17783,
      39151
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58031,
      10223
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17923,
      19568
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b209e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      39079
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3644,
      10868
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37311,
      21593
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80030,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0x882c32f9ed6178ff143fd61dacffac64c03d7b10a02abcb92d75dbbe032575a7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80316,
      5354
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14962,
      60196
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      1285
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x6987abcf75255f7f2cf9b242a4f0ed42c88cec759c9e4ab00de6d88292b90b0d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      322211,
      5557
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3281,
      800
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x2a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      234617,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x21",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6420,
      38605
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Address": "0x0000000000000000000000000000000000000000"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45404,
      19883
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0x23",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39617,
      10172
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      124949,
      4593
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
          },
          {
            "Uint": [
              "0x7ce",
              256
            ]
          },
          {
            "Uint": [
              "0x619ebe09c1422446e607920b590f3975341a6a3bfee1cdf5ec79acd4c7e35581",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11867,
      30111
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Address": "0x7d67f72d687e14650618e2ff2ee1ef88246260a5"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      158176,
      18390
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0x91b56551df906c01f3a3c8b9561d016f9bceb6dd864c17d74bed9ae2f7817a38",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      40591
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65059,
      19865
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x35",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35268,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          },
          {
            "Address": "0x51eec9f34be9510b53800760b05337823bf477ae"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      439888,
      2729
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x99e5b45c5b27eeb724c405cf052609783e94b6738a77994c64039bc89190b093",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74889,
      45945
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0xa4da4364d01c1f073e78e3df5ecce954241267662b64df11b0cee23cc9a017e3",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1039,
      6938
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      218,
                      230,
                      103,
                      220,
                      89,
                      147,
                      72,
                      4,
                      4,
                      121,
                      64
                    ]
                  },
                  {
                    "Bytes": [
                      152,
                      63,
                      110,
                      163
                    ]
                  },
                  {
                    "Bytes": [
                      84,
                      124,
                      0,
                      240,
                      160,
                      164,
                      202
                    ]
                  },
                  {
                    "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,
                      48,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      23,
                      187
                    ]
                  },
                  {
                    "Bytes": []
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      160,
                      203,
                      136,
                      151,
                      7,
                      212,
                      38,
                      167,
                      163,
                      134,
                      135,
                      10,
                      3,
                      188,
                      112,
                      209,
                      176,
                      105,
                      117,
                      152,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      212,
                      201
                    ]
                  },
                  {
                    "Bytes": [
                      228,
                      218,
                      0,
                      188,
                      67,
                      76,
                      255,
                      178,
                      252,
                      121,
                      85,
                      216,
                      30,
                      83,
                      23,
                      128,
                      128,
                      188,
                      62,
                      231,
                      108,
                      224,
                      28,
                      62,
                      40,
                      119
                    ]
                  },
                  {
                    "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,
                      102,
                      204,
                      131,
                      235,
                      218,
                      254,
                      84,
                      107,
                      148,
                      230,
                      154,
                      229,
                      89,
                      121,
                      125,
                      221,
                      181,
                      193,
                      202,
                      61,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      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": [
                      235,
                      152,
                      67,
                      114,
                      36,
                      5,
                      64,
                      48,
                      35,
                      127,
                      244,
                      242,
                      35,
                      155,
                      58,
                      29,
                      136,
                      144,
                      9,
                      205,
                      171,
                      230,
                      78,
                      0,
                      225,
                      158,
                      76
                    ]
                  },
                  {
                    "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,
                      1,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      5,
                      212,
                      140,
                      116,
                      14,
                      139,
                      216,
                      225,
                      16,
                      69,
                      156,
                      150,
                      25,
                      18,
                      204,
                      142,
                      17,
                      35,
                      76,
                      178,
                      65,
                      204,
                      218,
                      61,
                      73,
                      154,
                      34,
                      177,
                      12,
                      119,
                      103
                    ]
                  },
                  {
                    "Bytes": [
                      142,
                      144,
                      0,
                      254,
                      21,
                      199,
                      82,
                      18,
                      78,
                      56,
                      187,
                      121,
                      112,
                      101,
                      94,
                      192,
                      15
                    ]
                  },
                  {
                    "Bytes": []
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      199,
                      24,
                      52,
                      85,
                      164,
                      193,
                      51,
                      174,
                      39,
                      7,
                      113,
                      134,
                      6,
                      100,
                      182,
                      183,
                      236,
                      50,
                      11,
                      177,
                      163,
                      9,
                      226,
                      103,
                      234,
                      63,
                      35,
                      230,
                      63,
                      12,
                      51,
                      214,
                      19,
                      152,
                      220,
                      159,
                      59,
                      155,
                      18,
                      187,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      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": [
                      29,
                      45,
                      47,
                      233,
                      12,
                      165,
                      176,
                      205
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      233,
                      22,
                      202,
                      219,
                      18,
                      196,
                      147,
                      137,
                      228,
                      135,
                      235,
                      30,
                      129,
                      148,
                      177,
                      69,
                      155,
                      41,
                      176,
                      236,
                      233,
                      72,
                      131,
                      69,
                      63,
                      65,
                      83,
                      44,
                      110,
                      116,
                      51,
                      111,
                      5,
                      71,
                      31,
                      131,
                      16,
                      16,
                      206,
                      193,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x4f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x101",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa0be763592f8f9c8c78a201ddc7e17c4fd4e47176db2fb794c019e2b1d6b994f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8d32a413b3a22e5c170b0b31f25fe17bc17007a037851b50b4cf6c3199a0698f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb6ac76c9c24f88843178cb64df295c33eaf0ff8c67c6a93378010e7ada95000a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x507175365c5e4ab037960ca62b3c377c8cef8a1f1decb734c05c5b25feb4dfa4",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x5578c8d29fd203665d92f024485a0c69b6af41e99f48e1adc401df5ad51a729d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1784084dceb986cf0f12fa8de96505017f948568b218de3ab79d9c346db91e23",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5b72f52a629327461fb696150b66e71c8121fcd78419a70d978d585c85195798",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa2a18f85ff52cc2cc5ef74da52076206226cf613ed7a7ac71b1256f0bf26fc2d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5312a9d5cff11ca789c22d3a651c3ea238cabd6a30e696ed3fc39dacd4e63345",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfec287f7a7d5eea828eb7ed6c1b37ad8ac5b161d9cf19ad7bf6fbf92b0b09c77",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x253cbe065e9098bf42204e1ae2bc9bfa142d2fa37be21c4ad2f5b8d76817ea80",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa9dfc99730386663f41df5a3f5420da93e66d4773dc69325b5135fb144945aa3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe6e9d39fdaa14b3491b0709ed837210f22a0ccf4a21f5570d9595ab963fdd8d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb13f58636d9246eb92bbe90e8f647033d34c57c182e35b4042ab3be1b9435a31",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd61c475674ce6d10811bc30a4b60f437fffe9ba19ee5647b6a8f8972f1eb9255",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x60add3210ce3f087c185d9b77f1b0716c46e06ac0b625041a4126c5a9896ded6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbb47d75033a767650f1a1b75154fdfb99830d167dd5afa63e34dddfb15a5c0ff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x667181e8386b46cb8bbf66d6fea029a75153eb9a13118d1d7ecb4d1dbe335887",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x45fcb7fe0882927d76b441a079b8ddd692dc56b3536199233cc493ab3a7e62bf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6bdf856e23135f85cabd11c03bf2f4d12f4aac3a05aa721e3d9a1e93555a74d6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4b9410aeba4517a0d3e876f512eed6149c49e560e9f50bf007543977d3671c32",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe68ae62e7efac90752e32d1a01cef6c7ffc0f29991a838ea57d5b29acce34975",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x56b10baa74bbbd6b3b1b72641873611f7e0d8a95c4eceb4f2713d8cca73f661f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x268544547cdd357d8ab22eb5639bd7d465841275bcc5abccf2bfadc980bd47e4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc9d52ddc00051d58c6e7688371ec86d532c853cd5d08a2973ee2c246134e1a21",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x23a14a6ddffa434609e83546cf876c01f5cc196c0091db6fd76be9095d9853e1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x39b8c62a088a0d7cd64b94a4ca59cdfbb426bde8e6046e7aaf07bc91146d11fb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbf2f0403ec58a85c75a9b14869504b5ce8cba795a8509c7b9c2ebbf03fdf0e1f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x984f28ed431c164cb85d8bc7e14e291166f1a4ed44d89836e90206c0da76dfb4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1f4da972ddfe348a514fc01dc837add5c97f8e2d3ada3747817ce8f45fcdbf70",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb0634d632b829e92f700a467d7987a181c4650e72290df6bae1257dc6fd84a7b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe98479df4dfce84953ca531900d647b04a26d7e57c2eeaa083de1cc296beb28a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xac7fe52e17002d6c3375d045bd312bc570430915d3bbe3a5609b8af106468531",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x880cc8a70335409a5a909104cd266bdd0b0bbbead23e1d45890765f9a72746fa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa0725312a626d2b9556d57240c7c565349de662f28901361a0c59db278e008b0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x27b26a0c391e77476bcedf4681478126e010a2bc53397ac4233a8a3c4cc3fb02",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x639e95abcf149ee1d0629b185f2ced38adaf0f5b7afbd956795abfe26853d37c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd3559881043b9b3fc8c5de590fb24df46e231bdf12d9c243c456850b579badca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x38de9726311eee975871b401641eeaf975bd46879f5fb8a093a1cbd1d9272ad1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5469631dae8c3922ab795371666831942d9f6b9c21e538ded109cce8bb7932a4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x76875200d9f6ad8b13b334bdd377a8a816e8fa5c4daff8be2a073183d76440a0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa7354d5677df36b3a1484f1c6751d80c7bc78ad8fb78bb3fb636624fe2128a24",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7bf5779086678ffba489763f031e43b3212d9261557bd7ac6b9492ba2a291332",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x47cf5000e9f16847e152935b7495f1937f748843274b7b7dd2c81ce5f4726fe4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x36308ff2a099268549daab467bed8c9257959ab862e45cf6ebd029bd7e447220",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8351445d990a3f2d5acad21a851215f0f903431377acdacd8c30d6f673e96940",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa04968db6d8e7babd764e075c7a6e5a15e2a48e5f982d7125fcfba350fe92021",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x94dd8eb08e85cc3836c2d3861c4c1d97f9bd77af25286474a25ca5dace1582ed",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2f6e50d8a0f44b6b2efbc0a18ee531ca8724fbad5ae44aa9bd9b612366c81437",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc5bc0b9928c12acee8dda307713dbf34c483d006c866a90d79e83dd450add568",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf1a540c634baa998bbe2ab2c1ac543154e09510f5cd5adbc59ba12a721adfd07",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xfe2634a53b38efd3dac97ce58753b99667604a189edfa83e779378453a34006a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe211d2af304746047702d25a263827a0cc8c2fe5d7a69fb3817a09a6ff36dead",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x92d8d7e95ba7947e9bcf279b266bc18f4389ec6e31a57a5f0756e966f8eabc18",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x497417090655e3afc60de3a57aa462621223b59e739c1c35b40a15a321ea9071",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc8fd7b0c897c5078f0325585cdc7533fad030b40b7e6842de42b0894d277f50b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4f6d912c236640b37e70473af23676ed204aea805f5f575f3ff5991c872343bf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x31c28af2c35248cbb375552b4e8538b3f8ec234c7e2ebcb931ace26bd1649b04",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7add6ef13dee6aee3f3689ccb021aded1c563cb924deacc4726e49528704f115",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x63b3e5b4c4b61e82afff86a5e054cdb74d802306312e1b7a4bb5f9606892908c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbeabb34c5b1ab70a7a2ac9885ca7041cdbbf5d5c9a1f5f8440de4d2e7251c231",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa7751722c675373df5a25ed9fea31e91665f5df3b1e56a8740bd0d5075e6edc2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd7022fde4af4363397d97cc58dda4e5bdcc5861bce9e4c0ec2632395453ccc78",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd980cb8426720530dce4b540659ef6bb8361677e8f8cfb6726f2a0b56a2a87f6",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xa5ae0071886ad09812f9f5bbaa0c715551cd86e05d775569175aaffe63fd460a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaff96ca5d5cc24265b88e3d18aa08c4b00bfbf71322cb42afc4f4df225e4df68",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb576c1d0aa784942f021a70ec8b53ebf0c7e90c4c275bacbfc09d107999b1002",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x81afebb7d96ea477f2d88b2b20faf6d0a5ff0975df47b5e0460d1452ed3e26e7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf9d3508be2fa002f3a4bf2602c68b8f189c5b2c4af60af3549c2a5971153cbef",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8d3a79e8c03d84377f6d47d3618c32742dca0a3e91a1c80c469bb796b61de196",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5155aafd33919bbdc03a62a8c0f86b415e09c0717a5f3a4f17b1d8ad69e71f4b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x98a38fac6ed10dddf3b340eee9b4ae4bb2895ed5170c67061cfa7b848717ce1f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x61648207111cd93ed5033ffbb76404babed9cafed929f840e76e7d89e0e668aa",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x2153a7a13799bad334355bb7c488d19232f3379e2770fb6010e6e42a54f19b27",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdffd237a02c039df1f4ed360f5e1b5cb5bdf968a8b7c6ac7f2ae008e3384ca69",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x174338b5128e3f67fb81e8754dfbac641fa38c8581ca8008f1486e9dd2eb75f0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x78b417c6f898893dd9fe85d45442fbeb9c8c15179f4e83512cff50d6a187b109",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xebeef3396bc1b137f4a016d4bae9a5f50bc69c6a65eb60b06564c5434b3435e6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x57370b057f2949f4d02ff95b3565468813c6f7ccf3c5f547485614d2b26edb0a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x06d92e07c3c2f02cb59be4098334d59758645a4c72870e0d54b76a2014db0998",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4722769b6b62ea2d2a2ddce93b9a5694872fd0bbe7fefc9e5dbb0f86d27bf064",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf1eaf25b1b73c990d6b7439e4b182795abb841fb55e382d062cc792a91d0908d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x44dfa3eedb4773ce51dca4c6194c9fdf6f412aad565d6c01ffd5a769f0c507a9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0c3132225f60b78df837b4427df45b21310b5406ccaa4b8b28d79a004c93a159",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf5416bf7eb8e41dfdaada095d63acb7a0c28e714e61c15e591cd16fc19a34fb2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x841dfc3107c00cb6085b26aa04507e7e8e40219dc6862f164815c9e5d353f046",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x5a0c4ccd056da085a1bdcc8c532cbd44322811e7053aab69681e31b0fab2ed41",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe945d749fb00c6f5864069496e6aa259d79f90ac4493ec053fc6d87c894901a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa36b8a4670a0fb7dc17c7c81260fc5cadf2d6ebd3960df7dcb460e11323939ac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xca40e8d30379044c189fb439640a3d93d544aa1d9d6c081f9398d00a8a3059cc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdf0f46c9caefd0558ebdbcde8c614979d660d626528a5786b1b9eb1531087a23",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x47295f99f0ce8c8c8beef3914de5226682cd758a5cf1383e6faafe89575128ea",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaa266410b0450f2796cb55fe2721b94f949a545a3cfcc292159e7a6ac8cf1420",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb1315f251701f19bad7ec2df22ae957e4608ed62342e408abcd6cae1b918318a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe25561b8afb6e1249afe9586421138df33b7ecf8ad83092914c34e94500bfc7a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x344d0675df3f919acd2ee9667d95fb3858899a170ea94992de9b8bcd9bb451ae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5a1e26b79da19b30da34cb8e121dbdaa5309823a7eebf31076e71843bd478f48",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x01d158bb4991084f0a69b0b9a9fdbec0a18c5a2cfd3c86d58cf4b194d443af3e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf6fb31f578db84c25b67fb956f79622ce7570b1ad602c87f927691d910fc7d65",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4bab93f5b46a2a550cf817dc4321ba923677437d6dac5efb5d5d1277c53afdef",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xafadbd734078ce6f7fedee9c1b71f0bf761f2077cc9b902fba037ca42e06799e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6c79d044dc7537b1fde1df574d0af3d1ecf15f4f07068686d165d25730b17f07",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcb8eb63f7fec028e0f8da4445cb31a0a1269bb65caf24f59c4027161612f4a9e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xce105839f753375d6669fd21f389c8ef971acd1a1086196caf694b3db4a8304a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf12c471e00f823c9f5ab96ab00e93e656641e8339ea41d6863684df33fe5e657",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x88c50cc52b8debf6ce2e743b3af601082d04c5f3598298ec35213558a146bf9b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc6597096928830038b3b1a992199bbac626e7cb833818abe91a5556ab6ba946c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8536217ae00813cb886f2a47efdc2f864c1cd793dfc594a723fa4f57f9221267",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x791216da0681070bbbe57c14402e58dc5c7c9324d45f65e248cb9c6bf2aa9ccc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x64eda92e7d48e306127ddaf120a90b9032a87f361009d2c1bdd740521f82839f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1d3f737782f94e66ed824a00029cc9443a859d0a32c01f4f9e759ad720ed4b2b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0cc5e586f22ebbe4dca33c8de19046e731ce7bee622bea7b14e200330fe0e490",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x98c08765986a6c7c173b722b3f069bc7f2d6a30f6a10c07ed7cc6c34c9d70ef9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x173a5c5cf0b9a2b6ea342036a445fb10d1d2461423ff3fe958c7adbf5999a138",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x040825e5c8212029b02c148788b28a5670f59cd54dedb9fd83ca71885c0f64bb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x512b0aee4778a87d615293fc1f403ee1a732c450d95ac45dbd16e18ccc4c06ee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa8f73b3ea2a345bf41c64600ef9920fdb9b784f14cc61b01dc58ff908efecadc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0aed3d518dd84d9dea69007650aa033f719205aa60d8666241eca81ff05ae15a",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xbe233d9bdeec6568e6f484bf7fc77b139d5e8505bef82a5cbf946d1dab463f69",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdea0626fb8b0f0d04ba5da7bf3c9cd20ce8db76e6d3f2e9f68ecfd06ff9645fa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x14b0194e045481eb4aede11f79bff3be387ed96d4ca330257a1c33183216601f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe0dbcb0d755aa948dc08cbabd4bf91ee5bd93962b4e0559d7c1bceb0733a2386",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1b508449d9dedeba1d5f81b3ef7801d280b2bfa47cb57af3eae36aa1bc54d70d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x42be6a13b9436b0f1b0950eeaf8d672f6c441e851b36debbcd88f28523c1af04",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf6a21173d2dc455fa758dd09d760fceff5347f69e05d1c5c61af21db9207b7c3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc306bc80d52123182af48434dfd2923769823e96ee962eb462bcf907ccc0f3ae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x00ce6b453e2588b276781a0efeb9a6e84dc3af21a82d13d08303c1197d9cdab2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2925e022833802d8780452509d2de01adb2d292f8470a3564e05f17ab59e376a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdc69b2a8af2ca0ac636f2163513bd7dd54df46e4529e4f5bbf6538f4f47cf5e4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb78d661d1c20561176f0fe7baebff164ad2e4305fed8f4288ecb531f4f4ebd68",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe6c340552e6dd23d5fac24b6a52cd5866f327e15a872f77b560d1f35b267794e",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x6b7bb0a92f362e9974283795449b0517e88b3327d696bfc75424972389bcb99a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9fd560ada24c803244846cc95390c5d5eb5aa02cd12e46d0260a51b9574d8bcf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf47b8c42493d90da3eea89e6e2072cc39f7aba127d986c63b743a0c62e9070d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaf83993ad0f1d8a3eede5fda7a37630d428f66cfc86d9c6a2a1a175a32ab577e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdc0c53eb374f20605c6736cc0a7a02f8d4108b84af3736dbbc674f0d3b97f199",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5abbf62aa3913c3f2ffe584e90dff9ccf10fff7fe0b4b5bc80975645f283d44f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0e8cf7078248242756c3b046f18f73c58bba1203c95ca4207fe1fbeb03c22870",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x849267f1f0c4d5843a96b7426822b4278d741fd5f6d2e25fd07133c9b1478ae2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x25823bdc13e3cc78c9c9623788851fa594f5a76615a2866ca72d9f2363b8d7de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9e51206a249b09446f679dd765e5378cbfb881e829c259a5ac1bdb9fa590a167",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8874bc4e4deee03d394ed9441a74bb6ad5043ad4f75d6944d332e7698fb54b22",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x1f077151530853c8d",
    "delay": [
      3027,
      14717
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
          },
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      22182
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      326409,
      55679
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0x7acb3b4eb60c5857f6161dafbe6f462718cb142bf822741a5e970d3da86ff67f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24804,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x1d191a45dd360c952f915908ee38c1114ecc88df0e16ef0a64bee",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85943,
      12656
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x4611c668a83f574ed695f1d60e55797e2fb886985fa946e017bbc20d646d25b2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42925,
      37523
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0xe3888b5e2611ce0047e00bb2391df00a9b1fa50f"
          },
          {
            "Address": "0xe3888b5e2611ce0047e00bb2391df00a9b1fa50f"
          },
          {
            "Uint": [
              "0x5f5e103",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      379165,
      38864
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x31",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43515,
      23789
    ]
  }
]