[
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      191,
      19136
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119721,
      9244
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      51394
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20238,
      9632
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540",
        "args": [
          {
            "Uint": [
              "0x7a",
              8
            ]
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xeb7acbdaf4a1d95513bcc24a313e6192b00c5123d9096dee0efae1aa1b464dea",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      145351,
      3011
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44385,
      49460
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0xde0b6b3a7640000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      316470,
      9177
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x2710",
              256
            ]
          },
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Address": "0x0000000000000000000000000000000000000003"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26657,
      28610
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      18752
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x1d9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9338,
      34043
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6239,
      52030
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Uint": [
              "0x5ee01baa7dc70c0b98d7d97dd1c75cb40d1a4440bc1a3dd1ed72f73a2454a188",
              256
            ]
          },
          {
            "Uint": [
              "0xc40c4772996e6f58621646c777da875f87e01b435b24b54ecf71b6d4c6042227",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46809,
      57432
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x6bcdb33483d120e49cf65d4a3712c05adf3b9b87"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      193635,
      6064
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x42f7f469dbfc49f30381c3f9a69dfe6edb17fae2a4840b9f062a806d486ae0f7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      48433
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67193,
      20872
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      155159,
      1585
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x4fd269189b2ae57c4e0024ac677a26bc5ac310ef1c86707e42eec41fb9ac4e59",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      307849,
      40757
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76285,
      24992
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x2a42ebff9885f82d37ffb494f7e75242655cbc1d13129741099ad3287e56856a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81276,
      23472
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Uint": [
              "0xfc9d47181e6cf53b2a0b11102d79801010f9f9c77242c76c70cb92ba18ff9ccc",
              256
            ]
          },
          {
            "Uint": [
              "0xde0b6b3a7640000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60176,
      2870
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3245,
      48811
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x8e",
              8
            ]
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      132977,
      51241
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      476459,
      9633
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0x1576702de09282beaa7cfa35c346cbb9c1842549367bdbbf593786709b57faee",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2296,
      11925
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84228,
      15109
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x8f004fc6f83c0f3efc17eaac887fcd0082f80491e7dbc7feb858a473ca18d36a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77786,
      24168
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      87031,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xd399c2920cc91481b4f83d25c35882d8e82ca8633e09b578357ca3ff0f8c741",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      130333,
      8046
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      228467,
      1470
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3456,
      20538
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0x6a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      293121,
      15654
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82930,
      29917
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38601,
      29948
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80430,
      41054
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000200"
          },
          {
            "Address": "0x5faf7f5c063dcc39d8e1188aa305a815342ed38d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      367838,
      41085
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46752,
      4487
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      194795,
      54857
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "String": "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000"
              },
              {
                "String": "\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�\u0000�"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Array": [
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
                  },
                  {
                    "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x6bcdb33483d120e49cf65d4a3712c05adf3b9b87"
                  },
                  {
                    "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
                  },
                  {
                    "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
                  },
                  {
                    "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
                  }
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7d",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x3e8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x64",
                      256
                    ]
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51457,
      58537
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0x15d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42424,
      3448
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x7ea3b0ee6562a45e3036a9b662a1a03a11419b9b80922a13a27044580af8650a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      815,
      6784
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      13793
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      247585,
      2577
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xe8091c11d96c612bf9a1ee2f744dff4f2c19604472db393442cf4295425881af",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000200"
          },
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42342,
      22162
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x5d470219beb286b496bcaa696b53b171e50b5d371b7f50f86ef474b2a8f8843d",
              256
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          },
          {
            "Uint": [
              "0x3508c9d150ab4cdec6c114036fb6357ff97bfbce59d88ae731b9edb2f749cb08",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4147,
      57974
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0xa3d8cd2e0a12f88dfa475844eca43eadb20383c8d364109944ca2039b6903b2b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      367338,
      32769
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0xb50663d768785eaa84e27ffc6343fabe9b7b8c9e75d0abb13d462967e044424b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59414,
      32154
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      468940,
      17110
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6934,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40385,
      15412
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0xf24aced86efeb9753c4cd82ea187e54be08ec05d9bb7c05ba68a1738a9728969",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      271270,
      10751
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xd205cc5476262329647cb95b8a98bf570cbb465284b5ed0b569e73e7afe1133f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41968,
      47996
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58057,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x7b51ecc7989739ba6b5beb60bcde79f9ca18abbe5af9394225c6d259bee8b407",
              256
            ]
          },
          {
            "Uint": [
              "0x4",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31322,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4816,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39106,
      9826
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24440,
      4594
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000deadbeef"
          },
          {
            "Uint": [
              "0x33d041e246e4f504d3470c32cbdcfed4437fbbee2c79c324df8372f3e0d0abc8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12631,
      20540
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x9e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34630,
      920
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000000"
          },
          {
            "Address": "0x0000000000000000000000000000000000000000"
          },
          {
            "Uint": [
              "0xa1495f80a9455bd4a097b5238198fe73f8b072d47ff958e20843c914147149b",
              256
            ]
          },
          {
            "Uint": [
              "0x4",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71447,
      56154
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x1741466336aff2e45d2698f8fa8816a45da4cda806211b728a9ead01159743ad",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9241,
      13200
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0xad664e55adb627573dc53ece12c470c28feb62b7ca5e875bbda85118b07c206c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2689,
      3471
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0xc04e42b46c03a06a2fa5775c4d9b386b2aec5904b45ddf74626f1b7342aba00",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1037,
      25225
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0x0000000000000000000000000000000000000000"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      206966,
      15981
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80725,
      9043
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x328cf426fa386a9e18193dd347c38f37768239032aee9571eac69cd15d00be85",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      50138
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0xb281f39d64e3b2ee4ccbbb06179ebc77fb427ba3eae7f2ffdccfdf3779b1affa",
              256
            ]
          },
          {
            "Uint": [
              "0xbb",
              256
            ]
          },
          {
            "Uint": [
              "0x3e34e5ebe659181d2743bca740b577cea76d996b94edcf3b6cfa3948d5cc6648",
              256
            ]
          },
          {
            "Uint": [
              "0xf116423464d515967e5f2f27e38d42dde36b11676a61e122b117e4c2a4f45c7b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69211,
      11633
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5384,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      150505,
      28213
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Uint": [
              "0x1f5770b0821f5d20a6374163807a8c2cf0b898cf7047372e4d1ddd087445d78a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      328118,
      13958
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36675,
      6090
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
              },
              {
                "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
              },
              {
                "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
              },
              {
                "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
              },
              {
                "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64593,
      5494
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffff",
              256
            ]
          },
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      39608
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2199,
      1
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x12c",
              256
            ]
          },
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Address": "0x00000000000000000000000000000000deadbeef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16047,
      22592
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      88,
                      224,
                      55,
                      80,
                      125,
                      92,
                      227,
                      216,
                      182,
                      199,
                      221,
                      100,
                      89,
                      162,
                      47,
                      186,
                      112,
                      171,
                      155,
                      203,
                      184,
                      106,
                      39,
                      129,
                      108,
                      140,
                      223,
                      197
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      233,
                      22,
                      202,
                      219,
                      18,
                      196,
                      147,
                      137,
                      228,
                      135,
                      235,
                      30,
                      129,
                      148,
                      177,
                      69,
                      155,
                      41,
                      176,
                      236,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      216,
                      173,
                      167,
                      0,
                      159,
                      208,
                      149,
                      55,
                      114
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      199,
                      24,
                      52,
                      85,
                      164,
                      193,
                      51,
                      174,
                      39,
                      7,
                      113,
                      134,
                      6,
                      100,
                      182,
                      183,
                      236,
                      50,
                      11,
                      177,
                      92,
                      26,
                      156,
                      245,
                      136,
                      209,
                      224,
                      172,
                      55,
                      142,
                      38,
                      3,
                      91,
                      97,
                      71,
                      255,
                      177,
                      200,
                      180,
                      157,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      199,
                      24,
                      52,
                      85,
                      164,
                      193,
                      51,
                      174,
                      39,
                      7,
                      113,
                      134,
                      6,
                      100,
                      182,
                      183,
                      236,
                      50,
                      11,
                      177,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      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,
                      204,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      230,
                      144,
                      104,
                      124,
                      195,
                      180,
                      98,
                      206,
                      154,
                      223,
                      91,
                      171,
                      136,
                      95,
                      107,
                      252,
                      238,
                      127,
                      180
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      160,
                      203,
                      136,
                      151,
                      7,
                      212,
                      38,
                      167,
                      163,
                      134,
                      135,
                      10,
                      3,
                      188,
                      112,
                      209,
                      176,
                      105,
                      117,
                      152,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      244,
                      138,
                      99,
                      44,
                      240,
                      72,
                      243,
                      160,
                      240,
                      68,
                      153,
                      239,
                      48,
                      42,
                      250,
                      125,
                      222,
                      220,
                      116,
                      74,
                      65,
                      179,
                      100,
                      122,
                      99,
                      113,
                      162
                    ]
                  },
                  {
                    "Bytes": [
                      45,
                      233,
                      47,
                      161,
                      119,
                      186,
                      181,
                      133,
                      83,
                      118,
                      164,
                      66,
                      205,
                      20,
                      196,
                      28,
                      165,
                      74,
                      6,
                      111,
                      158,
                      246,
                      122,
                      226,
                      88
                    ]
                  },
                  {
                    "Bytes": [
                      194,
                      163,
                      193,
                      114,
                      156,
                      228,
                      16,
                      167,
                      90,
                      31,
                      152,
                      59,
                      40,
                      18,
                      218,
                      242,
                      75,
                      83,
                      70,
                      37,
                      252,
                      237,
                      27,
                      27,
                      85,
                      84,
                      45,
                      252,
                      7,
                      145,
                      172
                    ]
                  },
                  {
                    "Bytes": [
                      54,
                      135,
                      10,
                      224,
                      66,
                      124,
                      58,
                      98,
                      106,
                      167,
                      74,
                      228,
                      148
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xd4ffa9790b522213bea33884576d36727851df27d262474d41ea5e5dcf272548",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x103",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x314e71481e09c032247990c09b1f190116542311155804273c9000c8ed5131e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x629e9af8d470df1014384ca73af8e5e1f7244e6793b6a0b55b3a72732dac243c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": []
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xab3a24805b15a10224d1984bcaa0ef71b05b48a2ddee2193b4966d6ddffe439e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x95d58e25a74eef0fc54da2a7df1c2ea1a720cc9cddb14f4081dded91b3a8da33",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf9e1a386525e5d3196ae089aa09db3b18362c07be8d329cd47469d76ac0c0802",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf46b8ac67c0a9413d724f1ba090a903fc9f4bfcef17080c7756a8adf3e824eca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6195bca4704b7074a657c07cab639d3ef6b2d15c2b5a3dac48c45ba7f4592dfe",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc26814294680cbfba9b95a5a266e23350fd3ea839f5b32235efdcc5850fa5dd2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9c2eb299f2ff79c9bee25dfb0b9b929d65a903510646b7714921361e9c702d1e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x45af19d692f2480909cfe89e23475bb45f318ff2770ea9c93652f56b478d8e3b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb2c2eb583749e5197a7a122b2cca31419014e493c158baef27e75fe039530130",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8725b03ab52ffe9959bfa90dd77e3cd6696baadcf5606964b47cc9bba6c8819e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6aaea02f02aafc7717191d83a689d50a53af3b21b863f3b0cb91555e03068670",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe56d859074ee19816f18ba4ee339be8c05bb42f992927e7d86a2ae5ffd7ced55",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9579f45f326406a6a7922746d1b5b9e2118eff81b42eaba4876e1867bc2811bb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa04635f83950483c62024ef861ecf62b9ec73b2a1defa5e8f8c801f727f7bff6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x288c7802ddbd5b2f64652ee7e065df3be71ee11d296b92de0e51cd9d4a9fc216",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x60fc003c675b2dd1254f02eab7ed27e54ff5a74006a42aa7acb59d2c4af48bf3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x096c11e40717749d8910ac837c27c06794a0380d1358522aaf2189fbbd5faa08",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x7d90632392c460be9a3a1c3e94d1b85537a195324e770ec27d9017a5a39d6f55",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x41d1f016558ea05c585fa27c3442b18978aa9009a367daf1c7ef45cdc36b8920",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb0ecd4141247a824a258b5fc14599d40a4c12365095a03908c409811c4afe715",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x331a9486658d900ef0810e067359e44281f0b60397e18b74b8834a284769d559",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf1a84c6e4c8b1dbce4e8e4bcdf1af311c5cb391b74f2c30dcdcba49e96d245e1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xffdb162a88dd9da1c0a047ead026f76468d71c8697fcdde1275121fa290697e9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb014b70b08d4431aaf6ac6a3e608c713f005350ab909ad65f8caa8405407e9a8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbe38506ceb9d88cceb9358798adac2c0c901782de46a252c72dd51de61afaf69",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2510f2c5422efde278031bdca4a4bfcbb2e64eb058f1fbf568922cbffad0e10f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7f1598e21e5d43f9aec4d5641df03d6b59b55859bdb8e0796ccdc2678c85a007",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x44984e63ba9fbe65feeefdb89a426fcbb149e75f14a3eb677f1177cb61f12af5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf0cdbf40531e89dfa4cadd06667ca2ea51afa0b3ffb1742dc764f80ed81d14f0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb6bf6085275787bef82a78368d6c9e35e93b4fe43f0a632585ca8148a296ad90",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x86c371ae4b6a9b9e60eac62d1761e1e8c73916e3a14fff1c009d5a4e8e931338",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9a9767e9a6e8c24e9a95701a25e4f3794e6b053e114a097f54ab05a91f796cb9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbc1d00f30b0e93d45985407b7f2cce784df78ea8971ed5e35ce3fbde89036007",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x82ed7c43dc87e744ef48cfb18d408c2c4536c4ae0309026cd8e343855c0ca2b9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa83b9470ec5e17844d7e543c26ee9db9f0ca0d57ebff909ff576ecb822e217cc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1501b2594208fa78e7ada6d81ae672a8113094120022ad0920fcdc87cca52841",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x22e18570902d788be0a7f56cf869c5218f7875ebf8920449104214ef768f49de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa81c8a10b967d32d99945b58d3efd9b261ad2fdac10e4b3a583998a2bad5429f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x377d2bd8a2cd3bf265476ed1e905a0f107145af6504e64339bd175f806a37052",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd4edde4b23fbb24589a5eb6bdcc63ed962ba628a89b50a83ebff582f83680812",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9e798fbe8dc6c7f77095bf8270004fb5dc3283e87bff188cc9f423ba4fe1213f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1fc2d325b01eabf4cd34722cb7397e6f91db2641afb837335c52e324175cccff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x56089d374c12c19b04efbeb490aae62374ea25e266968d034c9802331e0a13ff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc4b6e7d9c6ed4b4262d6cc4d0178a3cb1cb853eebf79b178007f73bda5f18443",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfcc6a36c3bbab4ff6c7d86d599fa0a6ae199c0690cf29137cf45ae1befb8b7f8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb134a1d91ea3b18381601ac72ffdf1ee67b99313cdcfd7c278375e6e72b6bfc1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x00a8623f1fc3fdb515e83b8fd27319381c952c7b1091fc5202900c6fac709493",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4ac47ba3c7c2388eaacc0d9e073f9f60a449b55c67c42d6c192e64e18cb8aece",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30176714efbbdfeb19f57da17f0564d2381367d2516d9bb7f9cc3cf8cbf7aef7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xea8e9457bf7f3b8ba380a5e6179a40739af8513a0bf2eae26b2586b13c82871d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb81cb46abb40310b873abe0704f216680a26e0159e720de20cd68b41a5524934",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8b7879ec153921bf7f14fb75361201fe6dc7f24ca0d0a0d482a89fd7f6cf64bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x895f51315102811aadda6d02ef7d707215a187b750692e4a68cb0bf7f1ba399e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe73afdda212766cf9bc428d5d00fe9505427582486fd3aa0d757072c7214e9b7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x22595b4f9c0ab795b18c2785dda31bc61844c52a613cb7e7dff659bfe10b8bbe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0927faa8f0ab15b6de3eba199ccb0008a29e9c505fda30a5e1e488e8c20b1407",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x769f396cfcbc36562b39d2aaf130f0021ade5fcc3a0c11bd3a09f48a2d5d8f2b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc38de333cea6f85754cc766adc1d7f7ea471b7b13afc5d390317c549ea72fa12",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x571528748131b8020a6821ea638126f455420609a42e8fa9433dd3dc82904a6e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdbb112cf9e49d800667d26139e0315e4922374a657dff7da3fd9132654ee86ea",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb2e58eeae525908d961dd2d68f1a2be12227f226c3bd26a17681247623b70b0e",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x212f6ec1e9a34c03369ea09cf2a702d4e28b9f8507bfbeb6a2270496808a32f8",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb44316c073c2566cb1cf6b7d7ab7c58b7dfd0c2b199c1c263a7145ddfec54e4c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x214e3658738388150c0e7e235dcfb7b2a82712c15ccd245ba5ebd61147818b8c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x43791561f44f470eff996eb0ecf6a60954143acafb896f95445362cef6a05dcd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x111c10932e398686d0eb29b593d5248334f6cd748fab040e5deeae9838104536",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x04ab120463c2286d2916ae85c2e64c09da8f3bb1d4a3498183d7c06a25264592",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa8d4ce853accef0ab74ea7dbf4d10585a3c17cdca6a2d922f8c8d4513e5f5fff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc16ff13bf5dbc4666f49da94642b848baf34e55bf468a1ca75d7cac2ac1224b0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa80b0c4b2a1c3e5d46968c6ce8ef00acc038c1b0ffd02d0063a9357ed5f1b30b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdb3e627ea180b6ad6559a4f86b5208a0980ccbe9785b4d1eacaff967e239f7ac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8550f3f1294967cf53e0c9d91ce6ae2d6b2cabf405f7e03ad8bfdd0e9dcbb201",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc6648e861bd815701890c1c758000fc67788f182b96242f63da637d354e2826e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x746796fc33c35abf705ddac09d331564f0257bfe1916dd0de40c813e9f047bc6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2e17b33ddcac6303992d84503d164b18391d216eb1de1201afe2cd7e17ac4253",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7e2c55a2f830b3b68486d87fbaba72f6d3f523eca6b691b72dfbdcc8e53c9e50",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0f75b5eea254e35975eab7e9d7085518302793e06eed966ef45cbefa340d338d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb8c42a54352bccfa6049ebf7c623c31490a874064dfb39c776f72c31ddd1f278",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe54cbec0b2cf6bb1f071f76de96099cef32b27c5ac92af083a9993952367ef85",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4e7b9016f1925fc053c818cf11568654ca877b9eefe9ba11dab5627dcd30b508",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8260ad5ca7ef07e48368ab64951335dc619fe4505706f5902e1c3ae52b70f13d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc39696ebb2015b867122336922ca4f3026357791ea38e7b5cba25520f10b8746",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc3724cea84f8b606f63a56bf8af9d051dd40f8cb7a4eb5579e513a729c8ba501",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa56d20fcd5c534efd432b0d8f5c1437137d3fcdb542ebcda3ca78ff38d1d2976",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6c3db3f9adaa84bec04a304bb86e511e6d501561154b88871e48ff2858409aa3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4240673206b08b6a12f2497c13be8d8a4d772b12cee4e6f3bfeb07d3e86b1687",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc17ee72f3e2b88f515554ab24483c772a176ded1227793319d6d8df75993303a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2f635cb425b46ff7b7b3247bf5e7e3079c0d4734021e200c7541021b1eca4063",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5b541f88291d4f11454f7cd8b5e6dfe29e8529d90e99be343ba2239d5448638c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8a19636525d6eed80cc3605da7772d8ae3d63aec4b1c46ec0241f56c1659a0c7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xadb06f825bcfffc9d0ea881a04b485f3f77c1d29e5502d2af54d60f9999138b8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x17f9a3b4bfa0a3403d5d35aeeeddfc1cd08f960de77a9e1482fb065654f01e0a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa137f703ae35c71fae7f4ad45b81c120d3cb2b0300375921a5e0b85a94b1a6a2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0948c42881ab3e7de77a4cd1bd01e83a4cd4be16aa214862f06a312a907ee701",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc11bcfd56199392fa9724cb8d398a876c6293fabb91a47c7540be40d6f9be4dc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd409f4f1ee468c31ea480cc075cffd59e882ad58e8855af0292d628dc4ae420f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x41182e0c79e992bfb28755a7b3eb278342162a28663eff6e64a32d4a5124d5f2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2128a9fcf3e48cad02f311d2c82a34c25ab7eb14a005aaae37f1b6aff2485f6d",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x09dafa4a45a76dc35bd211e3c6b7fa480104a6c7c717cdd407c23a03fbccdfa7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd909acb7c86e84287bf3fe5c9bd1e77b686e6f469b33802d2496dc0780b8b578",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xef8964513ed59808df9baf94633e1d2a5e3d6e8b808f9204d3b7cec9e557c553",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20939a9c456360a28b8970d299dcc829dc668bb9966ebbb27de632efdf248fb8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30cd639acf85178d34e40c0efd0b380e23760b11a807eff785bceb8b19cd5ddf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbb356ce329e0b0f9f08881950c28a14eca9f3dbde5d2d7ed13f276bafa6e1771",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x744ea99e47181c66804f831f25db69ae3bf503c88141bf63b573254b0d3e7ea2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x552523b3ca8f5224b7693e7a044e28bb068e48b2c7e457c00a2a380bca9544fc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb1e1e71b47de21d4e0e3b568992e1db5d77dfbe249c940c59b262386fd2dcec6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd493af80796d7bee7415667d6d878c63e0c70aecf78e17af17bb2c9501557270",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd8e2bf1bf8ee2a1748570668ae8e6512dbbc706cb97c757c1d087fd86e97c3f4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2ff870092c90deced04003985dd188b199a22dd1a2b2beb1be112c07b9bbed29",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7a7ff427acaee300fc989130509720265956b0e726f681cb7171f2d2d2774727",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd3ffd112e867dc65ac1f966d10fbf712191685b691ed7c4840e438efe6d0547c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf969296b2289f36ec9a9708d0f792ce45a636f34bb0a1344eb492995c8529864",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb52201db15ee0f91c0329c39aba6b00bb0fd24b5fa72f5af76d74322f7f37d76",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x66bbdb051a4f4eaf143f85b767ac3a3b7cdc7dc3b22630f01a800b8c50b9c1ca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa25b65c8ae82bf16f84e6f63679604fd9835d6b1881886a8274d3ae563cd0479",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe1b14793d0f19fb0dc6a0b24470031ab38ae5bac73b1be7d10baf455a824ef9d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc1f4a74a7f4701876444c8de2dade0a8a77e0d38a1e1fea446e747035514d490",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6f62fbd68810984c2bf0389fde05abe6bc9f721017b7d7d9f3d7e83f1d9a1ce3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf2934c323c055b928d84b0c19021fc8f15f50f83262300fb8db2289829359a9a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc87eb66beebff5c316e646c380b3385940ac0a20a49331b97978e55e30d9d177",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x96fec45bd1e534c624305262e701ddc4c3113ac5f885e7a51007aa8bbc641de0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8f0bc012f7e770336a4a30d9e4a49f0df79d66017fd122dedae6f9ffb325a432",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1f858b79d55c8226aa77f7c1bdb25def28361a5cc5df3cc6dc6259f5f47dbf12",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8a5acaa62a0d93bbfab6a104eacf1081fea3b4b5df2aaecc4b7b4ac5a7b8a6f8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb9d46b33aed20469566a61ba32ed69b3c728100bc84614ba45766450779fca41",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6f8f86f04b7edd745c4dc0fbf30de207edc5d32705850545713b25a2b69a4524",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfb298022cdd811b9f12b4973b5018a1fffe2d4eaf347f657501534581d994486",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc0c2126ce99c297f4b64c138583dbb473c1ed22716d8e382031eb86222bd1627",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1dedc0dc73943779ef1febbeeb7bf93638b693ea8753990bc084082bff826265",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3c7475dc64e71f566e6631aa570c23594a422b97a20491c3dd7aefc4c3a47415",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20efc8c239ca44fb2462bf237c84842ad83d28ed11a306e5327e84117617fd56",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa8b76ea234ec2232cb7857402ab773f2ea8d8711c404992f60feae323fdc5dbb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe1f5db91e942ec3389e78cc7f6b7f21aa8c1fdcf7c5b2a9a2d429d69da888119",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x990ebe1f7b13f727c5cc2bd2358090e8bb4ffb81c1316b5660b91a76422d03b2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe00d69f81432dac7e091690ff16994c04551e2d220815a71588fdb60a5d7563f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x710bc4dcbb53b5fc46ea265d973f0f28806429d80436219ccd0583542e3cc6bb",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x144ce4b420b03a5e6f91c90267ae9e86490c55ac2bd051f1e4a8662f9b0be57b",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x71d2",
    "delay": [
      16292,
      51694
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xd1757f8fce7baefef2fc01b1d2c24591561616e5da61b4a9dd4a2463bfe86fcf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50154,
      1674
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      0,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x3e2",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40296,
      1051
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0xfedc71c225a3f08450064761fd2c6fb85d829b7b61a5d1b4201f48f53405c25",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44181,
      21392
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x7de99909080a391ec57f5330880d3d7354f48e84c0b195d310e606f93d307b8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60191,
      59384
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x231",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49772,
      1465
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      331,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28037,
      53097
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53104,
      5383
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22135,
      53116
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      212780,
      13241
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xb567def300f9e054b7ca9aab885b49ad",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x36c4df81cc938b916b19fbd844b0d49aafc0e2c773fdba1a18980ba97cad1fb8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      568775,
      368
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000000"
          },
          {
            "Uint": [
              "0x2ccefa3999",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74460,
      17181
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55,
      9963
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0x79",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58029,
      13587
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000000"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62892,
      8693
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0x371bf57241a129d50a0999a086d03e8740999acae3c198381992d6507097df70",
              256
            ]
          },
          {
            "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
          },
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67722,
      1274
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
              },
              {
                "String": "S2\"tEQc3W6}?PL+pl"
              },
              {
                "String": "~Zj,fN|+wf'6Xg[;PB'u6ye"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Array": [
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  }
                ]
              },
              {
                "Uint": [
                  "0xb1a7fa5c86be15c10b433e2f3fade82384f3d7149b8738ee5d3417aa6e80746d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1e7713202",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x3e8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x64",
                      256
                    ]
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      0,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7916,
      1614
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0xf0a3aeedab9dd9414e98462c1638db1d2a8cba7c1602fc92da375d026afe0961",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      219059,
      3600
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2720,
      8221
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11865,
      3575
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0x23",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55799,
      23180
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x22023560caeca4c5f43c39ab5ed468026002b3111096a60e20d169721912c0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73189,
      39780
    ]
  }
]