[
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
          },
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21900,
      22688
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x148",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36843,
      6922
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75596,
      25303
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x101",
              256
            ]
          },
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2407,
      50770
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76502,
      6612
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      548697,
      53476
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x298",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54342,
      15318
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64476,
      42830
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0xfa2a28cb7270c4d9a6383fea5ecba6ac8537621f6ac347036d720a84db6cfa73",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65582,
      54505
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0x375",
              256
            ]
          },
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5347,
      55631
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86177,
      16874
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x36ccbd94f80c9effa39755b4b1aea69445c5db50e9341830bb1bed916e07087e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      591372,
      3435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      202592,
      14591
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      116505,
      58112
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59995,
      23332
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86436,
      271
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78760,
      11514
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          },
          {
            "Uint": [
              "0x420f6add287363062451a68ac38ff30108cca25b586a91495e185cf5aa4fa8f8",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17344,
      35137
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64976,
      38064
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      879,
      26284
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0x4a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56750,
      17881
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x3feb754ff175370846561938af04968bc31e21c6dc83eba4f1cc8aea6c4cc332",
              256
            ]
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2522,
      15512
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34560,
      9828
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      109480,
      57540
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0xaf",
              8
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x200000000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1142,
      58242
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84029,
      4411
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0xff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24770,
      51390
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84901,
      25029
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0x1ec9d00133b3141e8b080acfbda39731d3413777c78259af8fc782d649dae4d3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38012,
      48870
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x3c1fa136aa3347df5faea55295cd07",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61534,
      7879
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x43",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67419,
      4887
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40867,
      9545
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72451,
      11994
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11053,
      9878
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x4b9509fc946e550f4e3b2f95ae14158d0ab4c7a56a77a3f89312bc611747768f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9180,
      215
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3773,
      5650
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x22",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      233070,
      46521
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x9883fac0e211375d03d7636fd47981bb946e9ff7ed306100aedbda1323d6e412",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7216,
      4920
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7272,
      44803
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66830,
      31311
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48890,
      50092
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58335,
      7702
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x12370f4e1d875771e28a890cb3982a44830df2817ffc926c1d323767d1dab",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4964,
      47691
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x4718574ab4ba1361578533ea624f6be11625c555429386cdad17ded8944dbd97",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57120,
      7405
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
              },
              {
                "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
              },
              {
                "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
              },
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
              },
              {
                "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
              },
              {
                "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
              },
              {
                "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18001,
      4616
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26124,
      58002
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79986,
      15165
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      154177,
      8818
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81249,
      48001
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "String": "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000"
              },
              {
                "String": "\u0000\u0000\u0000\u0000"
              },
              {
                "Address": "0x000000000000000000000000000000000000027a"
              },
              {
                "Array": [
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
                  },
                  {
                    "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
                  },
                  {
                    "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
                  },
                  {
                    "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
                  }
                ]
              },
              {
                "Uint": [
                  "0xb28b937e1557802fb3c61f39f9cf3e3b817f5cd0dbd594a786c6096661d8315d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x10000",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xed0a860720d48fe46e442ad7788cb80b65e783eb694f501f15110b302534fb1c",
                      256
                    ]
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      427688,
      3785
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69501,
      27711
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      333112,
      13172
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0x000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69607,
      27709
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x194667c8753e74ebe1eb6001ec731619298b84af096921b0bc61efe9d607010c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7622,
      18610
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4012,
      43558
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20886,
      46444
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0xce8d820b25d1e7a415e1d31b7f1fbc9f14b7bb2484b604c721e09b710584ec1c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24867,
      32106
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x6c925b5d736ef1af55c77ba365d2b178b11a69aadeed4c21933e0fdd35331bd9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64293,
      59823
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xfa7be282253eca99183543c2f800027b4d10ead2479f6a1ac3690bc2115cb05f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15552,
      2804
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5102,
      9526
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6633,
      4683
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53831,
      58438
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0xa57e54e3bdabf749de3cc76c26d55f73dc54318408df1fb41896b09b919a81d0",
              256
            ]
          },
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Uint": [
              "0xb5f9f5a4c191fcb631eacea838c576bd4ed43e4317bec830ce58a4b8dbf3b9fc",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40866,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71346,
      6056
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34038,
      57780
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      114308,
      6823
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x5109a1a3376c0dbac8ad7d1c359b6c9fe530c731e93497c56f7eb427b4df9b77",
              256
            ]
          },
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Address": "0x0000000000000000000000000000000000000200"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82071,
      5259
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0x7f672d50f29c4025a5770eaab80f58a003ebf42f63413a26bd02c0f9b0188dc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47070,
      27942
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14401,
      11250
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1818,
      35452
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000000"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5255,
      14727
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x2e093b356fafe112e3a7788bef67e4f24eea05942b872645c372e87298ce76c5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78721,
      4257
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "String": "*qeO`LK"
              },
              {
                "String": "0&FI(w_h0S%RGl->FPY[V-3X"
              },
              {
                "Address": "0x0000000000000000000000000000000000000000"
              },
              {
                "Array": [
                  {
                    "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
                  }
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x8fda85672c1858c73fefb9daf6a321d92f3ef46d9f587d250b1d3645bdfa8a89",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd22cf9c4d1b5216ee32b983f7352cc39558307570faba55b43e93df7215b7f2a",
                      256
                    ]
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      733
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5316,
      38241
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5347,
      9837
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      457836,
      1356
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x6b562e60758bec4d0d70cc57271bfff593718de24ce2dc0362cf891a0353ac88",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7099,
      29996
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior4626",
        "args": [
          {
            "Uint": [
              "0x1e",
              8
            ]
          },
          {
            "Uint": [
              "0x6f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      161543,
      6682
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Uint": [
              "0x3839b5386deb802921dddc259020b4d8fdd82294fb97a862b9fbee2dcd510ec9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30058,
      59421
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      307,
      22297
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x281",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82850,
      1330
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0x840aefd60c2c8736cbe74bfcc0d2bb3f892a46f28de43abee445105ecfe10841",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83212,
      3761
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0xcfc3801c929c0f310820f1239c4db6da233867c0e5f5941a8e98e119296c73ac",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25526,
      18824
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
              },
              {
                "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
              },
              {
                "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
              },
              {
                "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
              },
              {
                "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
              },
              {
                "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
              },
              {
                "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3061,
      38495
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x4",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35918,
      2716
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x8a731f163a9c11c71a53d0896186ec94e8cd54ad88e1fe2512c33f60aa2cfb15",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3005,
      842
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
                  },
                  {
                    "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
                  },
                  {
                    "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
                  },
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      116,
                      131,
                      46,
                      108,
                      179,
                      14,
                      175,
                      169,
                      239,
                      73,
                      13,
                      182,
                      150
                    ]
                  },
                  {
                    "Bytes": [
                      42,
                      57,
                      136,
                      18,
                      166,
                      54,
                      62,
                      250,
                      87,
                      156,
                      22,
                      130,
                      138,
                      127,
                      216,
                      223,
                      244,
                      210,
                      233
                    ]
                  },
                  {
                    "Bytes": [
                      247,
                      199,
                      48,
                      149,
                      232,
                      62,
                      114,
                      38,
                      178,
                      115,
                      202,
                      5,
                      147,
                      197,
                      171,
                      169
                    ]
                  },
                  {
                    "Bytes": []
                  },
                  {
                    "Bytes": [
                      251,
                      101,
                      251,
                      201,
                      16,
                      9,
                      196,
                      35,
                      161,
                      126,
                      38,
                      89,
                      253,
                      35,
                      247,
                      243,
                      1,
                      155,
                      21,
                      178
                    ]
                  },
                  {
                    "Bytes": [
                      107,
                      54,
                      161,
                      53,
                      31,
                      20,
                      8,
                      4
                    ]
                  },
                  {
                    "Bytes": [
                      226,
                      158,
                      138,
                      141,
                      39
                    ]
                  },
                  {
                    "Bytes": [
                      131,
                      181,
                      26,
                      85,
                      249,
                      73,
                      83,
                      40
                    ]
                  },
                  {
                    "Bytes": [
                      103,
                      194,
                      244,
                      18,
                      42,
                      145,
                      211,
                      248,
                      222,
                      214,
                      226,
                      66,
                      140,
                      236,
                      233,
                      89,
                      110,
                      77,
                      179,
                      135,
                      150,
                      38,
                      56,
                      56,
                      128
                    ]
                  },
                  {
                    "Bytes": [
                      130,
                      226,
                      223,
                      206,
                      207,
                      105,
                      94,
                      1,
                      10,
                      121,
                      23,
                      36,
                      28,
                      154,
                      170,
                      84,
                      64,
                      221,
                      26,
                      85
                    ]
                  },
                  {
                    "Bytes": [
                      135,
                      194,
                      184,
                      135,
                      95,
                      230,
                      95,
                      20,
                      250,
                      55,
                      149,
                      241,
                      160,
                      201,
                      154,
                      121,
                      159,
                      69,
                      138,
                      174,
                      84,
                      161,
                      73,
                      31,
                      68,
                      246,
                      171
                    ]
                  },
                  {
                    "Bytes": [
                      90,
                      29,
                      170,
                      28,
                      24,
                      138,
                      167,
                      125,
                      114,
                      94,
                      215,
                      86,
                      28,
                      193,
                      60,
                      156,
                      15,
                      50,
                      20,
                      217,
                      38,
                      128,
                      34,
                      230,
                      75,
                      132,
                      70,
                      91,
                      111,
                      228,
                      104
                    ]
                  },
                  {
                    "Bytes": [
                      233,
                      194,
                      85,
                      177,
                      148,
                      213,
                      149,
                      14,
                      114,
                      60,
                      188,
                      108,
                      231,
                      200,
                      211,
                      101,
                      80,
                      87,
                      59,
                      171,
                      105,
                      195,
                      153,
                      26,
                      178
                    ]
                  },
                  {
                    "Bytes": [
                      109,
                      245,
                      144,
                      97,
                      1,
                      93,
                      250,
                      215,
                      166,
                      0,
                      7,
                      248,
                      56,
                      215,
                      176,
                      228,
                      46,
                      104,
                      228,
                      9,
                      187,
                      171,
                      246,
                      65,
                      61
                    ]
                  },
                  {
                    "Bytes": [
                      2,
                      81,
                      48,
                      219,
                      68,
                      130,
                      65,
                      126,
                      133,
                      21,
                      90,
                      114,
                      186,
                      17,
                      199,
                      170,
                      14,
                      23,
                      240,
                      22,
                      139,
                      74
                    ]
                  },
                  {
                    "Bytes": [
                      98,
                      87,
                      27,
                      47
                    ]
                  },
                  {
                    "Bytes": [
                      189,
                      229,
                      179,
                      93,
                      68,
                      253,
                      72,
                      73,
                      212,
                      6,
                      51,
                      27,
                      223,
                      83
                    ]
                  },
                  {
                    "Bytes": [
                      178,
                      9,
                      81,
                      32,
                      55,
                      235,
                      96,
                      213,
                      26,
                      207,
                      153,
                      40,
                      240,
                      5,
                      176,
                      145,
                      10,
                      114
                    ]
                  },
                  {
                    "Bytes": [
                      200,
                      11,
                      196,
                      128,
                      110,
                      137,
                      76,
                      102,
                      61,
                      121,
                      153,
                      46,
                      56,
                      70,
                      233,
                      124,
                      142,
                      9,
                      249,
                      126,
                      197,
                      253
                    ]
                  },
                  {
                    "Bytes": [
                      124,
                      230,
                      201,
                      66,
                      167,
                      176,
                      34,
                      240,
                      59
                    ]
                  },
                  {
                    "Bytes": [
                      76,
                      29,
                      21,
                      15,
                      82,
                      175,
                      128,
                      176,
                      4,
                      187,
                      84,
                      103,
                      185,
                      54,
                      235,
                      36,
                      3,
                      230,
                      197,
                      51,
                      190,
                      33,
                      100,
                      132,
                      237,
                      100,
                      172
                    ]
                  },
                  {
                    "Bytes": [
                      34,
                      106,
                      38,
                      10,
                      220,
                      249,
                      212,
                      62,
                      48,
                      12,
                      187
                    ]
                  },
                  {
                    "Bytes": [
                      174,
                      141,
                      251,
                      139,
                      1,
                      2,
                      233,
                      204,
                      126,
                      165,
                      69,
                      53,
                      24,
                      79,
                      236,
                      154,
                      155,
                      36,
                      240,
                      58,
                      54,
                      14,
                      75,
                      146,
                      146
                    ]
                  },
                  {
                    "Bytes": [
                      18,
                      162,
                      103,
                      226,
                      224,
                      251,
                      25,
                      25,
                      215,
                      63,
                      224,
                      78,
                      254,
                      123,
                      45,
                      112,
                      177,
                      70,
                      30,
                      12,
                      26,
                      98,
                      101,
                      158,
                      6,
                      46,
                      30
                    ]
                  },
                  {
                    "Bytes": [
                      68,
                      206,
                      150,
                      246,
                      210,
                      109
                    ]
                  },
                  {
                    "Bytes": [
                      94,
                      245,
                      76,
                      161,
                      196,
                      182,
                      153,
                      76,
                      110,
                      121,
                      89,
                      232,
                      33,
                      211,
                      223,
                      176,
                      54,
                      123,
                      31
                    ]
                  },
                  {
                    "Bytes": [
                      88,
                      180,
                      86,
                      228,
                      6,
                      43,
                      217,
                      90,
                      30,
                      79,
                      247,
                      177,
                      237,
                      95,
                      144,
                      161,
                      100,
                      250,
                      109,
                      106,
                      35,
                      218,
                      199
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x71b844169633a36f7bdd7a93d1041f71e520e0034a7b85586275449d3ea38d27",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xafbe18abbfb0b1ab2dc602c7a755de30f6eb8443d0322577780e255a2d0286ba",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1a5916301bfb75abae8baf9ca",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xcd12ec688eb74d88c0271661edadc52ce5a80ff82d9f4f3ddd2225bcc4d75f57",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf0643957bd8afc96063fa2b6974a0102249f1437749b9d96efb9c67227ea7f97",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3a9416fd4f9b5b614cbecd924ea0425369282e2ad3a190b8d60cbe46a6cb6bf3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x36baab1a243ec548852e695a6721eef083361c5f2121fe41f7bcfeeaa5a1621f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6b48db84b94a6d97d16da3416629a3950cbcf770959ef06e7d3de39c1b81c215",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe994dea9b3a1ce803cb49455b6707c901d92f9475c5e12e217abe89144a2d29c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb3c2f42c4b9be1f5ffc18ab5c4656b9084ad1b13418e436bf9d14fc5954cb39f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3674c89e50462099302a72f8a19789883b9d9952c729ce04b9d9805b7812998c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc5a585ff6be14e926345cc4a60c6653625a5c2d6c1afb03677305085d482f796",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0fd1db2a9d5c528e091f78456f3bd82045bcd45740e30c3c51c0b22c7a672b13",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8d068500de735ffac0d3fdbe87a6e80c5c3c880ea7eb02ee6cd29a181fee66b7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x83dc3999bca7724be2e8c6a4a0800971bfeaea908bc0dca88a314b0b6906f4d0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x87aa4ee22fd695d9388d73423484fd3a3c8fc101ad4e3d5e4b7ce3320bfb4a4d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xff2be7d7f65858f89e1a3912325f59dd9dab72459aff4ab1737582e0a334b663",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0724f19e63c61e4e8d1a76e748c48af170f78b73252c96eb1ecfaba5408497ef",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x85a91b01f386e962bf44fc7399508cd43947b14a90f2c4f35db4225c42c3a73e",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x9c8963f2581cac75560c82a3af6ec9d2640e63d5f6bdcbdee7e3c091d0a31935",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30b109479e452671e71f0a556c51b9875df07b190742ea587e1a5836a21a5738",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x953d34d8c4534c94714d1359a57bfa4ca1ba94386937eec43b2024c091a4bc47",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x14e5cd5e3026b77f9e2e87e6d87de7e0f65d4f3b9a280b460378da3431f66e09",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcbf5cf172fbed7e61d7668fd066f01fa64b6918ade119896ae3681e0c61b95bb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x05bb7cf45b946f5bf3d80b1946e5c9959ed39e071eb23315b6eb33ec66ce0471",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6240fe2736c09020f7dd2c4e3c136325e007b505b26309652c45feb2ed75e38d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8727ac7b5bcb6335d9a5cbcc94f70334d0a352d7e48746527fe5321563b6c170",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcc18e83046b1e0f7bede71e71b53df51c54a4ca9d3b263ded45bd2e1fe71a8fa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x12621577c74df30d3dcfa7e296fb698e2214a0151d57aa84557dd1dbff960a1d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5349ac68bf7f59b65d9c371c826d6b187fd8671bc8a8f1d6b22b525bbccdeebf",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x65cc46d55562e1b8f709a234a1e458c17fafab911f8502cd050c4999880ef1e5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x24cbbc99c9763d66753bf4d480cc4c86dfc7ecc95ec5e37b1de7a2fa893084fb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x87424681f4fb770c85748618e3c4154feac9907ea6682657a0fbf2056b9722cc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3fe8722192a0faf32004da39feef6428e1a3ed6cf79fa0204c482182acfb7e49",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x61358f310eba2fa93fc37f52abbcbfff44ecb44d986224a88c3eca155f0b1312",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7e6f6b3b2b39a106b57f2b2820779e99ad39ad05088a9e6a2f4a705c61affc8c",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x60b01f49ed42e4f8b79e259969ae92b480992485e898229cf15c01c2ce88f779",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x36e25f95be0b0959f1961af13cf02a72077de9154c4898dd6401e15022fd0e4e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe931d84bc52f1ce2921c2247aa9af185844dd57924e75025fea0fadef1bfdc55",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa0481f4537a1e2137b18b8da8b4becebdc5c47ab5cbb9edd5d771959ac4f7ed5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1bc76c594d6024c59c06182df4e00f3764685e7cc459cc5ea29d3c0d7071ce6f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6a4563f832041716b673c7350692911d4fb641d4831bc01bfb26d1eda4bd6967",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4be2aadafa00dc5d6e6e71f009f760e36d2ea5bfe3bee83aa5dc67c5057ac790",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2f0103e8cb9f44ecb8135c2727cba9bc3160f61857340771915a0b78a082a8d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x223d1f13007272554e5c53080f07ba596c2af57881664de255e23d8ddedd6ec8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x729ce4650ea4f4716290b5447b1f26ded064b8a4fa1e976f565353506e361f72",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x2d9be5334a00dfda9329de5f6e0e2bf30242cdf2fe26c1652491a1d2729c8028",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x09ba3da7d59f8114f9a192227546a5154c56eda42c1bcd014e12813fd730a60a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa567401e4099a463e44494561ac900eeb63af3bdb932bee9283f446afbc5d51a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2d62033bb3ba2a7886dd721de942451138e1d7e7a793eac6a1a32cab20acf584",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x61d33029ef02314d5c9c78ef3618a48bcda4a0547c7ab6b27728113e851a9261",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc422a0ef9fe7a18fd7473c04bf9e33565f90bd32062bd4353d5586b3c9361c52",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x34dd9b3cf328fcd3354eb45506fb83999fb0b24c5535b5acd3c72755e78432c5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x538a385a2790b70eda30819c9fedf50e53ba55d00cdcc176f03eeb9244f13f10",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x672d6f157a6d42fc82bcd6043f0ef03206b7191ad0c24f9b112010a6b2d4ae1f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x131b279245f72f5e87bbe51eb3575c4ec9ed80d9248fa4c87361e184b88d4313",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe621c5345a8d43f81f81c20f5632c2cf2f6892bbe0da2088c75503f8fccffe38",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7dad8f6372db8d4095bd62a259e26750f34dde51afffc9c85e13ab817f0eb30d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x98ab31c7781354e074257cd2bf8be2b2b7c484bbe4a4ac3e169d22a6d89dbecb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x51624813ff306a2d171e34032a78f85285801d547dddd2469dbd1161223af070",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8fa1817129f881b4705b33966b151efa5d8ab01ba7a79eb7abb832c0c680e9b6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcf26cf738a090ce8bdf2c4988ca15dd059b8cce567d4f91a075d595d03304d38",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9a2d6ab6f0add25ebc6590856689ecd912f2f0be046ad36dcf3e1f7966842d02",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe7e3b88697fe0bf85c802191e920c3f8dc0ce738c32af1c523566bfbe0348762",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1efc83a2682f617cadc8111b38f75b897ff661e4601c00a46c638defad49e391",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcb5a4d6ab83f866f9f7b3541637614e26719ef79f03e6aadee9895fddd904913",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x41a6ecb628320510ddb3586c721294461e145cd05c0adc49985fa8974a9e4dd5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc0b65ffc77e9f8180f55492a7c86c21aeb48075cede719e4601575965cb92f14",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2aaa434b42d17e7d5a17790fcf8605103d1352efb3179ef47fdc2d42b9200b46",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2d742a3a82e1c7aafe35cabcb54e3b57c34392a1ce8c910e6c090e5fbfeac8ac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb95d6a5165b09c99ebb254fc310dc8c065bebd823f43793d11523b648ded15c8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x696c559e3397c7084c136103b753b0110679dd8464abe11df1e4816c30a670ac",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x3822cf2f3f7d497b0f60db4225756fad90aa5e1ee5b1ae3360019f2eca298004",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x26dffa9a3928fc5cba5e8d1e762a60ffd5529664e5fd4091fb26caa2926ea6ee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5adafe5d63964133117613bd2f00fe62b4e62462f953ca3164dc730fc3a76675",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf662a72fe595226cdb126e202e565dbdcf56c8924a120a74065fb65a2794a862",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x530f8157681ac9cbaf3a963901078bdfb26408bda80653ccc265180058de5b67",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe98ffc5f7ddb5cd59a2f9ffc57bb74635e4885956deb38c8e1668de7ac1c89ac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1015dea402a63f5896a108f6e84c64a19c9cc389fbb802799dcd754983a0c629",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x075fd09e0aeac1bd941d7658a6708db195f344c950b3aa6eb43f470ee3f5c66b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd7c5a56a6abcb37c54ae8dfdd4aa664dce9e6d39c2734e7797c545ce054c1f2e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3ff1a7da6c96a06baee5c8f5a499ae3ca2f87d0c5174e3a67c4bb3ad805ae3b2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8f30bb88c23135412ebdef6ff6834165b4544ce1e81adfe0223ae358db138e39",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x67d95481789783c5f824106e074de94fa853f1b1a0849cb7f5fe0ea512fc42c6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x50b1cbc401000ac102487c2ff9f438e71282e9a2895d9e7e9066a8d1bd327f85",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x21e40ed85ebc139224844be468aba45b98665c87de0337ad6b9ee188287d62a7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x48cf2467d720403531f4458f87d968f0bfd410966520c6435346d02d7fb18920",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x84dded65c3e089125a9a44b4c5ad93e5867fddd1a0bb9f08a33d659275ed3e7c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc50fee55d8ec90d3739e52670a083427e9af80311dec6b2d32a004a4a18b59eb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcee70ee95b62497825027acd938d04037d9c44dba8ebf3ed307b37732e883d32",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x392ae4a9b3d2a8f8cba1a279111416d291eebf826f6bdc081faaddefaa82e145",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1425b2c80e1dc48ce83866ced6bb89904880d5959790d8e38e16eb42f3d9e6d9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb1670083223e48d4076abca502f40b4eb8b682796f0c028a9fef9a4ee750994b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x010e0f116356258ca898b7d1a772175e73ab211aa9a0933d838e7a20c38d0f11",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x66f8f70d2e9ab71c1edcf1e8c46fa3e8ccb08d6976640c983e44b9476775905d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc4ba0694c57c7b8328a6f270447676ac8ea82f3b1fc4c6568311a5dde2564f15",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcc8b94a3810682d10d74db6b0bfef328a641f40b2c701071aad6b1653269e66a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd51aba05c105a5ad123596dff5c3360f176e61c1c2ebbd490447d6bb587da138",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfda2e7d1a2f45af066ddfc0a06f75365bd6336aa7d1cfaeadb55ff09663927b4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5d68dc956311adef2ceaffa232cdf063c79b44dd9df69d231f7f13f4f8fefda3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9f09a8d9b32420d5dfabd385efb90a1a0e16cf489c0e40d0a4f251311f79ca1d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7f19f9bbe7d8429f407fd56f9bc9807d0c5cdcb8fff38ee757771b196e52dba2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x50a4d3441953fbe59bdf872a66e469390e8a1c762805a73557509d00c5b19159",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa8fb8b4819618bfd8a2cd3cbbd52b41fce3029ee231ca0782a82d92f666eec92",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa3dae68a2e0da67519e0838b52eb514ba039ac907ebd6dce7fe0a7332ba0d507",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0b423823a039afa846cc02d679df4afbbbf8c2995052f8779430ded5b7f9c784",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6031f969bf477c8ca6892c39901ef5c672e62bb92c8e663c9145123fc62820cf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2d2edb4e85fb36132988ce4b682d479e247489bdca258cc42cc477f9c3b0a38d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf40155d114bdde7343f9b3990439a911544f2c36ea97a1603102a4ba158ed324",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc951976c61629779952f90d8df91946f4d5054e8f9d864e5c90c776d4f78f14f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc7dcb61773c2adf3e411bcf657acaf9a92c89d155311c10ac9e91973f0c8604b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0e25af0aadef3a5334f880cc4369bcaefc13d6f5d0a627f5ed68f81b048be129",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x09453c02dc49909c509240532eafc16c6a35fb6d979e0f141afa40a21d76d8a1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x657cbc4bf6a411576479549450ab3fafd14b814d00f9a1621e12535e4024eac1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbb5da52c42e9338dc70cbe34786a7194010faa8b24491a32810d7256e612c4fc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd58b33a5270a3d6040916d3e70f76f1ad3b6b9b830fffb0aa09243425d28c6de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x90d06b9ba7c7f886ae0ffde274074538b744851ec709f5868bae4b6fd397df66",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x2f03194114be28b08260a1779afa2f89f7587f25b0eafc87a1550855adf1bd36",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2e9bc4d55bc12cd235d57a5a22c3bd4aa77ef26669d65dbdf0f46532b407654a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7a42d316932e68da023562d39d207164cd302ce0d61033ec05eeb92ab172a0f0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd8f9875c7473089dc2296d88e195e10b4ef54f356115c8a0ccc11947b96b3dd9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1fdc398f51ddd456a56af23ffa0945c0fbbb594a618abd8584e551dc84b0bf9e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xac0f8dcfe8f4f44e61c302527d7975317f38638bdd13be4a8e7d1947ea509b11",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf7f17b94e627ef54f14b5f0addde549413bfbc4ad4173aab699a603a2b503557",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5b35d86c41095546238348fb13f94c838c984c2c468f6f98df3b261c9907beb5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3e6207551f2c63c5b6bb26831db5659332faa9801f23bca39b43f4bc79fe6f4a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3d9b0d38e476bfb5605608ed5b4cd0183c46ca07bb828542eff6c84cb0201a4b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf1eae2014a3f10f6fad7de6dacbca61d6d33c3f8913ee9ca5b5222c2d3ecc580",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2726c5cfa86715d6039f110200ef08ebc3e4249ee3334c86cfb977e3a94d969b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc7a26d95ef3de67150bc73ea8973c0f85617274914e1246bdf92fd08ee6415cb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x80bd2d1cd648d73c0eb7a27d6f29b962942b51441fd836a908b502989307d0e4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xae38cb0419556745e00ed9f4d073710b7d76928fe19813418c67d4c4cd7b9190",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd9691d0f879837eb229026726263bf7052769cd883fa70286275f04a23a85ff1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4f6d18a8a57933db2a4100497eecadfb2820d1a9253a528664f9f9666cbc31b0",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49853,
      1950
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0x24c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54468,
      8119
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8086,
      31688
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80694,
      12836
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      332329,
      22038
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x8a802562501ffd6ddd77758f2443dcdd7100ba15d35ea780e1c7982666a359d2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36676,
      22565
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5915,
      1234
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2973,
      24361
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84397,
      18610
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x52c7402125c0b1d9f9a2990199da5343384ecfe7142c0b04c7f53aad27",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5787,
      1808
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5770,
      47474
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22996,
      1494
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33965,
      12210
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82943,
      49483
    ]
  }
]