[
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7441,
      29615
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x374",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21586,
      29778
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3112,
      34113
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      343605,
      24954
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31485,
      4313
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0x32",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40925,
      41955
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49334,
      30359
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      563,
      2593
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0x192",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4747,
      29806
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x3fffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      120562,
      3972
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x1d6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28439,
      50257
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0x848bade437992a412d7f527eadf6670285c4dd3d236ad61d6f40a05a9bd3d1a8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85370,
      1731
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5517,
      1635
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x41d710826037a20ad97656223440e2266dc5026d9b7849eca6a695800b9c118b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      275391,
      37745
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x355c73fa67d4dd239849175044fc38666cd89d4684406165506198b5a11d2b3f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      449271,
      23224
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0x59",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      285294,
      18144
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8366,
      3127
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      515719,
      1325
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8204,
      5527
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Uint": [
              "0x2d5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86566,
      38567
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0x2fc575b268773f3ccae84223b29a93049abdb2f5dc8458c9734da7cc5795c320",
              256
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40136,
      27547
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Uint": [
              "0x4853ece5a6e075da9d3bce9fda413c14fbf9e0c9ed9a46a34fa25b6b778d5422",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      193886,
      19863
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x47a4c13f57aac800dfce5bddba82b98e08b54e1cd8e8f32144d499432c435b8f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5202,
      25794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0xb4",
              256
            ]
          },
          {
            "Uint": [
              "0x194bba4bc2d933fc63f73a7c8683f36acdc287a98fddb6631035a38d804317bb",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000001"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36246,
      9000
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1553,
      44835
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25229,
      12969
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0xdde980169885c6271756431d6bc5a1dd708fd7cf0cdc65b433af4ff73e90c48b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38101,
      33336
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0xc8057c8ea17ac6247be02f11af9eaebf53b3da17d3276a52171fb977859f918e",
              256
            ]
          },
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11716,
      84
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x40",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      58100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2392,
      20051
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0xfffffffffffffffffffffffffffffffffffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68722,
      39798
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9715,
      37919
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31643,
      8476
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69700,
      24904
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60765,
      6978
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000200"
          },
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3511,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Uint": [
              "0x9504f3058f2cf3f800e16628db2f5b8784a06b21d1934cb4b64e369eb1c8b29a",
              256
            ]
          },
          {
            "Uint": [
              "0x4",
              256
            ]
          },
          {
            "Uint": [
              "0xe23264f2bd38cdc2cf4dc1a575982e160608409129ea616baffa4f25c704a211",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10157,
      160
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32641,
      37024
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82631,
      57134
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          },
          {
            "Uint": [
              "0xc4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2734,
      710
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9879,
      3987
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42350,
      1479
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63164,
      13696
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7800,
      29239
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x9f766a06b0fccade728f85f423defc1d71263292673e1f6391f25c9109192490",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18798,
      17982
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9695,
      37519
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2824,
      1177
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      219,
                      181
                    ]
                  },
                  {
                    "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,
                      30,
                      28,
                      249,
                      78,
                      121,
                      80,
                      152,
                      18,
                      249,
                      97,
                      136,
                      122,
                      204,
                      198,
                      138,
                      1,
                      151,
                      124,
                      247,
                      44,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      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": [
                      14,
                      4,
                      187,
                      147,
                      34,
                      78,
                      138,
                      236,
                      156,
                      235,
                      161,
                      180,
                      8,
                      237,
                      101
                    ]
                  },
                  {
                    "Bytes": [
                      180,
                      237,
                      181,
                      182,
                      109,
                      28,
                      209,
                      242,
                      104,
                      70,
                      169,
                      245,
                      117,
                      77,
                      251
                    ]
                  },
                  {
                    "Bytes": [
                      130,
                      12,
                      163,
                      112,
                      176,
                      149,
                      190,
                      114,
                      106,
                      49,
                      226,
                      92,
                      57,
                      120,
                      234,
                      137,
                      28,
                      192,
                      207,
                      37,
                      75,
                      150,
                      220,
                      200,
                      174,
                      21,
                      120,
                      32,
                      144
                    ]
                  },
                  {
                    "Bytes": [
                      44,
                      31,
                      14,
                      3,
                      195,
                      168,
                      195,
                      66,
                      196,
                      213,
                      105,
                      91,
                      195,
                      210,
                      234,
                      77,
                      32,
                      224
                    ]
                  },
                  {
                    "Bytes": [
                      190,
                      202,
                      218,
                      115,
                      28,
                      93,
                      169,
                      177
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      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": [
                      183
                    ]
                  },
                  {
                    "Bytes": [
                      150,
                      53,
                      221,
                      210,
                      76,
                      141,
                      64,
                      57,
                      139,
                      112,
                      141,
                      27,
                      250,
                      143,
                      113,
                      96,
                      87,
                      133,
                      243,
                      136,
                      13,
                      123,
                      118,
                      88,
                      101,
                      68,
                      146,
                      13,
                      91,
                      62,
                      225,
                      105
                    ]
                  },
                  {
                    "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": [
                      225,
                      247,
                      144,
                      190,
                      213,
                      47,
                      194,
                      163,
                      224,
                      121,
                      247,
                      220,
                      236,
                      78,
                      30,
                      207
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      92,
                      26,
                      156,
                      245,
                      136,
                      209,
                      224,
                      172,
                      55,
                      142,
                      38,
                      3,
                      91,
                      97,
                      71,
                      255,
                      177,
                      200,
                      180,
                      157,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      190,
                      106,
                      195,
                      236,
                      194,
                      169,
                      215,
                      119,
                      168,
                      192,
                      115,
                      1,
                      230,
                      53,
                      75,
                      81,
                      152,
                      40,
                      179,
                      161,
                      97,
                      110,
                      83,
                      201,
                      108,
                      78,
                      235,
                      139,
                      146,
                      204
                    ]
                  },
                  {
                    "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": [
                      14,
                      70,
                      196,
                      169,
                      235
                    ]
                  },
                  {
                    "Bytes": [
                      23,
                      227,
                      58,
                      193,
                      34,
                      187,
                      185,
                      39,
                      102,
                      53,
                      133,
                      30,
                      54,
                      254,
                      122,
                      158,
                      174,
                      123,
                      13,
                      14,
                      247
                    ]
                  },
                  {
                    "Bytes": [
                      66,
                      42,
                      254,
                      214,
                      89,
                      16,
                      110,
                      57,
                      217,
                      153,
                      238,
                      149,
                      31,
                      41,
                      199,
                      168
                    ]
                  },
                  {
                    "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": [
                      106
                    ]
                  },
                  {
                    "Bytes": [
                      45,
                      84,
                      188,
                      57,
                      98,
                      207,
                      202,
                      48,
                      140,
                      2,
                      147,
                      240,
                      53,
                      161,
                      163,
                      2,
                      107,
                      77,
                      128,
                      217,
                      65,
                      68,
                      24,
                      142,
                      85,
                      163,
                      172,
                      66,
                      199,
                      174
                    ]
                  },
                  {
                    "Bytes": [
                      55,
                      200,
                      115,
                      235,
                      7,
                      15,
                      210,
                      152,
                      75,
                      102,
                      136,
                      111,
                      213,
                      38,
                      120,
                      64
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x0df2b6dbbbba4a1c3a1b83d54ce8c00b8a5480aa92bafac4f54d1890f196926e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc504ac410fa07ab6fcfa9773665bb29c63860b4c344cd65dd87d9340d7e8d30b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x68f1338ec7dea631c4db02e67bcff48cb839400c0ac2c845af56ebf29a154578",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x815692939ad7e2ac0a0f6efab2b2804274ba9b6fb7c960e92a4c0ae1762037e8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa1dd039389cb2a164d29a8e1a87b5517a6c9e7e92f70854e26df2093304b8e94",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x892aa7e01d72a3a1b53c642acc6af96dfca4daaa6573c2d3857dcfcfd8efc8ba",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x709e75b86e682752b6fa4312b423e3cd12b6cf5d59fc568584eae1a7ed154dd7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc4d090893ea8eda5f4372b56d40221f19683680d430096c493fb0766f667a257",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf9104ada8b13f299067bd90c4dd7e13c1886e5d37aec4cfa7ef4c1263a9f58e7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe44d1bd6b2fcaa66a70e143f5f60dd4fe6b66d7aa06f6cb8ff6c9f6d60413ba9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x91580fc621f8377442a31993c56d524b1f9ed71fc709584b0ec25255edc72003",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x12e62f23616fa7ee984e5f0adf34aac167b2fd19544d8e1b8e5e4a8ea1d1331b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc180d3f59c2a0d9da38d40a2fd580c04ba54f113c9ad2e450b67fa78974d6acd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeaf317cecb74b11c05b440aa10ad0bb9fc25c31db7a53b5aa89ea7ea9c5b60e9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc5db1fdb0ecde9289c9c02e73e47ee3780c645858cb8f866270aa6687a9d49ec",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x58ccc6013ddd4d6846ba2c878a26e2bfdec8a5d7cc633556326d4e065ba0196a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdc67892c11fa39108cba5a6a0f5d9a37d6154f437154aa830b934003f44eb7f9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdb2f1263be8a16c6a7347db09631b57311393589f58ce9f67bd18fbe95e02679",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2817e9bcf773613e638be9f0767d66b04d9a7bf97013440b8ac28d77cd0dfabc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2065461d2232e3607f56d7e28ff307881b97c9439d564a8008e477ca1fa5be07",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x40ff301405dacd1f8efb9bf1dce7d2485511f876a0382642c9551cb7aaaecb21",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x70080cdc25d368913b96fc5f9f8e04724d08935f7d53adba3ee332264c85ef5d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xda165286d84251a110bab40133947131cce109b46bfde943c309b18e54a4a456",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x3cab2c3625a98638af5a02c4e972dfdfbd77eb3fc4c7976e2374a7c33254cad8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x969a7cedb31c811364dc3c6373d25e8c5559e9f1473dd8be45dac5f5c12117ed",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x45cb1998bb0f3da2e41b0f0d7c452b9dff3a23f8a2a7bb9baa17212b7a2f48bb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc5e7c8b8525903624633a4a83f49a490874e26a9e128767cdf2eb057063f8632",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb39797c9120754e2b2a41d7e0b2c18a4f2773b11d15513db4580842a3b1939e4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4c90fb3c7de45c4283e19afa909db54924e78ed73b86ededad8b6a9f9a1aa788",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2559f0106506ed4846de0f934eae0d2bd2a9afe6c42bd15a1f4d4d893099bf4f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x29b831e4c47f7c7ca145a314c470cbf90d5536b4e381b2924d8a157ecbee66f9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x889473f7192748c981d3818b7c824eea5eed1394e796141e35d96e59eabca44d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x03c187cb00b485cc797ad712b53e682131b3a7452c0e138ac03b7cb360fe64c6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x773fdbf2220929b812a593e49975f583ea4706f8cc8b26e2dcea9b07a1e4f20c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3b4a17073b05e3474d4ad69a0626529df8e29bd60ae9628938defc0aa8b5da29",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb4bd235d0f4810afab1adfcc57d3e2cc19e87f26d72f87e3176c17081d7f82a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x329a6463785732808c968e46f4a6eb48fcc87312468df29e966822247450d5b2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x93ea4acb3a06c3202964a62899e0c4ebd38fda2fbce28dd2fa2dc05fb0c7fc0d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x69def7070a4988d20a8da914e4713e16da6b1b7c9fb881a9c46514be3ae731ea",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x38052f2e34b3ca471258b16ce6b6ca29c5fc80fc44973e5540d3ff31224c1e76",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0b686949ddcec67595ad7363137a7321318a3afa7f4e5201cc3a81a155308644",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30c5751ba44dc60a36202e6bad029ddd6bb633347c622c2524f5c9b77a5fef05",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xddd7b37a93c61e9a2da6444825f18549fc4d9e0513ac20fb0c321dd9cf8bc049",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8f4c462622c7ad20df16e021c6e303fe0677c5b3429452bd6d3b8141ad5b1846",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x883605af450ebde43fc13ec4e77aa3d7e9ea4516535dc14e77c6b1cc40c183b3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x03b76042d33578d7fea92f625a33c0c56517b7f472f518be3f605467c5d717e2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdfb0cbd9042d8778101e7a5ab44ad3b394da677ec001c55a0881046945d71e7b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0c81dba7feafb33c00b60a53e2df14a80f6815f2f033b3588bee994919711e19",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd120d43c1641f8c7de7c3bcbaca8646ac03216053201a5cf9543f224abedf0c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x55cf624b6c7530c579907cafa483f8decfd3d5e491b98583a7645befc84e685a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x33c21eaf811c61917219f4cf7a9fc1ad23a9fbfdf65b4e9273a2e7226ff37d04",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x85dd33aef37e650908e9dcc3796d790d882923ebff3d1c3aab0783dffe699987",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa7670de42ab4d9427dec93c5f8b68b1265288a41ed9b320c3f8d0a046040af5d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd59b390f472ecfb5e49df2ec42d49625ffe0e78ffa0e84fc12534d978f9765d5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x06ae1faec76c081da4ecfcecee11a3173901226b0354a23ea7d9a0a726291049",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x58e8e949f08431d5c66eabe0ffc48a118e91fd1de52ac10e7bcb650efca6655f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9710b02fd79e484484fdde67f04f8052790e021802918973d921f8cb20237797",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7d836d6595db90f4825c34c2794cad8467a44b034c7d83fe58c6cd82f8842b3c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x942486c70811bedaf3b7fa92fc26f8d587a741de89033b4f12a594ce6814db32",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc4b8356693efb29840f1f4769e4e964a1761cbd89283af439d6946929c0a819d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x362126efaea46390e1c79aad314eec642e9ddefbb7f219049e69b1e26ca852e6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20c8073bfedda1e649cc42b6e40e37803f1151c46deb520c7876b592cf120b47",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x5c04076ba75c5ca19f6e5e2a1d177aa2b2801d8708c975cd6f662b10afff6dc9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcc93571ce74037697a6e809412f7542585cf5e592bb7c425558918f0d43c4d75",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4b511fc20b77d0f1ebed3b82fe7fc3d6ea6e36d67d19ca84461ae16d17ba0e26",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x33575a51d457dee2b26acd73014cdcacf91dbfddbd360462aff4b45fd5720323",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe34600bc5bd191caadb41d83aa787cec39da1c26de570de182dccae4a61fbfb7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc6c9ca4322f57b7402ef95b115701cd8d1479500d7b3ea818d29cad96fde68ed",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfc1f3dfd07a284ec726f9fd0edec55c0b0f79b34736e4c9cac919599fced3357",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x05c4cb3ed95938acc579be5f2b142e6359a6736ac11175a8df70c0788f0b36f4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf3b50314c64f428fcc117d52ec7d7029e8aad4ca6924e2bfacf3de8de1ba3aeb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd744672f6f40ee53291c0f939b51f198f16b79a8aa7f9c5fe98db773c8ab2fb4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa2d347f35d4cb1f0b796635db2ba595076332aa3ea5c5d5fa27af6f90ffcf8c0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa3cb41d1e2a146714004a9b78257c53f86c51d245136c4e51c3e8f62a5ad096a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x847c8f949c520951aa5a1907b0bf820592db74190c5f4bde038ec7a494e24492",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x16073ebfa67f1302a06f9f10e983f7750dfc55100a306718206f582b1ba1bd84",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5375f65967f4c8c7506fdd4220118ddee88a2023349d48b2e675028fc91f2f58",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb667b1eb5b371c54e6b9eb57cd9815726a86ed1b8870235211e3483dc896cda9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x80e8765498cf3661c20c288982bfeaddcfd7c8b33357059f5ee1e7ae40dcfd7d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xebd884e3e37ec18903390418b28e887c4ab644f115a1719963371be8f18c08f9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x230d806acb6390d34ceef35af25be939e43f3b175ef8d2e5a685f7a45a84276d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x00435396fb86a30e449be8d32a09d34216e73cfa110cedf50c4705cb7ccbe03a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4e2113bcd31c1b11ee9ac4db83b55de46e5485bd5cf5338a5068dadb19d53c28",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd31d800f2922c598ae6456bada574b5dda36760e09161e0f3ac386cf295ba22c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe5b4be1f83cb60e861e77e8ce3542247a870c6ed7dc0c95f5292969f8d1b77c1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7b552c4672ad95104450aaabe4d3cdb7b793de88cf6c9bd93cf109634891f12c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcd55855ae988468b24822345043b70943c0d209c19214449bb71351780bd622f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x952753bf50501655597b7dd7879ade05e078f40f3209c268ce72765cfe0f8328",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x34999bddd3d0fd6fd7723bdc71757de5c7e1414bad222d64800909b769e3012b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9747cff43c720b0d48c5cacff6cd3972c42d9cc83eeaaffd99e8d532095f5fec",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd69748798cd04c16f40e508b4c386341da9167d5cad68a2b11f79169a1f14b58",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x52e5fabe7a717859ca0cce253cf68de12fdc9e3fe98c6f4c51fbc7aecae830d8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x72f03d3f998c2055eec0015d4a2690fae5446b8fec2361a7aa42d6c5295b0c41",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe6bf5e7d820f0bba08ce6ab542d85bfcc65748b8e601ecf13812e2d9174a2d03",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x57d27157860728693984574d2abd753c518a737e193ec4616cc8be123bd30487",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbb9124701c8831d8f7cadf8a112390a62cdaa69e73f9837aae38496058f2e687",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf917b99a3259fdb8cd449ea772a0f22b442a9776c16ee3bce9b7bda07d68096c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4f2a6226f878e7352ca6c03cf11bc6cb8837bd9f29e224281e6f6de523013936",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x42ef476207d61d38de3b560e5c50f34bcd4b964b0ecd670dda862180ff7d38a1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf6f352f1180ef6bc54b7de93cba1d773401a319fc6d6b26d3a53a3ff977b68e6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2f423c685cbaebc8888a571ba34f120593e295e62fcf53c4e686d8571c72482e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6fa6dbe4504e621a2e12f82cb84948a6c6b962f534009480559524fd08587817",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9e3fa8fc5b623c6cbf6eabfddf7f9b05c7ab3137118b9e833dda96d18f952c31",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x159ef82047a5b6770790405f08980f660f50e6f77ec07370de442d80bee50a14",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x29e4ba2e686299338bde0c2a19f4f78b8103a0c210deec7d60b9dc47258b2cd5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfbb587f05ca356439597a6261705da376e0b26d11e4236c842c3d8aa40cd2cc6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3ea27b366713ba56465c5e6e266299d3ec9c1628321d84a5359cc183f9423cee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xae4a8e85106895eb25e3984e4ccb13488daf22f0ed0118b46a12736d5b1e30d6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x91e317a27c57ea612d723449dd9d807cae312cd824aa9f5a4c6608d1a65a8b60",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd44a32c4dc0e966475731cbf11ac98c4dddfd802b9b2b91ee3c254794d3740de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x376f5708f38287c8acd057e1eff0d1ebf2957464f4ab23e21210a9a5278b2e6e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa38b5915089781b77cc7141b6c0603f507fa96c2205355a17b973ef939d312ad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x54b6ba7f5b9ca9c859569a5cfd0d6019e7d09c2899c2ef237864f6affabd0b43",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x572475d8b0a42094a84e714795b74949377c3c6bf729ac4aca9d2b5bb70d73f8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0378b6c6c22e33e216d8dabb23e63d0b27d0b5eaee08aa2abd713ece4256e183",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x671c0b889c428b156ee80b7fb27aad98bef1fdc03ba4ebb870d82250f52743bb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf37da329e370271249c4e06e7a3c84ec80b626692a4e16a7dba093d8b6d8b372",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0fbaeea5d2c9c48ad738cd63af812ca038d9350f142ed6dbc5781ff0e8043598",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6c3e1ac31eade50e8741cd7e2e14c5b232c7c4dbae6de15ee5b8c52da4ca5896",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe4f9340ee708c67aedad220320f6bdb466a9e05a67212d05bcdf144b34d8055d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd570d729a263a433e9543c180f548e45f4052e49dd7001e4dc0f616048965e72",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2a4c4aa4a6b7a958f98cabb4ee9ff209409145275ad1b6fee21be50f7780c5a1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc56a1cef7e53cf491d20235eb55958773b37077aafb11ef1f4ea2d4de761dbee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6cfdb347b219735f82b88bda3acf894c74e7d0eafd7dee0d322f6a93619c251e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf9a5bbac0afa69384848c32016448ac8a31dfbcb17e33a3f794dd3d6f8825011",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd48c11b8303d6838c4d7311b38e238cf4746108089de80a71d08ee33a6d27fc1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1685e8dee0cb1550918e8050be962084e128bbbe442a236a72d2bdd5f8c5def5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc81086dcc9ce24e0ae53b742d16279862d6f33b5ebd371e68d6f75c4ab75e6e1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1a4deb6fa5f6d1afcc02bb3db0c3a19292d31c3fdb6d5f26d8eb07eee2200730",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x702fabd4537fd6289176258a2cee460964ed30645dd98391c56f913cc28ad310",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc8fda8a769866b606325a1d09feb2078dec4a7648dcf8c79a6c2be5fb782498d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x385344e5ad5dc702231013b2cf4ea3fe88ecea32bc928042e29a3bf69d4ccde5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xabbcf7613002a564b7ba015eac1f98e620d6cae5b2b537b006da5b158141c299",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa7f34dda3c7fb6317fcf049f69a89c2d4432d1a5b9538806ad6e1bf1c2fec270",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5ff199e021a5f6c80f487fca6bacf10e23e2f918157ba3574d098e29bff93636",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x5629053e567662bc3a06bf61257022caac4270a9f8901e183c7dd983b264885f",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x0cf5d1c31042a4a29f4371702decffa07845e684bc690f46280f248af3728aa5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5c0a8139be0455a48144ee399e6911b493885e9479965a5650c45a7c26ca47fe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x53f66bd1ced6a6c11232a7952c726b2379cb78aa76d24dc7f5d510e32ad12ed9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb62e6f826e2b5dcc07da0da392afe14d55623c9297c49f4e4fadf540fa30a395",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdc6176f94dda4173bfe37f2f954bc73ad52b5d97c61f960cda6e8594e60fe071",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7720091fca1ed6e6065666203e25b4ba8e68c7f4cb6be0e7901ba0cbbd7b19c2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbb35342b9506fe5d2de5661639a4044c64b442aee6694fda32ba343c6deff188",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc886338aa8180cb988580e95ee1bb6f7fea3a72db1068f61777fa2b15eb71370",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x64938372c90c54d00dcb7e808f19fc8b02fa13c4ba0d318a15bfd6a9acf9107a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x19486fddf6d47d51036c9e498954407b03d8dca253e2e089126be50559001546",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1eb3ebf11b2e7580abff5668399e8d8c216253e2fb33cca1107a146b15b8fc1c",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x1bfee5285f5a43cdf957ff676a6e44b0a4347cb8aaa0034fbc849f94b946af0f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x924e58fbca38eda91d7416cd701fdcdc2952d8392b280615d27e335b70fdc8a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x10d1afc1816db6271aa98a2d341595f0c5c3a45d7d842c637bc1f282b7fc5cd9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa42567acb385f3bd096b4c00053daa7793387b617f405357d098ff252cea4eb6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd78cac63609cc0aee1afefef90f682ac1a18f87a0d05d21daee403931886adf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2a70927f486e09d7c7a2e795ebb4675a7dfb6f63ef0c6b77771581cd195691c2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x69af47ad783fc708a2bd78ec5ffbc3c3e38fea64ae95bb3052e96ad01e405d08",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfa293d1d72a9b1b9b9d8e5e3fcea0931b53d39c4d2055b21d6d3602a8fedc0f5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5a1f8f85e2cf66d07973ee1e3b4981f6678251a6733864c3daf930e7aea05b3a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1618d6767c097f35b7b63ade62d938f1d5a38c76762c186488fed70adb313262",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbe1353b9de7c37dbff384cb18cb642adcf827554a352b0883374de306a7ba5f4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x23e7934d1951bfa73980e3d2059c554758c4d67fc567d82992bc342e2653aeba",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xddcdea1afe5f22e663a8b6df54215588c6a774dcf06774a1075bd4b8ca131f5a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4189c807940409480a80ec64fa9a4c9772510a15953a2583053af8f9a9197f86",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9bfe8c6eb94e51ef6edaa75893ed0d198cb18b3380e7ce7373faf53b81da06c2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd816f60989babd4452b6150b685a6e880e4c1284b401205c4260fa98599f8f3a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa33507d68b5f0aed81341067cea0a47d13f21e15d007ecb43da506386ab95202",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaeb77674eaeb4c1bc8bfff6b614acd1bc48412cfc3a2c9b17d419d58810a0455",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x99d3f7253a0148b7ff1254190159c5eec43d64fb3fb090af96475f97cf330606",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x898e638d71778f53300b87d82eb6df92b9ec8ef0bcc0c0da0e7b48f8e2cc3180",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf325e4771c802528a581cf4047a4616827428df2573b377221296a791234a8cc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf90ed1bb39f4a54afe35a7b69f38074c97d661fb530c7e18b7d3722cf78bbcad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x754bb05a77c40ec7488c4518c3701653d40c00917d399ea89549f1fde35852f0",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe52009da2280a9cae05c5d55e6636448adf5d9052573ebe83bcd832abb2557da",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe98757caee966d92f8ea73f89f21d30352ec41d26b52197f60a8f5fc277da501",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc990ac10f7bf3027fe76a182513b18d6bacf83ab3d1a6b2c45097a9e20f653f1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x35a84994beb7b2a35e9d0c1e4ce774d0c802f35119d48f814b57ec0b6a27f23a",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x1e9b",
    "delay": [
      86855,
      19061
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x69",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1411,
      30769
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0x82e0f587a2722da0a118e499acd97efb727f614ba37f4fbf0207bb9fb6681eca",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80649,
      13408
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      90108,
      17462
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0xb33fef14a83288f4c35c9a99a015b71d6e18fb7639f92bf66309ce2f65c3f3a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79227,
      53108
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior4626",
        "args": [
          {
            "Uint": [
              "0xa",
              8
            ]
          },
          {
            "Uint": [
              "0x3b",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23886,
      371
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
          },
          {
            "Uint": [
              "0xc38d477c9b49dab2f15171a4f5dac6f0f8596d4a492c6a8df1395ae77eb6139",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      25635
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      103,
      26265
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xd35b7aaa83b51701aedec66e492fabf62af021808a374990662b7b05e8144dd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7166,
      191
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x50604d335b8e572a9f0218f058c6bbfb312a6612906fb2267038c1967a813a04",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24295,
      17139
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      132083,
      2913
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79570,
      23331
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2869,
      59602
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x21",
              256
            ]
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2958,
      1452
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Uint": [
              "0x4",
              256
            ]
          },
          {
            "Uint": [
              "0x31",
              256
            ]
          },
          {
            "Uint": [
              "0x5e23bca1fb102878c3b50a65d4e011dcdc1e51c8a3d1e54636a739c446c50aee",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8517,
      618
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x3c58f97a85d134e691c1b7914b15c39c0da630bd4db8b09ed83689fbd56b317",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74610,
      3995
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "String": "x(aU6Ie!\\BZDKj+a07Ww\\LX)"
              },
              {
                "String": ">bT02!T0"
              },
              {
                "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
              },
              {
                "Array": [
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  }
                ]
              },
              {
                "Uint": [
                  "0x6ca71d49cf71e0fd6f89f308157d8de187dc56b428d4284f",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8",
                      256
                    ]
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2049,
      5884
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31584,
      6834
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12207,
      2153
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x2b7",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      19882
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46270,
      18102
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119455,
      59070
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31152,
      750
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "String": "?Q7y>Z;$UL]p"
              },
              {
                "String": "<MO)'S;4<}qjiMWvJn"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Array": [
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
                  },
                  {
                    "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  }
                ]
              },
              {
                "Uint": [
                  "0x569a1ab91e9df3675d785b944c40c02f7e880bf84ce007f0ab652ff04effe289",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x3e8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x64",
                      256
                    ]
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2910,
      5847
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0x32ae2d2b8436dfeba8893ed40c5c2b70418cc03280fe069e666f3c79ffc1e893",
              256
            ]
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      127710,
      60236
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
          },
          {
            "Uint": [
              "0x9519ecb09303358c7b65695d1147b0f47f5487a83e65ceb8006d0c92173619ec",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17237,
      39727
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45523,
      25793
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Address": "0x0000000000000000000000000000000000000005"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      536676,
      53596
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x47",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10643,
      5832
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0xffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68710,
      45000
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26536,
      26471
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3082,
      4801
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x0000000000000000000000000000000000000000000000000000000000000000",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      337798,
      6288
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      134470,
      947
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41462,
      3926
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64985,
      19726
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80703,
      4115
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc60eae75fa431dce1afc34479b3e1dd9748001b9e4b9c040499e262",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1",
                  256
                ]
              },
              {
                "Uint": [
                  "0xf38ceb31da6906f7bae8ba0937f7b45c5b790594a0f3e32c44cbe60976916a11",
                  256
                ]
              },
              {
                "Uint": [
                  "0x67c2be362bb983d3559a042d2a2b63dd3c57033563079208fc324c01725d8449",
                  256
                ]
              },
              {
                "Uint": [
                  "0x48",
                  256
                ]
              },
              {
                "Uint": [
                  "0x5693bcbd0da6bd9e3b238c7d7c82ab19880c7f4047fb9e025b671cd74bbe393f",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4192850e0334e8bc834603154f8ade1976db46167445feba35d3ad39e41747cb",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa5",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x686ecbd77207a4e2a540e91e246dc8c5552a3ce7093a0ca97b89fb1d97d7524d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x57410c80467855d0cb62d62fc78902ba272550b98d061fcee5845dfdfe6160d8",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x29e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x67dad727e4be4c3fa0dee4c14fe14b4091e296c32ce52c6c0f6ef5db199d2cf",
                  256
                ]
              },
              {
                "Uint": [
                  "0x85aee3c68c8e6cdf238af44dc4aa57b0dbd76bf5361861a809d0989a4339f14d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3b7f3a0cac56c9c34187500853ad195ecc989090c01f95d4fcce015d1f87be67",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4",
                  256
                ]
              },
              {
                "Uint": [
                  "0x23",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc04534d932b673bc624eec37e66dd1297b5a5df04cda8948d64f9a301f832067",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x1b11",
    "delay": [
      201757,
      34135
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x2069741e40f33e3282180eaed0983faf2c61a420b1ff067c0fda7b0bb29bb689",
              256
            ]
          },
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      297926,
      21204
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0xc",
              256
            ]
          },
          {
            "Uint": [
              "0x7cd243f15cbcc6f2701b014b88d7c9b6309523747ed116bf836ddd249699b9be",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7056,
      27981
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
              },
              {
                "Address": "0xd8f5da496acac50d57b675fde00f6b95126a70b5"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
              },
              {
                "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
              },
              {
                "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x2a",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x3b",
                  8
                ]
              },
              {
                "Uint": [
                  "0xb4",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfe",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfb",
                  8
                ]
              },
              {
                "Uint": [
                  "0x94",
                  8
                ]
              },
              {
                "Uint": [
                  "0x88",
                  8
                ]
              },
              {
                "Uint": [
                  "0x1d7",
                  8
                ]
              },
              {
                "Uint": [
                  "0x30a",
                  8
                ]
              },
              {
                "Uint": [
                  "0xd7",
                  8
                ]
              },
              {
                "Uint": [
                  "0x8",
                  8
                ]
              },
              {
                "Uint": [
                  "0x32",
                  8
                ]
              },
              {
                "Uint": [
                  "0x1fb",
                  8
                ]
              },
              {
                "Uint": [
                  "0x17",
                  8
                ]
              },
              {
                "Uint": [
                  "0x1b",
                  8
                ]
              },
              {
                "Uint": [
                  "0x2a0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x35",
                  8
                ]
              },
              {
                "Uint": [
                  "0xf3",
                  8
                ]
              },
              {
                "Uint": [
                  "0x3",
                  8
                ]
              },
              {
                "Uint": [
                  "0x80",
                  8
                ]
              },
              {
                "Uint": [
                  "0xca",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe3",
                  8
                ]
              },
              {
                "Uint": [
                  "0x10",
                  8
                ]
              },
              {
                "Uint": [
                  "0x44",
                  8
                ]
              },
              {
                "Uint": [
                  "0x2b",
                  8
                ]
              },
              {
                "Uint": [
                  "0xf1",
                  8
                ]
              },
              {
                "Uint": [
                  "0x53",
                  8
                ]
              },
              {
                "Uint": [
                  "0x35",
                  8
                ]
              },
              {
                "Uint": [
                  "0x50",
                  8
                ]
              },
              {
                "Uint": [
                  "0x30",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51145,
      24966
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38014,
      45026
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16905,
      21836
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x14e",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x53",
                  8
                ]
              },
              {
                "Uint": [
                  "0x8",
                  8
                ]
              },
              {
                "Uint": [
                  "0x82",
                  8
                ]
              },
              {
                "Uint": [
                  "0x55",
                  8
                ]
              },
              {
                "Uint": [
                  "0xd2",
                  8
                ]
              },
              {
                "Uint": [
                  "0xaa",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfa",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc2",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61129,
      339
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      385988,
      6330
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64980,
      34572
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1412,
      4593
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x101",
              256
            ]
          },
          {
            "Uint": [
              "0x45402f0c0ea4f7636396736de9e6ede1d5eaa42dfd1047be63f8588a05a5476",
              256
            ]
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77852,
      4933
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30751,
      16202
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81334,
      5522
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4259,
      1887
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      570,
      17346
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0xc",
              256
            ]
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73192,
      3065
    ]
  }
]