[
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0x4d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7167,
      23879
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0x48",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46296,
      44347
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x5aaffdc4989328f889b3def4a90cb992ee1eb47cc3fddf889bf6c238a4b4f863",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2144,
      25870
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0xadab391dc026437be20d18eed4a7a195e30cd0a76cb1dad3f88a49c4eac51cae",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1850,
      12211
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47069,
      22668
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xb4dad7a34ba38d7b2b72f311a8f3934a4b2b8ebd6f063045dde9527c8207d232",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63156,
      926
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x1fffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30927,
      16421
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x3d301a2c17e1cc272ab54cc87abed0a5f5a9031941966d51037a2142e86e6eaa",
              256
            ]
          },
          {
            "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      192437,
      24859
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0xcfede2d3bbd81b4a037b9deb66b6a151b7f41d4df09a914187e05da02e09645a",
              256
            ]
          },
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26203,
      14173
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x15",
              256
            ]
          },
          {
            "Uint": [
              "0x76114757a124bd5d390ba5608a09dbbab9dd33196c2c0910286aedf5fc06c3ab",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57743,
      6849
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x15",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc2",
                  8
                ]
              },
              {
                "Uint": [
                  "0x49",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfa",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfe",
                  8
                ]
              },
              {
                "Uint": [
                  "0xd8",
                  8
                ]
              },
              {
                "Uint": [
                  "0xa9",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30964,
      20602
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x61",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73835,
      15115
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70534,
      22850
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          },
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      444153,
      6384
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      155101,
      20036
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x25b815f9f0292bacdc5aed31144ad889cc48f1d4d6f78ecc1242f9b1b3a03884",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4814,
      555
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      298914,
      6315
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x1dbc3fdaeffc3c7e46df5cc78dd2a0f5e121f7e",
              256
            ]
          },
          {
            "Uint": [
              "0x4f",
              256
            ]
          },
          {
            "Uint": [
              "0xf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      470051,
      1157
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      298249,
      10544
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      299062,
      33084
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          },
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      194755,
      50610
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          },
          {
            "Uint": [
              "0x0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57384,
      45256
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6923,
      3232
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2413,
      52503
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
              },
              {
                "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
              },
              {
                "Address": "0x55ed2f75f59ec8e3b6dbacd90f4870b034c09cfa"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
              },
              {
                "Address": "0xa309e267ea3f23e63f0c33d61398dc9f3b9b12bb"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x1c",
                  8
                ]
              },
              {
                "Uint": [
                  "0x27",
                  8
                ]
              },
              {
                "Uint": [
                  "0xff",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfd",
                  8
                ]
              },
              {
                "Uint": [
                  "0x5c",
                  8
                ]
              },
              {
                "Uint": [
                  "0x7",
                  8
                ]
              },
              {
                "Uint": [
                  "0x68",
                  8
                ]
              },
              {
                "Uint": [
                  "0x74",
                  8
                ]
              },
              {
                "Uint": [
                  "0x188",
                  8
                ]
              },
              {
                "Uint": [
                  "0x88",
                  8
                ]
              },
              {
                "Uint": [
                  "0x8c",
                  8
                ]
              },
              {
                "Uint": [
                  "0xb2",
                  8
                ]
              },
              {
                "Uint": [
                  "0x8b",
                  8
                ]
              },
              {
                "Uint": [
                  "0xac",
                  8
                ]
              },
              {
                "Uint": [
                  "0x145",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x97",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x13",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x1f",
                  8
                ]
              },
              {
                "Uint": [
                  "0x7e",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfa",
                  8
                ]
              },
              {
                "Uint": [
                  "0x60",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc",
                  8
                ]
              },
              {
                "Uint": [
                  "0xf4",
                  8
                ]
              },
              {
                "Uint": [
                  "0x71",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4773,
      40923
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6778,
      23783
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0xee75f2e83791e29cf5873a3cd05e249bdb77bda5"
          },
          {
            "Uint": [
              "0x1b60f1a9d26f7d082fc121a71acb40d2b80a42c1a6d2e80dcd7901198e86e5b2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40033,
      8327
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Uint": [
              "0x231ca702394777526a04cbfb9067903a1dafacd9a69fbcc09f11c7ebbf1da527",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x7b",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      482,
      49337
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xf0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36838,
      3642
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6583,
      15304
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58951,
      2021
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82505,
      37148
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x992682460c176db669eec439b55cda0f51579ed2cd69dd4a36454372de60549a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41204,
      4144
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63469,
      42352
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67502,
      23696
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73960,
      9032
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0xa0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x73",
                  256
                ]
              },
              {
                "Uint": [
                  "0x35",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa83eb856e0948b4135a0a6bc51f391c21da97be935982f60417e2c358a3bffeb",
                  256
                ]
              },
              {
                "Uint": [
                  "0x6f",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc77383a42827088ed9e1519b50f9ac6b14f3d188aceb1d6d7856c121a9c7df5",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb50de56af8b65c093aa2834c37fc2953ad2c25a23d939625f2c5090a59389ae3",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x5e39",
    "delay": [
      30174,
      24125
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000003"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66025,
      5309
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  },
                  {
                    "Address": "0x152f34ffaf759513b0042e83bda5f67b3e825732"
                  },
                  {
                    "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x152f34ffaf759513b0042e83bda5f67b3e825732"
                  },
                  {
                    "Address": "0x3450a15dc9cbdd5c0e28cc22474d88ad7e2695a3"
                  },
                  {
                    "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
                  },
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "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,
                      6,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      6,
                      0
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xe620df4d3894bb2eb6a77c3d073cf86423894acd7782e016498ab9e9b6847a12",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x83b9a89b2863941c7be13498ec990ec0930dd6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7e91a38e0210905f960ada570dfae28b5e7fc2c2df5a94f986d4d54c54144fe6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xeb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf543ba6f69f61c78f80cb39eabdfc0e29b4a026ac8492128c41059219db1f0bd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2e8450e1399d6d9bf0e69e957dc4430bc6fb6dc22735c865bd182c82de5d1f7c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x67b160a4650a36f8f4370d2b7392600333e081b7c827addcd30b9fe1067c4d48",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe40082061a033dbafa0ee865d7cc3c588605f887a726c0a58549dfb198bddce5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x45",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x83",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xcb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x27e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x10",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x69",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x6baf029471bc7565ddb6ceff81ef167858533901aa18e0c8cc76e4ec521bbf7f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6baf029471bc7565ddb6ceff81ef167858533901aa18e0c8cc76e4ec521bbf7f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf47ae9edf815a831c74b57a52fd1af7d5d8d96ee74decd16db44d360d0fde5ff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa384bb4962af4f36e64ae9d755e107045237ded718394f114f1df673c65ace2f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb070d13d9131ce0afc38ed94fc0afae4279980754033362c4010e439518b5f9e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8de4900b8ef46807808d4b140c1db836f7c5ec5114935fecfd723d21c93957ab",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb76418afd1206efbd60ad21ae7aa5db004534a23757c121a6af794631bebf47a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe38186afc6300a90ecde46017168b5889da88c06534ec71c9cd0abbb6a98039c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf34b9276cd668ecdafc7868a4a71405a23dd3160eaa54444bda1bc317aae0b3d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x46987e1744b13ae982d448fd39f987042ac28d4f1b31892b2da7ccd1fe8b65a8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x68259c1e68eeb8b0c7416cd19d76bbe261996b5a853e8e58b0a8b6d51457bae2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8e7761d2812bed9644aca31fb22a99588d80540cf4f73c5e40b4056bbac662d7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5db2cde40415ad9fc8e662b28b633b0630c3b88bb696bd4d1441a66292ea7062",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x93ab344355ea37068298fb96649149b1b24418d6bd95cd45cc813db6db3dae64",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x40b3c079a9281f0fb246618a30d2237b204f04502df58f8e3bb385bacf27d088",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x186ea9a9bc61ddf14b5ce65ee42d62f4e903b41c4d8891b9712839d321604398",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb7e009485a070e8a8b2343b1d35055be66aa57e9392c2ed3ce5509feef4ce9a9",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x1e22a8f10622508dff45bb3ea6b00a41ed1b21e91d9c0aa928812aafe78fb2a5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x10a406ce2be641f1cf04b8168737bbd01752346b31688defac56b6f7666af1b4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd6a02715539f3792f2c7ed5731a70531422a9af4180b5cf20ce8a8a32c52da8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5d5e70430b08e4b09dabd944032c9f6b655bd0e3619e80b2b10f6fb284a9bf73",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30ac215dab0e3cdb279b29f7a1f07f593072ed533bf0740f72a5efe650d671f1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa2790ddb2ec4acc1db225ed4da53e35811d37e74045136c434c45666be1f63a0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x58d2706ffda849c0e365ea45ba74070f48ab82be6559c992be64025e606bab82",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x098da6af9b7420efde3add48f22370d01e6ad062a072adf10285f1b0aea0cff6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd025290230b97b4c84d4928c98132ea3fd023aa5362613cb67d13b18c386245",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8f7a0e03570dd38983d325fe74a99707a1cfdd3c9c725a6df086f353705ff553",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6239154258744b8a2ce230670f2215a419e520ec6271530e9b914e83759e9e2f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x031e191198854b8d936af89d72cf8af881965b662c5b021fd67fd9675c226962",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x12f92ccd8415f41e661184c2e2fc628278f693eeee946aa763fbe85b273588aa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa6fe92a3538d2dac2681806e6a74e0c976f1d222676029e12d8347ee352b7b6c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5a978ffd2350ce6ac58148ec13fa47988da4cdad6fdbd0c77fc07b94a094679b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6b8606d6f9ef59df2f04880c75737c20b65dd034368784c57a5204810c800eee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x446bb66cc1ac1427ddfab22449ceba2d70a53443e139b63cad5918ffe02c537b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x93a153dfdef4985dc7b9fbf0f5fbc13b0f0b2f6044c9dc22a857bf60d6ff084c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1cc64c2efa57f2cd2783b33809b3e97718cca53e568025624dad15694f456327",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x63ddcfa49d1956e8f18f69c811fec57382a07acd490a8ba39c8a0454a69808e7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x16e08b9d83fb821b30544283e7a4f53a5b301c240d54e31fbc7b77b6d7acaf12",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xd6aa5fc0c7fbfb01776918445355d890802778021a40480cc7e911f2726ae154",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5667b122ab49e5a57d457b30730d963bb23fac309fe0e38cf02c1431fb99cc22",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4b61d19724cf586cceda09897e7c5e582ba314729f16e2d51d0c58c00bc4f3d1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfabd88bacc92f7558587272eff9eee42986a808bcc8ad073ae65ea4970dc078e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x03c4e122b4695a5152c76a0d888c4e5d21201a0b2f2f4c9bfd593ee551c3e6b6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc7808f97bbc4f06c32e07863a56ab243d604e64614552cd843d19ded16da266e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9491eec04d59f9e3ca570564b89b66c974a07512510fd1f3cb9a8496fd98fff1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf7bfe26c1c910747577cc1c1af18247d4a7c6e93582244d462fa20158388115b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x649aa9ea8379d797e6ea7d948427ec5db6af42f1805d41fa5c4b6dbab6834ab9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2163b29131a5ec5d8606de82cd8b8d774759a281ce3ce03586367718ad87eb5d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7aa48cfa9d934e7d529f2800916b8b62ea1f2d7386b5b230c14bd9fb768a2096",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd7502dd930750222355c870324fac2fe807f30d2443c649528ed209fe8ae77dc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1aec326180110acc86db62eeb855b0803c325c23732dc1f0b6a23f6e82cab8de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf0cd2f41469aef872e997cdbf47b6e2ef7e0f0bc79ce0541f5bbc0a6b1dc5726",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x15e25b25126062d34a37dc753ac395b7eb2956817e0d7612693c2a6fd30f344d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfba40a3362a7902a264f96434ebc64370058f2fa6b57bc9d7dd37b8e78a5b26a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x19bbb34828d561093cfd3926c4db77e24785c4bda2f6e5f4f6e86f1d9542a7bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7e9e88a2520f06521f90a121353ee28f887edd63a521e5a2ac5177cb180edade",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83ee1efc09081766b6d83202ca7e3da5ee8a7641995625c584c13295cfc24cf1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbff5291c016fa5e9f51e8accb4c733252d2e932076b5a7422776742126ffe128",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9c741efe652ab667d50bf9c9774298a5b31073ddc77eca6f10280ae9f222db4a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe3d68051c080b55d7be7cec626741176bcb5e3db9624429c07a4efc2e88b9bdb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbfc1bd19ddcd551d28a1c89354d7f5a24b615d5efe38c52c583005eac36fc5db",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6c62e67d47b28dd993570760bea9babd9f2cd72b7660fa7917b40a9b1ed387e8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9964698ab1685585952fc31dd91ac1b089b1b95e3af119b9665d5c576164686c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x120799c3926f4bb49a230a03f565167c2282f38a88f23d03784b409cdcc2c30b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x431fd177b4a611eb63fc62d9d0679769b4eaac38027cc17b3f84546101920c67",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0db9060b2a0acab199d73abd62a7290875e664b2ca91cdfbab5e7d07022f9751",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd0a247e9404b5ebe6c2c8e0bf9b502c5382ab26b158de5eefe16422c743ae9d1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4b80ecc1e60c7548c73d9c87c6589e43f5b818133ae458cd0b590beb602aa72a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0a42033d302d018be89c5926edbee1f0a5ed3aabe992aebccfc31e9f110b543d",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xf3e84ebcd13ed1f27db126d404bd94048536bd8a0e41fae4a5b92ef78459e975",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x588b025bd2ef6eea8de354dfc42d143fe4522edf82b66a9fc08c4540269c742f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfd994f0566e716028daa280a3ba36967629ceb8685966b158d746494c2b02b5d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x95c6a4b0d52edc82840e5702d9162e085621764c4856e2e7d76a427313438b43",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf1f4a2e059039c6946230eb4705036c941bf4de083b30f91e8ad5bf9cc16dfc5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x717cec829e3d28776e33a4c2e9cf8692257c27c338d3aaade94fb57a1f74cc34",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x10f42e602f91d1f65ffb9d9362e72888b3a0e5769547d89dbb8bc020f7e04ee8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3b2ba42983dc8e5a94ed29d9e5619471cbb061a9e7f5c8e58b6edaca93ec5768",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9ce1235f1a7541a7f48751fbf94b97ffc64f3617710cbcbdbef9a1f340913fe7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x15d95f4da412d5133166fc4aafc08f907c4b03fd473f140128479c9f446ae515",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf9a8f201ee5edaaa8df133ad2ad9ae8259ea8e2edd32d95088bf30b95590b33a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa8c7920e2cac53e92cb7ee1caedd6adebebab9a72529834c70d5124bdda9157d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x98fc47fa7099a0795e9c1283b294bf804608a1e02371e30fc7daf386561de7a6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x529b935fb1fee7b59bb09ad2506b6a7ca8fbcd560524c46207603aa2c0497adb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdd3ba1b4fa54a4c0fcc68c28a8b1e4b71be7502c4ffdbe76c83ddaf28e5d4c62",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd15b1d4c2f5cb544ea900d2f756e396ca78cdbb7238ef743c4db3c89c7944d6a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4482b287661bcac4ff65b164c90b3006650211c54dc8e3d4e660416fbf856a7f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1fcba2eda1063d536954effccc56340af1285cc369527bba42889d48cf843690",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x937280be021fed3c5af957d38c9b33e2895f0135e1dfef70b7ccf52b81bbfc12",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7b5c341c61541c9620ee6a08dff203895f44fdd0fa80bba5c24f7fc766e6c5c0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4a1ccc357b9712f48abdddb27e1307d5e84cdca7aa5cb0f8f96d934a6fa471b9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xafc69f8ade1ef7f582b73a81e688eeac80f8797e59c678ecdb605d096dc2d467",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x50599dcdbc0c282a5471408fad494f3757ececf16593fa195e717c953e8a09c8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x58f9fa57201a5eba2a1634d512a4fbc1aa42699574eb6a854a23755de96810ee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8d868898e07b640068cdfebaae441f9fdc927a4f8ac695b1c5ee2ae412526cc6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7de2e080a2486345c7f79554fd617f8fb0e970fcc46d80b2683e83d68725d0ae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x817de55b39fdfe463e18296b42e74c4a6e22b870f25479d49fbcf965301cac31",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x376e8d0fac5335a5a67fa28701cf8d5d0c20b3d2e80c9c061edb75a074194bbb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeb54c84124db10cd6a5d71cd25b1d62953a7db5ab24fbbb79c970bb200ba8d96",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1c9ef2f7406f2b9b8b35b098054fa1f8d2ed6bc20c24a8a7c78d303a4ebe8292",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4879a81acee2f767c1d5ac4b1c3f4db770da7c66a3a6c8e0421c850453f8e4c3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4fab95b6f0b7c3eb27d58550d4bc1fa83d1aad019eb000e26261c4eb62463cd0",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xd26d3e8bd9f3fc61f413a7745f88ea73b6985cfe5b38ac7e3c0ff68e55c9d4f9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1aff87947a234e9a17b091642d96578c007ecaaab605a5f36a986b35ba701c83",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc6bda21c90c681872577ec0417a20c3c446615968da94177b712099f0a018da2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x629bfd06ed692da81c2905e47a69e563b7fe6cec0ee6c6bd413bd6936a6814b9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5b0f8fa191bdda7570501be0fb3580d1b599851a77a47919ea4bfc639abe5b55",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfd790fefde2406e17dfe10d1c87bab6cac65fd646bd4f3b34d73f7e0fc276446",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x41726e82881b0abd39212c3f0ee861a229659f9d6a50ebdec9c9fe10235b2c9b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe09c96b98fc2c4993624e4ca9b543dd81f4a38580d6a95719daf357e48e603b6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6e3b3deb4ded4f24cbe5982a7d12f1a40a436f28455005f04afedca2f66e6a93",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x72358808bdbef29f0842a78f9544386c70be32125d13025e9e962707f1b4e1b4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8d63dfe184a35b54ddc8f8de2a5250bb8a1f708d04ab2f11b688a43b89b81c80",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdf85287bbad6df8f1c50650f0f9b7d26961a8c0aa1bae0528758121d76942ccd",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xba1049d2e8474c9b337c3c1e57ef059b5f3d47037085532019225d40b8c0e5d8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x46814f5ff2c23400d0447cd549546187d0e6a281c3c9a57eda8cef60694b5505",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd9062597bd207b4c73d2d8550ed97b671265ee2ab9649448e96a28e4dd76af80",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1426b881391f8715367b2c29cbf9b478efc87a23f8adbcee4d81732a7ab42f8c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5d7526ec788cf41ff53e211e42cb37a9ba7470355d7f6a59126952fe992da503",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8fcf1ce35ac55fe647e6e17e8dfa8298f9632dec560b7c2315c152d43961e688",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaec26494becc39ae3321237c5e7b1afb2bd40f5ee64d27e24ed247038301678c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x458e0bf541c12d5050ce85f26e9e236e159038a5176b7d7c71d39f1e7561dd3b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc8df106d97787220a7aa5da67d4a8f12bb7aae84bd7e2362f2cf39d90da16e2e",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x40a5604e021d69f05eba268127808646bc2458da7cbcbd7a3a85152269b49ea3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3b94ba44db97517911798bde75bc7310e664ecc096a20031edf2e38157b1ac77",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xef0d100f1573a91ab042f14108d9f0bb8d9cd3c6bff7608c4b68e3815a614a67",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe3436180a25e09ab83f030982793d3ced4fe70fee61ee9f5f750bdbf86ed8843",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x77c7d10b372339a888459c569fced278ba1cc54e1e923d2637238621138bc533",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa72cb8f79c7495426ca58b2e560bf2d833e71353ec39e06e33de6ffe461bfd6d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1238c2a12bdb4455dbe9891fc585d09487dfc92134d2eff71bab6a16ba37da97",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x37e4ffb66a832012d5a4cd03ec7c840d25f468141361f431274301a58e7e6b0d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x68b8d0ce3ab83c08e79188ee20e38159a76c1833369b2d95df7edb008025138a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x258fc2bc75e6483bd90ba18af310d49eddae07e1d632e3767818e693f2ea64e4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd396edbc84035d8b0ec7843f9ed694c773120263de9f63d530d8931c6ef536e9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x58f6d95e8517ca40aeb71d20303ec21e3f468bbdb34961f58dab8dcf5e532e47",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x55e501d2fd7f6528909ad3dac93ac2b0f77bb928bb62e3281fce142884cf7487",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1119e030adbb28c1fdd895cb892433ea9152502c0ccecbf428580c7e3d935c8a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe5dad8aeb5203d7bf5fa0bf11485923613461beb767e9744411f634e92fad363",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe074e02bd2270446873d49c7819881c62bd916f7a0dab5955b2cf46586eb2b71",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x25e57f652215a00997abf373872064f5d5480b01963a8a48de5cf150169d9eb6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x497dfa17cec12e4365d2fa5643de77afd629732989cac96e4118eb6718e6e701",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0ab0c6bd5a83f6572160b71de837b605513d2b74ee014c1b7fe7439f08482241",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x481a653ec66a1353ebbc6cd4aa84fe8c5d05d9d7e6c3e14ffdafdadd39f140d3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x601e5b23139e5f1dca89e472e00d1df221ddd9b1dce4a209958221bf9c5cfb1f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4caa0d6ea35d36706fb26fc35f246ba81f1b1e26640b1ea90ab864c6cf912b72",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x52db7fc607966e9cc0a0116f9090f10a8bd144d221d8168ece39df4b6683dbc3",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x0ca83078ac6722f5f844ed995bc9555b4ba4e2bd2f0d712e7bc7ae15d0ff2b13",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x22d93118137dd917732b9ad24aebdc09ab6a4b50fb31cc314fc629859b4b5302",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xee6468043f1883bda7f6bf1e8c3dbc121ce26824e3fcdb237110f0fba14b604d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8c86489355634007fb52c479dd2d77699045231a536760c121fee6734ee11b9e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x864a4797253c5714f20fd0745894bc5f0a76186eb64d7ba967ca9335a9da1c43",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x65b2f681f945e9ef64e9353d69d5eb1a3161fa5768780e10a3bbe8197c7d52de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5923a821b917c54bcba54cb7fd55d4154157906857f7ad44a8598254f8621d80",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa51fa9694e02e84b7616c2c1dd46c5aedf9411abe83fb46f11762be607724e8f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6ff3a2f1e50fe1ff2e3204fa2dd707a445707055b8e66ad650bc82e70e8028a3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe86b4a69358b5c514082e324f5cffcaf6a71489fb5644ed495fd7ee9b2ba0720",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6341ac66943b455d852e13a8dff0824da491caab658e377921b43dd848127d11",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9e6176f3f03b8c044f3ea38aeb05dbdfbc316f2357457b329febb1a795235dfa",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x420e2ab7b1826a5077d0dded10db9a5ed0fbd9d2099ebbfa72dc14d8f0730040",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x23be606a47508de6c087167c1d70737ea8a6ba00da1e1645bbc98539064a89ca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x275a3e7950bc975863448629ab81a8b81f3b264838e790170839b73cbd60d389",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x964f84efeabf3417a01ad12353e6b5fcee319450cf771ecdc839dc8613f91a76",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x550800292b46d31f107c27f45045468b2dc9e359ba1aadab3ab1f5de282225d4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x564ca869d52685bebccec08acd16e781b9c66836aa3ac64b60ee6f1fbea1022a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb0e6bf05bd350b797a9ba1601503d4fb961e1ec53a4045d7e4cd81392c08d21c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x429f84c43e4c5d552d87011a678a14e44e3de45d918d390d950e017c5429b52d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x39ea3d3d207c9b409878a19d5803977ab94793a64f5da67f26522a922a444652",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3e007c8ad7be9f5e326f1ece027fb4914a028d6c60ba660af1634cf64a5bd15b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x06dac107a4b198eb69af75bf8a72975190dc0af68a328e79654899519cc1f1cb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd3e4efc893abad7d7e673aaaa04f96c45ee629a22928adf9d98fdc26fb57759a",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x2b24845af00c11feffec9f6b3984aebc7e74e0388b663bc874241c624aab5467",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc77f0092c730b5e00efe7415d9ead53ff4d11683a964441d901de11885186b87",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2024eafe8a5bace628106e534be92d496df480839ad85208000c446ff17f02f2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x593359602ed9da3fca3a0ac7961727642d23dfbcd8c9d896f98d6f38c78183d0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xed7ca39915604736e65f89c28a7c286f1c98a41f7a15c36d20422e1392cd4070",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0ab93961974e6ddb227e46717eff2cd0e4d11672db1886f2b5ee84a06fe570cc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf0a4a41346ce5e65c2f218b74dfe82eea6b31ae05c781fb36e645baeec7cda41",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x27535c5e6973ace26232c346672c837393189001372d0f8591c530c3e34dc34f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x086c744746db13293b4c8e5af048b5508926f1ef1619420afdea2416f921e175",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2fc1b0b086377a535ef4d70d64fe5f176894e603746d9d59d5c4c53117abf63d",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x6a2ec925964656eb67cd49d6f9910679ab25b4b4a64b8815dc78e010fa14b798",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe3bd8b98d33c53edff5552bd4f254b952d8cca4160bca9e5a8d5fcd6cce560df",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd706dfd1844f604d48d9f7783b8a46737ae4f57b7d3e0314fcb152915e54d1f2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2f7c917a5427e44cd1d6e953a6cae470e97e078085be02a932bcd713ed806ac5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0fb7b616b23d6cac3a802f672c4cd08201d65a91405df2f9db68453720166323",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7917048acdd355116c91647fbf6c9206409ab26bcc91521232e2062b462bad9d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8e3e312aec8979f070c8b95d6fb47da69f873f497c0f7bc3e1e0d0eb452eaac5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb8e852cb0f08a56c69c3fcaedce7a04f10768ce86b94a96386bae948fb4df922",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x37325783217f7ee55ef777506a08b0c36807141a8eceff6992031af1c29f1d79",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcd3abc656b083c4e964a9742cdd443ba8ebae3677e9a54aa1a9446f8257f4a5f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x23d41aa815bb3a5d409fdd8ef61e5f4619e38786542272835c83df5a3d64f557",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe7e7b3a60619a869f3ef7231f51c0a2a3a69cfed6c9d4897c615a0f6e68de3a3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc14f76e0133bc7e5956810cc5c64bc322bdd0dcec0c91cbdf1a38ff80ddf306f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xae2819eb3d3b12e531c20a8eb6bc829b6e210873ba4a70a9fb3169b89f6eaa8e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0fdaa2a3464ca7d9e9f0ad56bc9ccf8e56f39af3dd722f2609adf5f15f331d4a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaa962f38ce2dfb6bcc48bebaa698f48103c4c1ddfe409a71033272cffed1ed15",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x29a35c6e452416b20058545e5501be65f6ca2b51f0d873a906ae159ff5f2dee3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf168a340ea4010a80c0cb5c1e74798fec5529cd6bf4c0d6d6cdaa77cc49032ed",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x635323cf67bf0217db41879fbc2c612957c1160a12b1ad7e2abed80447738c0c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x59472ce46708c4779fdad630a6727621b93580f8369d968aecd634de3d942841",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd473ec8f516aec4c5c1c07e0377c923322afef4c276c41b1511e030915fcadad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdc2b25476385f4307a7a16b5b852ce9d660df7ddb07f42992bddbd41d880e4c2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1fae183d6ec153b6876d7a08194121fb1c142e50668156f0517510a4c4f60122",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x4521f687c871e8abbc4bcb760daa3927346ac0d0601c2ff88bb2b6b09de579a2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x349f4f9d91d048485d8f91ecc0f3db42848556af18de9347d7bb569ad6923601",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x397d88979249ee34fec43141fda9764b689afe77571cdf88c71f46a970acdd2c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7bc13e7fc2dda44b60a08e64c795748dbdd8bcdba54f864be3d95d962a4b3145",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x04e7e58ff77dfebb104d93a2483cd593db9755de23ceb81baa9cc0c7c1abdfd8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8eed19b82725fa52b65fae1d8e97a0d5597aaa25130aa36418714f3a5b566055",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x65346a8ab198f9e2264f69e4016b9e4b42ed2c3094d2b41b284135713056ef2f",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x8f5e",
    "delay": [
      10755,
      1052
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
          },
          {
            "Uint": [
              "0x1f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86614,
      55454
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5240,
      6977
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8442,
      55640
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffff",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4268,
      759
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x5e",
              8
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x39e0bfa9023ffa58cd48c9baeeaa63632bd61a389d5ee5867f6a87d0df08b8d4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85730,
      21451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x978f6d1a16f067d97b9bbef5901d893d8b2976aa7f9f7c6a53c0ca8a2569b2dd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37761,
      16826
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Address": "0x3450a15dc9cbdd5c0e28cc22474d88ad7e2695a3"
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6331,
      31930
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51458,
      11675
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8289,
      25064
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          },
          {
            "Uint": [
              "0x42",
              256
            ]
          },
          {
            "Uint": [
              "0xd2b77b976dbb4df6b2824b32677b4d17a48aed336401a70896b6b08f20d3f138",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3556,
      14730
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0x1a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80555,
      22616
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      343722,
      19826
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44025,
      49702
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x6d60b6d623f0c8dc3b93c401f02ccbc75caadd2a1dfd59e1ac53c6253cbcec7f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75454,
      2871
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x13",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      403,
      31622
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x45",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4183,
      12788
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x24",
              8
            ]
          },
          {
            "Uint": [
              "0x354fa2b1c0a7fee5993638502705d5bf7cb40cd214c5f8fe9c87daba3e11aedc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21795,
      3684
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0x23d45c414e264be3f267e9091d3f5e5c4b2e48f0de9bf9530f95111d71e71862",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82330,
      3601
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x742daea9352b6e21d4c3e44f9c5ac2546e56a288c375a41099df93ab04ef08d6",
              256
            ]
          },
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Uint": [
              "0x3b4",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      539,
      2607
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0xf9",
              256
            ]
          },
          {
            "Uint": [
              "0x7f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3276,
      9469
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
          },
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48615,
      51123
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      177362,
      23797
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x7eb2ab4d96f916e4fbd529e42482da986040b5cffedaa68069449a4a1bba4c74",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35360,
      19260
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000007"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11112,
      6638
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Uint": [
              "0x7fb2e2db5cb90e18ec2f24d95c69ba8661f9fa6aad4e808ed6e1c45cb0a4faca",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          },
          {
            "Uint": [
              "0x1aa2d889298c3d6355dc350ebefe578364c0923d9592ac83226e5ba11df78b1c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81624,
      46068
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0xf2",
              256
            ]
          },
          {
            "Uint": [
              "0x135",
              256
            ]
          },
          {
            "Uint": [
              "0xfc1fa59bf7cbb2a0a0c1fc66074c352602519d0531f9ee151dcddedb2df4abab",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48893,
      23016
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x6a0060578fa5843c42ca73c75c23d340dd74563418b9b127e7f39e69af3be1ae",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      175521,
      55762
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27547,
      29735
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58826,
      775
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      386157,
      51331
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11247,
      1855
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x6f192a8ff45d436a95d9b8c24991cf461378e43d11fd02d959dd40d76e5d5df1",
              256
            ]
          },
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          },
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1703,
      15122
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      571538,
      382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x15180",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80897,
      7406
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x3c3693bbcbf98ea3f6640cba472928b0ad63821a932298de3d203a0015c31735",
              256
            ]
          },
          {
            "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56957,
      36311
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Address": "0x0000000000000000000000000000000000000200"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77990,
      19920
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
          },
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Uint": [
              "0x1a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75002,
      1361
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x30",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3738,
      16685
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x1000000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28476,
      5012
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3203,
      4074
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31068,
      9715
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5031,
      11266
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      12248
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x5463cf8fefe077a3887b05721ce38e4e5e8b4d37d729f7357271d8efbd3b6b5c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84398,
      44275
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0xf4568162cebae0c52a40b8bdc44c43ce922670905c251b32c5839028bcc81e46",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82676,
      24359
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7203,
      14485
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69813,
      12473
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69603,
      36701
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x1a3b319779d361262a221bdb573c70933168c9196da26ab8298963e9f77e0f0b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      503386,
      10903
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      168594,
      44925
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x2d",
              8
            ]
          },
          {
            "Uint": [
              "0x63",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80947,
      8287
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0xb6",
              256
            ]
          },
          {
            "Uint": [
              "0x36",
              256
            ]
          },
          {
            "Uint": [
              "0xc5bb6851a237a8d3dcaa847c9fc4d6e9154d2d0312de0bd3daeef6256651bc3b",
              256
            ]
          },
          {
            "Uint": [
              "0xd5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80171,
      8783
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2734,
      41838
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72574,
      1622
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81396,
      2985
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x5d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75143,
      25346
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0x00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1446,
      18747
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x77",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      216596,
      20620
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12393,
      59578
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xc5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      255,
      12246
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x3",
              8
            ]
          },
          {
            "Address": "0x3450a15dc9cbdd5c0e28cc22474d88ad7e2695a3"
          },
          {
            "Uint": [
              "0xc1373f8047f88e5c558417af052acd4b422cffaf1d0e9aeed8090eb58050d74b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30478,
      58769
    ]
  }
]