[{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"25669003762541934683163236453340154386832627580896653516748358904523743828968"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000409c8","0x0000000000000000000000000000000000000000000000000000000000000d6d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038323","0x0000000000000000000000000000000000000000000000000000000000004ff3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"53805852993115928046105453881534269088037845842067113628797803177748987733936"],"tag":"AbiUInt"},{"contents":[256,"32108093466910163186696777630378239829848235824733074820207787948115551293237"],"tag":"AbiUInt"},{"contents":[256,"67672905337125010868781249154924771078935811949936419825005509659667165338319"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056a83","0x00000000000000000000000000000000000000000000000000000000000037c6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008be6","0x0000000000000000000000000000000000000000000000000000000000004bb2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x9Ce3ccDa21da4b0c4b49258615315F9041f218D8","tag":"AbiAddress"},{"contents":[256,"1532699329"],"tag":"AbiUInt"},{"contents":[256,"22508961024840836332162959843615380564668853895031291004810522170874378514979"],"tag":"AbiUInt"},{"contents":[256,"9091566276544598334897676232277435881659226665524317932977688717513044000461"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005aa9a","0x000000000000000000000000000000000000000000000000000000000000a463"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"13765934209735655092754493843322102948202451387609226956710772988933962608945"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d1eb","0x000000000000000000000000000000000000000000000000000000000000a773"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5e5572F463FE04963DD4aC2b15b2f4fc28EF150C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043099","0x000000000000000000000000000000000000000000000000000000000000d576"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043937","0x0000000000000000000000000000000000000000000000000000000000000a52"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a76c","0x000000000000000000000000000000000000000000000000000000000000204d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc11","0x000000000000000000000000000000000000000000000000000000000000a1c5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a53b","0x000000000000000000000000000000000000000000000000000000000000dd83"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"32192329858500719998188582201297964412379655549568361943714944645517471381606"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001482","0x000000000000000000000000000000000000000000000000000000000000c136"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e376","0x000000000000000000000000000000000000000000000000000000000000670d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"39558539533885233045978819331643305167107090735333444369896237992179358613252"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004b2aa","0x000000000000000000000000000000000000000000000000000000000000960a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef11","0x000000000000000000000000000000000000000000000000000000000000141f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e945","0x000000000000000000000000000000000000000000000000000000000000451c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000012f5b","0x000000000000000000000000000000000000000000000000000000000000335e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"349"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003d591","0x0000000000000000000000000000000000000000000000000000000000009cc0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"5686882325788648053320475887713559710836568233330353309681988516338990217669"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031f48","0x0000000000000000000000000000000000000000000000000000000000009f61"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[8,"2"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c7ae","0x0000000000000000000000000000000000000000000000000000000000005100"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115256155039895482454156742044209301862536809593002232529570984503265751698534"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005498f","0x000000000000000000000000000000000000000000000000000000000000019a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"1544378754"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e4","0x000000000000000000000000000000000000000000000000000000000000a2d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"85699708311395130406659279388975766724803835777772585320528710459912354711059"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000916bd","0x0000000000000000000000000000000000000000000000000000000000002a41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069063","0x00000000000000000000000000000000000000000000000000000000000097d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0xA444FBB2a149cE92B1F25002F0d612583A75261a","tag":"AbiAddress"},{"contents":"0x12F8Aa9519Dc6CbE9b26E3A1201CB779176ad088","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000865f","0x000000000000000000000000000000000000000000000000000000000000c1a6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"64465754198247507942387098385228229429165609009375930199540338195792969072761"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069cc6","0x000000000000000000000000000000000000000000000000000000000000dcf0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000041a18","0x000000000000000000000000000000000000000000000000000000000000393e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001a366","0x000000000000000000000000000000000000000000000000000000000000beb2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"13"],"tag":"AbiUInt"},{"contents":[8,"27"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008116d","0x000000000000000000000000000000000000000000000000000000000000852d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c347","0x000000000000000000000000000000000000000000000000000000000000a988"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000a99","0x000000000000000000000000000000000000000000000000000000000000ba07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"78325182284130234936126257317150062668275518163763563734190418017636891559838"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000032cf","0x0000000000000000000000000000000000000000000000000000000000004564"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"41054638390344436564971440686392251141392762919177269057102682445420080471469"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a023","0x0000000000000000000000000000000000000000000000000000000000002d86"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"8343277766655595855465993595097737524101407879843015853814595376007391127932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075212","0x000000000000000000000000000000000000000000000000000000000000750a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"15462326111710427014317026456509451445164665067833618456185550277001356537923"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000333ff","0x00000000000000000000000000000000000000000000000000000000000078dd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"1529280675"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007990","0x0000000000000000000000000000000000000000000000000000000000007cc5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d47f","0x000000000000000000000000000000000000000000000000000000000000bcba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005c16f","0x0000000000000000000000000000000000000000000000000000000000004f5c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"56498932533670217176344731791942240055093570388479550739510436525166077957793"],"tag":"AbiUInt"},{"contents":[256,"1529968132"],"tag":"AbiUInt"},{"contents":[256,"68064033894731203297753176640550388775973029118560482749991006844921318657194"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000044de8","0x000000000000000000000000000000000000000000000000000000000000ab7a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001de","0x000000000000000000000000000000000000000000000000000000000000038c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"36291256980509985306394444011465942205282897448892262845359492339589637778922"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000020be9","0x00000000000000000000000000000000000000000000000000000000000026e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":[256,"92517526745030044428351707687765251582"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b69a","0x000000000000000000000000000000000000000000000000000000000000751c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"1237454020"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080a68","0x000000000000000000000000000000000000000000000000000000000000e622"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000737f4","0x0000000000000000000000000000000000000000000000000000000000002f4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000681fb","0x0000000000000000000000000000000000000000000000000000000000006ad2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"49200251005739548064381861108741310111736392040962582519414414975415171357265"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000073b32","0x0000000000000000000000000000000000000000000000000000000000004d53"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"70815583173515857408230596673685793494608929809340847426159962974719392037387"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000059065","0x0000000000000000000000000000000000000000000000000000000000009a22"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002bac0","0x0000000000000000000000000000000000000000000000000000000000001412"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000090906","0x0000000000000000000000000000000000000000000000000000000000005867"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"235375960418610902713478893963864260869"],"tag":"AbiUInt"},{"contents":[256,"3386469093606228668470492920882005302972140598"],"tag":"AbiUInt"},{"contents":[256,"102855254154289933844965227714440892143303728465052026487634602369027815681317"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024f24","0x0000000000000000000000000000000000000000000000000000000000003e44"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x6711ecCa7992898FC4CE393705a975Ca345FE3A2","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xbd19Bc1Ec5569116a95Ea16d30c99D63e289F87e","tag":"AbiAddress"},{"contents":"0xED1785b65896022A79B55D3EbaFD6Ab7C6560e92","tag":"AbiAddress"},{"contents":"0x6711ecCa7992898FC4CE393705a975Ca345FE3A2","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x6711ecCa7992898FC4CE393705a975Ca345FE3A2","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x1922902ff94861bc5538704CCB7b3930320d4474","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x3450a15Dc9cbDD5C0e28cC22474D88AD7e2695A3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x849cE9D915E50107d4EB455B4108652d50c505a8","tag":"AbiAddress"},{"contents":"0xA444FBB2a149cE92B1F25002F0d612583A75261a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143fQ\\SO<4\\158;\\212\\251\\ESCt\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\239\\237|N\\227\\237\\136@(\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244wmG\\177n\\170N\\240\\222|\\177\\171I\\235\\193\\CAN\\a\\220@\\184\\251\\176\\200\\190\\135\\vp\\204\\r\\140\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\165\\184\\161\\205\\199F\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161<\\137v/\\DLEP\\NAK\\130@\\215\\213\\NAK\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\184\\141\\254o\\187\\239\\ESC<.~\\167I\\SOH8(\\221\\138O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\234\\EOTU\\FSs\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\236\\131ZU\\202*\\181W\\231^\\222IU\\213V\\b\\142\\b\\217j\\223`\\179&\\173\\NUL\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131K\\183\\159X)\\t\\161\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"6~7\\148\\227\\221T\\bK,-\\152\\STX\\143.\\ACKQ\\191\\SUBE\\202d\\243\\EOT\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\165\\217\\204\\218\\SO[\\193\\223\\&3\\146\\239\\195\\152\\SUB\\239y\\195\\DC3\\235\\160\\RSV{\\149s\\DLE\\240q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\175\\188\\165\\222 \\206o\\132\\238\\179Y\\171\\252\\156F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4@\\CAN\\217R92\\DLEc[\\247\\130\\143\\238s4e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\174\\185\\SUB/R\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140vh\\NAK\\173\\148K\\137d\\206.\\161\\136\\167\\197\\DEL\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\136X\\vtdX\\234\\146\\155\\138\\155\\226\\181\\171\\213Uq\\224\\197\\217\\ACK\\252\\180\\236y\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\SYN\\rf\\207]!^4\\207\\168\\232r\\244\\241\\156 \\153\\132\\146\\161\\189\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"Zt\\191\\209\\&2\\198\\241\\ACKZ\\228\\227\\154\\200\\236\\182\\139\\228\\ESC\\187\\205\\194\\td\\249\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EOT\\247\\rh\\n\\234\\175\\159\\213\\NUL\\EM \\217\\SOH\\252\\220\\DC2\\155\\&3\\137\\232)\\168\\168\\147\\219g\\201V[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\v2\\236\\&0\\153\\228\\171\\172\\233>\\165\\182\\\"\\146\\234\\137K-\\SO\\217\\\\\\DC2\\246%\\201Ht\\EOT\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\174\\144K\\168\\DC1|\\152qr\\130\\168\\129\\&2\\193\\141\\185Cv\\147#\\135\\135\\185R\\170Zs$\\197\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215a\\147\\242\\ETXju\\148\\148;\\141Tx\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\251\\&1\\252I\\144\\DLEw\\149\\186\\\"P\\220\\241.\\168\\EOT*5L@\\SYN\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\RS\\169P\\182\\SYN\\194|\\128I\\DC2\\NAK\\153CE\\196\\145\\STX\\245_\\161zt\\205M\\184\\161g\\130#\\206\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\225\\159\\DC1 \\159\\172\\212\\214\\164\\224u\\198j\\210{\\238k\\241/VEr#2\\209\\174@\\219\\241\\163\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"UL\\206\\139R%\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\198\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149!\\230\\178s\\219\\244n\\164\\165+\\214\\243\\n\\164y\\172\\234\\179\\166Zf\\250\\GS\\128n'*8\\\"i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\DC4\\214E\\154\\STX0\\242\\187\\188~\\171\\134Z'\\253\\187&n\\192\\170yP\\173t\\224N\\211\\SYN\\199\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\204c|\\SOz\\SOH\\202$\\201Q\\DEL\\STX\\201v\\NUL\\247\\v9>\\130z\\210\\149T\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\")\\142\\132s\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\185\\165*\\245\\164)\\218\\219\\175\\130\\190\\227\\178\\226G8\\167\\233\\DC1m\\149w\\130\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\195\\b\\167xu\\192Gf\\166y\\186a\\180\\220\\166\\bv\\130\\\\V\\128^\\SI\\146\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\t\\DLEG\\132\\169sV\\ETB\\228\\195\\182\\&7\\DC2+AY\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"1L4\\220\\229\\230\\168\\210W\\ETB\\226\\STX\\147-{\\138[w\\175\\227\\178W\\175\\230[u\\229\\214\\143\\180)\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\185*H\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\130<\\251\\155\\DC4\\143\\189l\\246M\\f\\169\\SOHBin\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155D~\\147\\155\\135\\254\\160\\&7\\167\\214\\223\\135So\\191\\197\\157Y\\182#\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\223}\\224\\179YJ?7\\198\\DLE\\184\\184\\CAN\\195\\b%0\\213?\\USL\\241\\162\\&5\\150\\DC3\\DC4!\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\";\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\STX\\159\\190\\177\\248\\130\\165y\\168\\196\\222?6]<\\176\\224\\DC39\\192q\\183&\\202V\\160w\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\STXz\\SYN\\168\\&1}\\191l]q)G\\147\\242\\235\\&9\\248\\210\\GS\\142yO\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136A\\214\\221F\\198\\184\\145(S\\149\\249\\131\\247L\\a\\180N\\a\\170\\139'\\188\\164\\DEL\\167\\135F\\228\\&9\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174W\\f\\211\\135\\133\\148\\182K|\\195Nc\\181k@\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\\\P\\241\\&9\\155\\245U@sG\\182\\210\\ESC\\143\\215\\227\\132\\131\\173mI\\225\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\ACK\\155\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\a\\SIa\\160\\242u9\\142G\\189>\\221\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"+A\\br\\226H;\\\"!\\178\\194\\159<<\\193[\\CAN\\199\\192\\NUL\\171*\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\197k\\170\\NUL\\200\\&3\\226\\128\\164\\159P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\208N\\195\\137\\223P\\179\\178\\135\\249G\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\139\\130Y,%\\231D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\214v\\169\\140\\173d\\FS|\\ETBj(\\175\\148\\DC2\\201\\162\\188sH\\ETB.\\n\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213K\\231\\206\\199\\166\\132\\238\\DC3:\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\167o\\209\\221\\FS\\194\\ENQF\\223\\204\\168%SVR\\ESC\\DELs\\247\\ESCB\\b\\184\\157\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\229k\\DLEBA~\\214W\\235\\155\\FS\\146\\218\\&6M]\\188\\ETX\\152$\\164\\202V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\145\\nL\\225y'\\179>\\187.\\185\\216:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\210:\\226\\189\\NUL\\166\\STX\\144\\180\\171\\148&\\191\\219\\&7\\174\\197\\159\\152\\180\\237\\DC2\\165\\163\\194C\\217\\&5\\146\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\n\\177\\161\\173\\tH\\232\\177nA\\201t{M\\145\\167\\155\\212\\173R\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\237\\160\\221\\177\\253J\\203N\\208A\\144\\184\\140l[\"","tag":"AbiBytesDynamic"},{"contents":"\"o\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\148_\\213\\ACK\\248\\238)\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228s\\139\\DC3\\177p\\198d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238pn'w\\239a\\193\\227\\154o/\\190\\206}AH\\240\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\175\\228?'\\198\\135i\\232\\\"J\\199|\\142\\146m\\SUB\\NAK\\FS\\221M\\NUL\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\158\\252\\ACK\\243c\\235w\\137/g\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150qw\\155\\NUL\\202\\&1Ff\\208 \\147k\\215+{\\206\\207`\\168{\\v\\252\\253\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\247vM\\192\\nQR\\190\\161+\\EOT\\249\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\177+\\194\\ESC\\160\\225\\201\\146`}\\244mP\\155\\RS\\181\\228\\214\\129&:\\159~\\SIE\\SIn\\246[-{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\202\\203\\n\\SO\\155\\240.\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\228 \\ETB43\\178\\223d\\139q\\151G\\SOH\\152\\165\\204\\203\\201X\\216\\US\\ETX?k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227@\\223\\244\\EOTv%8\\216\\230\\184\\208H\\131\\254\\r\\SYN\\225\\248\\EM\\t\\156\\&8\\v\\169(\\229\\CAN\\159\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163@\\238\\153\\239\\164\\GSz\\167\\146v\\254\\215<\\177\\149\\227\\167\\194\\158-\\226\\254X\\132\\214G\\223%\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"qU\\ao~\\233\\153\\ruK\\223\\ACK9I\\216\\148{\\132-\\215O\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EM\\222\\NAK\\\\W*\\230\\220\\217\\193\\219F\\229\\170.\\164:\\255\\184\\193\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CANY_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\145I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\233\\218\\187BhS\\187\\EOT\\173ly7\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"n{\\164(\\208\\130d\\r;\\199\\217\\143\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\178r(GJ\\238\\160]\\202\\206\\DC4\\139\\242W}a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139^\\164\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\228\\\"\\246\\SIk]\\207\\143\\157o\\180\\145\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\145\\185\\178\\&2W\\\\u\\246\\188L\\226\\ENQRmE\\179\\152d\\SUB\\174\\250\\137\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\&9\\179\\225z\\201\\142#\\137){\\EOTf\\192\\132:30\\224e\\n39\\221\\NAK-Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\134w\\221\\206!\\249\\213\\203\\ni|\\150\\&1\\222\\&9N2\\DC1\\STX\\144C\\179u\\137\\146\\227&\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS1VO\\235\\208\\FS8\\NULoJ\\188\\250\\SOHR'\\144,\\208\\153\\252\\230\\DC4\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\130#X(\\211\\180\\171\\251\\215\\245is\\DEL\\246@T\\247\\189\\159\\164D#\\235/\\212)b\\DLE>\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\160\\207+\\162\\SO\\225\\175\\153\\\\N\\SYN\\209\\226\\221\\ETX\\159mf\\136\\254\\160\\193q\\173\\174\\SOH\\183\\b\\130#\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\ESC\\135S\\252\\&2\\DC1\\174\\EM\\146\\RSe\\226\\ETX\\177\\159\\220\\DEL\\210CsF\\DC4\\169b\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\225w\\ACK~BdZ\\SI\\148\\208\\151|\\EOT%i\\231=\\195\\166\\FS\\155\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\US\\156zb\\174Tp\\190\\171\\171+\\246|RkJ\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"5;\\218\\DLE\\209\\201\\161P\\147\\131\\140\\196\\b\\222\\177g\\203\\193\\204\\188,\\174\\241\\241\\248Gy\\GS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\182\\184\\213j\\244\\140\\SO\\185\\234Z\\191\\197\\RS\\ETXs\\133\\184\\225?\\171\\GS\\239\\213\\203/\\NAKe\\DC2\\129\\243+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\202\\DC2\\253\\&1|\\161^n\\186k(f:?O\\255Q\\207\\237\\ESC-\\129\\190\\139/\\145\\211_^\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\188\\DC1\\210\\154-=,\\EM\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\tK?\\DC4\\217\\145$\\169/$y\\SUB]\\239\\228Q\\191\\146\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\SUB\\221\\DC4Y\\168\\229\\231\\181\\\"\\140+\\228/d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\205~Nz\\v\\200#\\245\\DEL\\a\\232\\ACK\\137St\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\189\\156\\228\\SOH\\207\\SYN\\179\\153\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"_\\SOHRx\\DC3q\\207\\174F\\159z\\208@\\131\\tLy\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4R~)S\\176O9\\SOH\\128p\\STX[\\v?%\\210Q)\\141\\176\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164L\\146\\208\\190%\\197\\163\\227\\211\\&2\\154\\225\\135\\139ZZ3\\DC4E\\221\\DC2\\196\\146\\138O\\128B\\164{T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\&7\\216Z\\254\\r\\162\\183O\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\173\\NULr=\\230[\\129\\141\\US\\191vq\\228\\189\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\NUL0\\234\\243\\254$\\206<\\194F\\166j\\188:\\201\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\173\\232\\191\\171UA\\249\\199\\143S\\146\\229?\\212\\243\\251%\\232\\RS\\172\\t\\141\\132\\229\\&6\\188\\152i\\217\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"n3\\a\\223\\146\\n\\194~\\248\\149\\142\\222\\192\\215\\171\\203X\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\ACK\\169<\\153\\178\\243\\192+\\249\\US\\243.\\224\\128\\237\\218vB\\GS>\\252R\\134\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\252\\239)y\\216\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203T\\183\\177\\195h,+\\234\\&9\\159\\212\\n\\232\\231gAv\\162C\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\213\\n8R;\\228{)T\\151\\202\\176\\&0{\\137\\228\\&4\\182:\\202:\\t\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\177\\157\\129\\235\\172\\138\\224\\191d\\226i\\DLE\\163\\154\\146\\215\\&1(\\191\\209\\247\\178\\130\\129\\211G9\\160\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130:\\129<I~b\\134\\244}\\\"?\\166\\229D\\143\\&5\\136gK\\212\\DC4\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\178$\\SO\\ESC\\ETX\\SI\\249\\137\\ENQ\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\ETB\\139]\\ENQ)=\\189\\186\\ETB\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\161e\\145\\223}\\195qg\\241`p\\207H\\128\\176\\139\\249\\253\\152\\213\\157\\GS\\ak\\132\\&0\\231A\\211\\209\\228\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155sA\\134\\203\\177\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\209\\216F[\\128\\ETB\\195S\\ACK\\169\\163\\&6h\\202\\228\\179\\164\\238\\254)\\244\\235q\\128\\DC3o\\128\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"4,\\134\\225\\132\\196\\175V\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\194GK\\200\\246eDVJ\\245\\133{\\255\\183\\166\\v\\136C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\215\\219\\r\\f\\211\\217\\170jC\\217\\160\\&5\\EM\\138\\&03\\169w\\130y\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148#\\DEL\\131g\\213\\227\\135\\222\\174\\136\\DC21\\240\\\\\\168\\&5\\189]\\US\\218U\\206\\194\\223\\199/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148q\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\trW\\211\\169\\254z{J\\USgz\\219v\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\151\\163\\230\\NAKJ\\184\\&3\\172\\137\\226\\171O\\249\\194\\245B\\212Xcni2\\129H\\253\\&9\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\v\\217hEL\\162\\EM\\248\\222\\&4Jq\\224ON%\\174\\227\\163\\SYNt\\160CQub=\\DEL]k\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\\"\\185\\189?\\DC2y\\244N\\162qU!\\SOHS\\201\\130\\183d\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\132\\&4\\168\\204\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"@r\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\FS\\225f\\162c<Hh\\163\\136\\142w|\\244t\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\204V\\n0 w:9\\217X\\150\\203\\181\\168K\\166M\\236P\\228\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\235\\244\\241v7\\166^\\249\\208\\DLEK\\\"I\\235\\241\\144\\243j\\EOT?\\241\\204\\252\\183\\NAK\\188\\198.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\246M\\249\\236\\ACKJ\\NUL\\155\\174\\179\\162\\vT\\175\\250~\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\DC1vi\\134\\CAN\\149\\242w\\SO\\CAN\\182\\155\\174T\\DC4[\\135\\197\\213\\ACK7V;\\228H\\223\\ETX\\179\\237e\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"6\\181\\ESC\\140\\t\\DC4\\167Ts\\ETBeiY\\ETX\\188\\247|\\168@>\\SOH9\\246\\150\\175\\206\\197\\236\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SIagK\\DC2\\175\\198(\\196\\RS:\\187t\\167\\DC2<i\\NULFK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167T\\219\\251H\\151j\\233\\207\\171\\a\\t6$<\\219q\\233\\232\\225\\196E,/\\187n\\206\\246C\\164\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\v\\136\\197\\&3\\188\\ETB\\DLE\\SI\\n%rQ\\239\\228\\157}6\\153\\195\\227\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\201BHg]\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\217\\237\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\197\\165n\\180\\146.T\\215\\EM\\158\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\143\\207\\170\\191*WHDC\\224\\173\\ENQl\\DC3\\145D\\247\\132\\146\\&3\\b,\\255\\177\\221_\\ACK\\169\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"#J\\218m\\192\\130\\CAN\\230\\NAK5\\242\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"Y[\\215\\140\\GS\\US76\\\\?I\\EOT\\229<\\128Nh\\180\\232v\\149\\167\\209e~\\SYNQ/~&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\202>J\\187~\\\\\\165\\241=4\\141A\\SUB\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\253\\v\\169\\182=\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\134,\\163\\176\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\196\\&59'R\\186\\158\\190@\\209\\246\\FS\\249\\183j\\146<\\228\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"$h\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189:\\160@\\GS\\201\\198\\176\\240\\235\\DLE\\DC1i\\141\\145\\244\\168\\146\\186a\\254\\DC2\\168,\\147J\\155\\139\"","tag":"AbiBytesDynamic"},{"contents":"\",\\ENQ@\\ETB\\220\\190\\160\\183\\253\\130-\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\129\\200r^\\233\\132\\GSe'\\255%\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\b\\\"\\ETXE\\205\\208 \\137\\DC41q\\186\\180\\168\\252\\249\\215\\&2<?\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\SID\\204\\202\\221\\210\\131U\\140q\\167\\202\\134\\187ci\\172q|\\220m(\\189\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\229\\v4\\170Gb\\143T^sUsY\\NAKF\\156\\ESC\\128\\GS\\DLE\\147\\237\\ACK\\176\\249\\t\\149M\\246\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\ACK0Kq\\ESC\\169\\255Be\\231\\STX\\EOT\\GSR+\\184\\151FX)\\217$\\158\\\\\\196k\\255\\131\\&2b\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\238\\248[\\163yGX\\178\\154\\165!C\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SYN\\SI5\\US\\191\\229\\168\\165\\162\\145\\200JT\\186\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\243n~hm\\236\\200a\\150B:\\222\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\149\\238\\197\\169\\201\\190S)\\189\\&6\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237e\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"9E\\228\\FS\\236\\DLE\\142O\\204\\&1\\STXTC\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\224\\DEL\\202v\\173\\210\\214S<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\169\\194\\ACK\\184\\156\\ETX\\ACK\\203\\235LM?\\215\\175\\132\\164i@C\\211\\SO+\\231X\\234S\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\211\\&5\\200\\159w\\DEL;\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\179+\\CANrf\\NULON\\ETX\\133\\162\\246\\203\\&5\\152R\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\214\\GSo{\\169R\\SUB\\186\\193G\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\156\\199\\154\\\\FU&\\129\\229\\186\\211\\154\\130\\152\\203Q\\239k\\149\\STX\\221\\f\\254\\196:\\140\\157-\\222\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI~\\brs\\202\\240\\170\\250\\246\\r/m>\\159;\\RS\\174\\187\\150N\\232\\FS)yI%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\189>\\154\\171\\222JR\\SUB\\155\\141S\\228@\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152(\\201 $\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248n\\172\\196\\136\\205\\DC4w\\155\\164\\205\\173\\183\\&1\\239\\180\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"D!b\\246\\254\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186Y\\220\\DLEx\\200\\165\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"c2\\204\\129f\\254\\155\\207\\222\\247\\\\u\\nE\\234\\178\\182\\131\\DC1<\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\SI\\187wB\\215\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\192\\NAK\\223\\170\\tk\\203,\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\173J\\254\\167\\229\\&6Y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\200}\\179e\\139O\\152\\142\\&8\\160p\\251\\207\\195`\\148\\DLE\\210\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\SI\\218\\206\\171o#Y\\139\\r\\EOT)\\192\\188\\182\\&4\\206\\172,\\177\\DEL?-\\ENQ=\\231\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\191#\\147\\\"\\219\\211\\141\\233g\\230l}\\135R\\181\\135\\&2\\187\\178\\\\\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129h\\220\\232\\SI;bB\\131F%3O\\237\\128P\\169Dpy,\\232jA\\224\\175\\231O\\\\=\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\153\\163c\\US(\\ACK\\225\\165\\249\\ETX(q\\207\\SYN\\DC1V\\204H\\185\\192\\DC1\\STX\\204\\240\\FS\\218\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBW\\130\\ETBE5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\220k\\US\\246\\FS\\229\\254\\178\\193\\201\\133\\222\\254\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235n\\DC1iz\\206\\&4\\144u\\STX\\CAN>\\176\\181;\\174D\\234\\182\\204\\252@@d\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"r]\\138\\236\\&0\\205\\CAN~\\CAN\\178\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"&Q\\147O\\187P\\203\\192\\129\\241\\NUL\\\"d\\248\\CANN\\ETB\\227\\132\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"e,M\\229\\169\\163\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"<}o`5\\239W\\180K3\\237j\\213\\184\\241\\252\\215\\152s\\n\\236\\222\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\237\\161\\205\\156{\\GS\\229\\192\\145j\\227\\177\\164\\246\\158\\ACKN\\208D\\244\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\245\\167\\DC2\\187L\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\239\\194\\235\\t)\\213r\\175kA\\252\\182\\141\\SOw\\155\\DC3\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227 \\232\\234,\\197\\224\\&3\\167\\169\\240?\\CAN\\137\\153\\DC31\\SUB\\202z\\137\\235\\177\\n\\230\\179\\212\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\206\\236\\251\\245\\&1\\249\\r\\173\\EOT\\209\\211\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\192R\\235%%\\241t\\GS\\225\\&0\\186\\178\\255\\156j\\249\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172-T\\155\\245[=\\136\\205\\235\\155Ea\\STX\\207\\134\\DC1\\233I\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\ESC\\211\\175:\\141\\237Z\\235\\213}7>f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\169{\\166\\t\\246\\189l\\173\\151a\\195\\195\\178\\151\\252x\\128#\\154k\\249\\253\\229m\\EOTAV\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\224<\\STX0\\164\\179\\225\\&8b\\SUB\\162t|\\152\\DLE+\\170!\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\248\\174H2?\\186\\SI\\172P\\196\\160\\234\\144\\221\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\245<B\\182\\179\\242\\182zz\\v9\\140G\\186\\171P\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\206BI\\217a5:\\138v8\\194\\252\\182\\190\\&4\\147\\211\\171\\153\\253\\135\\128\\168\\t\\r\\138)\\248\\184\\219H\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163q\\RS:\\223\\174b.\\137\\245\\DC4\\178Qz3\\200\\230y\\160\\ENQ\\SOH-\\197\\128\\236\\199!T\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\j\\228\\223\\163\\&1&(e\\163\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\215\\217\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\237\\&8\\219\\221\\v.U\\t\\149c\\209\\200\\USf\\141\\ESC\\130\\231\\248\\253g(\\\"b\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\SUBr\\209\\191\\216\\143OY)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235O\\153\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\US\\142\\DC2\\149\\&4\\162\\205\\231\\223\\129\\222\\208\\US\\239\\199\\130\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\238\\r2(<\\202\\158\\173\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUBw\\USL8u=9XGeER}]\\FS}?\\208\\\\\\148KZ#\\NAK\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\146\\NAK\\168\\252\\132Wwm\\236\\CAN:\\175C\\187\\162\\206/\\166\\247\\139\\170\\143\\165\\148\\245\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX,%\\172v\\251\\FSb\\190GrB|s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\ACK\\159V\\r*\\185'Ih\\r~{\\STX\\194\\&7\\220G\\187\\243\\184$\\170({\\216\\219^\\239@:\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\220J*K,DW\\129\\227\\\\\\178\\SUBn\\252\\226\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\203\\168D\\208J\\129\\185\\178\\189Toq\\153E6~{\\142\\193\\137\\214\\211/\\247\\&8\\170\\150)J\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\253y\\240r\\STX\\250\\211\\155\\SUB\\233\\175<\\215\\174\\225\\\"\\243\\229.\\190\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"E\\167\\203\\171b\\SO\\203\\226\\163\\189v:\\221\\CAN\\167\\&8\\234p\\206\\135}\\149\\230\\206\\211\\233\\154\\139\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\169]\\209\\184+\\GS&}\\230a\\216\\213\\&0:\\155\\183=U\\219\\252f\\212l\\145\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\178\\DC3\\151\\128}\\170_k\\219\\231\\191)K4Mp\\188f\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\178\\SUB\\234#^\\aR{6\\201\\167\\210e4J:\\135\\164\\DC4v(\\144\\th\\v\\196\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\132\\210(6v\\204\\251\\181pe7u\\DLEH\\ENQ\\186\\254\\GSx\\188\\167\\209\\240`\\207\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"h\"","tag":"AbiBytesDynamic"},{"contents":"\"in\\193\\228\\151X\\208\\r=\\ACK\\225\\214\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\157\\246\\214\\170\\fQ\\175+\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\229X%\\DEL\\DLE\\148\\162B\\223\\255\\249\\182\\242\\220\\164)l\\200\\SO\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"Ju\\fD\\140\\196\\209\\237\\ACKb\\182\\DC2\\130N\\157r\\231%\\142\\140\\247x\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245zQ\\NULk\\192\\&2\\167\\254\\234\\&6/(3a\\NAK\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SO%\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\134\\255Rn\\DC1\\US`s\\167)\\165\\n\\NAK\\247\\170\\182\\166|Y\\209\\134\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL{\\172\\239\\190\\f\\240\\215\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\242.\\154f\\224\\230\\SO\\161\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"Rkn\\139\\246u\\STXjI\\218J\\161\\208\\156\\201\\&4\\154>\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\211 59\\ETB\\240\\CAN\\220\\196,\\185\\252\\223\\164\\&4\\ETB\\129\\198\\STX\\148\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\242\\249W\\169\\186\\162\\163\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131$\\EM/\\DC3\\144\\af\\220<X`\\192\\148K`\\rl\\254\\amt\\223\\160}8l2J\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\SUB\\187\\171\\209H<\\226Dk\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\NAK\\155\\228\\&8v\\225A\\131=\\218\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251w\\206\\128\\245jv=*\\189S\\217\\CAN\\136^\\DC2\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\201\\217G{\\143\\220\\240\\146\\253\\221\\FS\\210\\t\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"wx\\250V\\246\\182\\&3\\248\\162\\ESC\\STX\\130\\&1qc\\STX\\242\\RS\\187\\USYS\\206\\168\\150\\169\\134\\NULN\"","tag":"AbiBytesDynamic"},{"contents":"\"0(\\DLENk\\250\\210\\253CB\\159\\153\\210\\194\\129%\\179\\247\\147{\\EM\\149\\145\\233;\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\218\\160\\243{V\\r\\236E\\226\\SYN\\171\\247\\207\\173\\213c\\CAN\\250jd\\SOHh/\\198\\198\\213*\\255,\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134@\\205\\254\\197\\249\\NUL\\234\\237\\176N\\a9\\237\\133\\240\\201\\252`\\181&jo\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\189 \\169\\STXqJ`\\245\\238\\211\\196T\\203(\\131%\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\144\\163\\228N\\170\\217\\161\\253\\168Y\\235\\&1\\211}<\\DLE\\140]\"","tag":"AbiBytesDynamic"},{"contents":"\"}V\\215\\ETB!\\207\\STX\\ACKg\\r\\216D\\229\\207\\221\\147\\236\\139\\230\\a\\156}\\166\\DC42$\\144\\132\\149\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\a\\241\\254E\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\223\\136\\230V\\168\\214\\v\\179\\229_\\183\\196z\\217\\215\\224\\t\\170\\215\\224\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\&9\\153#\\SOH\\165)e\\247\\SYN\\167s@\\SOHJ\\194\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\249O\\159\\133j\\237\\156\\228o,\\187\\r\\168\\197vn\\177XT\\134\\206\\131\\rW@\\231t\\134\\232\\198\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\n\\162\\&6\\177\\195;\\ENQGD\\225EvNF^l\\222\\&4\\202\\161\\246\\172\\172\\193\\227N\\ESC\\128z\\140\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240~\\163zmY\\135\\nC\\181!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218dL\\227\\178[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\224?2\\245I\\217b[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\197\\151\\173\\147\\186\\244f\\234\\f\\NAKZ\\214\\CAN\\186\\153;\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\142\\165mSL\\221\\218\\169\\223\\212jB}\\183\\178\\ETBX{\\178\\RS\\225\\199K\\148\\186\\173\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\234D\\208c-\\185\\222\\232\\135n\\142\\246% E\\160)4\\169\\SUB\\180\\229`3\\212\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\175\\217\\ESCOM\\176\\239\\220\\SOHe~^3\\186\\DC3\\172\\218\\255\\204\\DC4K?i\\232\\&6\\149B\\bCa\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\187\\DC4\\244\\198\\DC4\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC43C /\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\174B\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175`=\\210h\\189\\RS\\150Q\\158YU\\DEL\\184\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\SI\\DC4\\169\\176L\\244\\ENQ\\166Ao\\173!\\236X? Q^\\209\"","tag":"AbiBytesDynamic"},{"contents":"\":\\168\\226x\\143\\&6A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233S\\239\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\241\\131\\223\\227\\203J\\130\\248\\214\\211\\&1\\191\\201\\138\\\"$\\249\\206}w\\\"\\197T\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\&7\\215\\254\\SIW\\196\\212\\DLEh;i\\202\\149\\226K\\217&\\252Q\\209A\\206\\183\\199)\\245\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209+\\187\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"1524848484"],"tag":"AbiUInt"},{"contents":[256,"10165055397201327393169344464674322742841762699182438770325232558625531339116"],"tag":"AbiUInt"},{"contents":[256,"20417850892640539687531012782184351579788315633953522941125406421769527729917"],"tag":"AbiUInt"},{"contents":[256,"93577630635023921001529211164841892412262284519829216995732348566025605901152"],"tag":"AbiUInt"},{"contents":[256,"18723470080480028844935012036112238041047767876932659440537017706453036463916"],"tag":"AbiUInt"},{"contents":[256,"6855880976570107"],"tag":"AbiUInt"},{"contents":[256,"1529253685"],"tag":"AbiUInt"},{"contents":[256,"1537610252"],"tag":"AbiUInt"},{"contents":[256,"1532983635"],"tag":"AbiUInt"},{"contents":[256,"1535204797"],"tag":"AbiUInt"},{"contents":[256,"115109756871726134853301590182282320808922651348102039485346641745818901520960"],"tag":"AbiUInt"},{"contents":[256,"43907805312160375798105229030842498866388047163365414274875663579741989484342"],"tag":"AbiUInt"},{"contents":[256,"36550448429326247412305555792420834081185891184455517249170659109908196324831"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1532994812"],"tag":"AbiUInt"},{"contents":[256,"1536757121"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1530116762"],"tag":"AbiUInt"},{"contents":[256,"92683229968314461549933401099204686666352493225758340301029206565763827477356"],"tag":"AbiUInt"},{"contents":[256,"82402341638270678122024656865654048151337096670517631275394006405679158603328"],"tag":"AbiUInt"},{"contents":[256,"504"],"tag":"AbiUInt"},{"contents":[256,"74083509364170284913282578149894918630638783623887654853407210061583090347298"],"tag":"AbiUInt"},{"contents":[256,"1527217622"],"tag":"AbiUInt"},{"contents":[256,"795923714616574653278497797356828193832"],"tag":"AbiUInt"},{"contents":[256,"1535614033"],"tag":"AbiUInt"},{"contents":[256,"1535210428"],"tag":"AbiUInt"},{"contents":[256,"76878494625640970204679302726228807907542744971815541571056843512453287990088"],"tag":"AbiUInt"},{"contents":[256,"53038718786509307535621855083074895645835057665368488014466499648518659058373"],"tag":"AbiUInt"},{"contents":[256,"8344590088898473223925534286606182695823006746855477691068084483117939424567"],"tag":"AbiUInt"},{"contents":[256,"389"],"tag":"AbiUInt"},{"contents":[256,"225"],"tag":"AbiUInt"},{"contents":[256,"68328223241765911579336443681643251332548109615897022417474980383316035256518"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"23325221158779762842528254463095710802267151913181998490920032724319409835175"],"tag":"AbiUInt"},{"contents":[256,"115086555605027510556116471857863721749185553410497987047509962430967697205219"],"tag":"AbiUInt"},{"contents":[256,"23180882630626777923192153488794715231853380598006482754551327610766428238190"],"tag":"AbiUInt"},{"contents":[256,"1533179985"],"tag":"AbiUInt"},{"contents":[256,"14075277619870400232823936667905643516441702001033222283730014772217985124202"],"tag":"AbiUInt"},{"contents":[256,"5069512862148519118020915294411235741154511133006050257101784274233077270121"],"tag":"AbiUInt"},{"contents":[256,"689673560"],"tag":"AbiUInt"},{"contents":[256,"1531102721"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"2394074373777365706548605761206258516837116995530968794294000201950954784222"],"tag":"AbiUInt"},{"contents":[256,"50876959251267741965519792082145906384825333864339783030509107513407139262457"],"tag":"AbiUInt"},{"contents":[256,"42490086109315295029909"],"tag":"AbiUInt"},{"contents":[256,"468"],"tag":"AbiUInt"},{"contents":[256,"15357173"],"tag":"AbiUInt"},{"contents":[256,"1530220110"],"tag":"AbiUInt"},{"contents":[256,"11010200300588129007890760928825814104771825951264358"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"852"],"tag":"AbiUInt"},{"contents":[256,"1538374229"],"tag":"AbiUInt"},{"contents":[256,"1535787864"],"tag":"AbiUInt"},{"contents":[256,"153348350156461311368855041153814632075"],"tag":"AbiUInt"},{"contents":[256,"1528249378"],"tag":"AbiUInt"},{"contents":[256,"109185440278365730430380844673125417901699314961161372943907378284753183372426"],"tag":"AbiUInt"},{"contents":[256,"4652912885171929466884718570560758260962861851034489347726428670979344162729"],"tag":"AbiUInt"},{"contents":[256,"38100611197173279698247472429337731712972617008658744685304158378567715840854"],"tag":"AbiUInt"},{"contents":[256,"112133275700347963444954658283469530307160402971726466783078901102521993942778"],"tag":"AbiUInt"},{"contents":[256,"1526390775"],"tag":"AbiUInt"},{"contents":[256,"1529853406"],"tag":"AbiUInt"},{"contents":[256,"86475942911368981342393083603695590012927899975191178711339956109503618757719"],"tag":"AbiUInt"},{"contents":[256,"1527247140"],"tag":"AbiUInt"},{"contents":[256,"1530603333"],"tag":"AbiUInt"},{"contents":[256,"104772773849456003980654498753629319425641205739892245341324188416275530150712"],"tag":"AbiUInt"},{"contents":[256,"30595299258189289436020667109640607751880191419412604618541287181075863209870"],"tag":"AbiUInt"},{"contents":[256,"30595299258189289436020667109640607751880191419412604618541287181075863209870"],"tag":"AbiUInt"},{"contents":[256,"30595299258189289436020667109640607751880191419412604618541287181075863209870"],"tag":"AbiUInt"},{"contents":[256,"30595299258189289436020667109640607751880191419412604618541287181075863209870"],"tag":"AbiUInt"},{"contents":[256,"30595299258189289436020667109640607751880191419412604618541287181075863209870"],"tag":"AbiUInt"},{"contents":[256,"30595299258189289436020667109640607751880191419412604618541287181075863209870"],"tag":"AbiUInt"},{"contents":[256,"30595299258189289436020667109640607751880191419412604618541287181075863209870"],"tag":"AbiUInt"},{"contents":[256,"30595299258189289436020667109640607751880191419412604618541287181075863209870"],"tag":"AbiUInt"},{"contents":[256,"30595299258189289436020667109640607751880191419412604618541287181075863209870"],"tag":"AbiUInt"},{"contents":[256,"30595299258189289436020667109640607751880191419412604618541287181075863209870"],"tag":"AbiUInt"},{"contents":[256,"30595299258189289436020667109640607751880191419412604618541287181075863209870"],"tag":"AbiUInt"},{"contents":[256,"30595299258189289436020667109640607751880191419412604618541287181075863209870"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"104618796858451939396206292648557764291023289675246920161144695339960499930103"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"260"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"84339587408345699302439411721811262057653861607978932494969522929996910483293"],"tag":"AbiUInt"},{"contents":[256,"4722581844664159097557013104584248282246174993091331412878155474130894312319"],"tag":"AbiUInt"},{"contents":[256,"261"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1538570760"],"tag":"AbiUInt"},{"contents":[256,"1532689908"],"tag":"AbiUInt"},{"contents":[256,"9771085428420841653815655950180562683095022474486218385859892785970294734547"],"tag":"AbiUInt"},{"contents":[256,"1536695722"],"tag":"AbiUInt"},{"contents":[256,"81829898112853894232785176230145122115386396726626817145125079246514870553120"],"tag":"AbiUInt"},{"contents":[256,"63640835494708858685022431571104866481383884932742554910734696704074278510135"],"tag":"AbiUInt"},{"contents":[256,"1832933729207659046748583958482867996010531120949636016171090726618207073440"],"tag":"AbiUInt"},{"contents":[256,"910"],"tag":"AbiUInt"},{"contents":[256,"90813776031003249668175176934005666332841551663790951543682033341505081127293"],"tag":"AbiUInt"},{"contents":[256,"63408437217641292051903802664256601594002913274546430238566428942039691894251"],"tag":"AbiUInt"},{"contents":[256,"101252795348197527089978598732174718792123760174785401282793272294913846970754"],"tag":"AbiUInt"},{"contents":[256,"463130289740477725877512841890757988044905064624443986356750059430605710669"],"tag":"AbiUInt"},{"contents":[256,"333071740684602731528961208980432901785365"],"tag":"AbiUInt"},{"contents":[256,"1531488195"],"tag":"AbiUInt"},{"contents":[256,"99999999"],"tag":"AbiUInt"},{"contents":[256,"1532208197"],"tag":"AbiUInt"},{"contents":[256,"226"],"tag":"AbiUInt"},{"contents":[256,"1538526716"],"tag":"AbiUInt"},{"contents":[256,"429"],"tag":"AbiUInt"},{"contents":[256,"113006053237345963512054424588374606204049585048398125041980106419031208304857"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"429435759624764322657692296230327584231908475786172062355887426212145471945"],"tag":"AbiUInt"},{"contents":[256,"15046091267736458517539989865786025917200076728046855270654766983603488925785"],"tag":"AbiUInt"},{"contents":[256,"1536784825"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"69453520733901177633948897609521458131643305864793592360192015277714916914991"],"tag":"AbiUInt"},{"contents":[256,"84824845118790795775641943775276328434322548718574787800763565554008483879380"],"tag":"AbiUInt"},{"contents":[256,"25587410535660720523331466349813958872211916055030385298631469976275657488224"],"tag":"AbiUInt"},{"contents":[256,"444"],"tag":"AbiUInt"},{"contents":[256,"27896640357895788297329140404804229022870875601541334545241670634683557317116"],"tag":"AbiUInt"},{"contents":[256,"48869633985475808599606944577948478029594532456152014685295471629996445852814"],"tag":"AbiUInt"},{"contents":[256,"1592462493302672692240253610147648038120816972012966131120873909063641322371"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a5de","0x0000000000000000000000000000000000000000000000000000000000002bc1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000067687","0x00000000000000000000000000000000000000000000000000000000000045f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"1531524804"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000751e8","0x0000000000000000000000000000000000000000000000000000000000002844"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"53528679429830571978561901844137721854756976679444872791658943661928290246966"],"tag":"AbiUInt"},{"contents":[256,"195820734256848155358489045973382649518"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054acb","0x000000000000000000000000000000000000000000000000000000000000d101"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047880","0x0000000000000000000000000000000000000000000000000000000000007947"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054409","0x000000000000000000000000000000000000000000000000000000000000b7ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002eef4","0x0000000000000000000000000000000000000000000000000000000000001d4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"1533633247"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051510","0x000000000000000000000000000000000000000000000000000000000000465c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"66326774848044562235783984"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000555f7","0x0000000000000000000000000000000000000000000000000000000000005e65"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"1532456752"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000026390","0x000000000000000000000000000000000000000000000000000000000000c15d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"1538352788"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007562e","0x000000000000000000000000000000000000000000000000000000000000c4cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x1C310426202C49BD70225A9A660dA6019422FFcA","tag":"AbiAddress"},{"contents":[256,"23716036950730158306828743938895764717471405316258015913195582873279462212218"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005ee3e","0x00000000000000000000000000000000000000000000000000000000000091ed"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"1532026724"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000884bc","0x0000000000000000000000000000000000000000000000000000000000005561"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"3744151924340702101545015515351"],"tag":"AbiUInt"},{"contents":"0x23c3Fb00f6Ca966b4eA46000F984C43809b2eE30","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063a7c","0x000000000000000000000000000000000000000000000000000000000000b7fa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074ad3","0x000000000000000000000000000000000000000000000000000000000000c875"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"29831318164847032845660666169786258419982439777740411101780907466878970810530"],"tag":"AbiUInt"},{"contents":[256,"121"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639634"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950335"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266894"],"tag":"AbiUInt"},{"contents":[256,"66394470052832496075593000602159710696309002549433255345334344919942905230644"],"tag":"AbiUInt"},{"contents":[256,"70492592399089699145763742457665262553882543425655857498814568020837146556164"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"123"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"83170993407737894160239549591703798184017201887345696644714209689586844808152"],"tag":"AbiUInt"},{"contents":[256,"47614081170314753621488"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628413"],"tag":"AbiUInt"},{"contents":[256,"87380359016978720241479243574790425507496971464364457638697076360936651533241"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639886"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"70978306045339930074556155681895892443888670846269520611984282923986814826435"],"tag":"AbiUInt"},{"contents":[256,"498"],"tag":"AbiUInt"},{"contents":[256,"3661886970778221489692104859083249918667049442610375045475087718997241798326"],"tag":"AbiUInt"},{"contents":[256,"7"],"tag":"AbiUInt"},{"contents":[256,"2001"],"tag":"AbiUInt"},{"contents":[256,"26761321831081251455033752865839290831063756974319262376393256941836380454910"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908085"],"tag":"AbiUInt"},{"contents":[256,"74"],"tag":"AbiUInt"},{"contents":[256,"28446775397393078676875982140329145201361204755677143118000506158455804752108"],"tag":"AbiUInt"},{"contents":[256,"6"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211775"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"74993970170825078589337244885032216043277134887538882370537716752001150303809"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577598"],"tag":"AbiUInt"},{"contents":[256,"55540045254992381614496705295746155793048045984450367117596616730202751248292"],"tag":"AbiUInt"},{"contents":[256,"607"],"tag":"AbiUInt"},{"contents":[256,"8389977629405304"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ae7a","0x000000000000000000000000000000000000000000000000000000000000db46"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x000000000000000000000000000000000000000000000000000000005b75d07a"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"6911326148650896768821463812631124148585715455799274108782330437484578135577"],"tag":"AbiUInt"},{"contents":[256,"707"],"tag":"AbiUInt"},{"contents":[256,"1531860121"],"tag":"AbiUInt"},{"contents":[256,"2712612694865408545879284947713859542936577800815703885876028758516965"],"tag":"AbiUInt"},{"contents":[256,"1536288569"],"tag":"AbiUInt"},{"contents":[256,"80025663722631365575687229016345292893318155345744765276609795429525561711531"],"tag":"AbiUInt"},{"contents":[256,"14545578878190686967661124560547213593863025947328554834128006776054849928337"],"tag":"AbiUInt"},{"contents":[256,"83442040959595201756209955663221695168747048925623212004821046512973143079565"],"tag":"AbiUInt"},{"contents":[256,"40318619752368103094692459778658362711121540652027514145653791919565597456444"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"64632557725367554703944056973907586469361354240154515057214914592975993498822"],"tag":"AbiUInt"},{"contents":[256,"1534528601"],"tag":"AbiUInt"},{"contents":[256,"15674898"],"tag":"AbiUInt"},{"contents":[256,"1533005080"],"tag":"AbiUInt"},{"contents":[256,"1528418507"],"tag":"AbiUInt"},{"contents":[256,"1532972972"],"tag":"AbiUInt"},{"contents":[256,"1528608740"],"tag":"AbiUInt"},{"contents":[256,"74335683486539757472181868011365782831782990951234194671800424847766480517456"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1530612878"],"tag":"AbiUInt"},{"contents":[256,"37563535681694926102163365498690290452635446889332309197063428006626921239621"],"tag":"AbiUInt"},{"contents":[256,"17431826146500848162003541771911225286382654252476283950347451405121718283264"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"66863378744115078116544057749022236138192233183506165227515133811860204245152"],"tag":"AbiUInt"},{"contents":[256,"132"],"tag":"AbiUInt"},{"contents":[256,"26010248248274851529503968536726341713224172060893035447975049984656341994522"],"tag":"AbiUInt"},{"contents":[256,"97134236966295526715284003084579290036881838209210624772255235690579144341770"],"tag":"AbiUInt"},{"contents":[256,"49928073104957038746290866495209386062510168517096025981863934734117648996331"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"53706354717925943449732931184917578818200399457603883404115718987466666578496"],"tag":"AbiUInt"},{"contents":[256,"1531004592"],"tag":"AbiUInt"},{"contents":[256,"22451566831170756476299189581809257837326835881788462198099777800223728697061"],"tag":"AbiUInt"},{"contents":[256,"102117975093084454233971134856529151602172233887410499683759762758874487433407"],"tag":"AbiUInt"},{"contents":[256,"25531787429206832825340632"],"tag":"AbiUInt"},{"contents":[256,"53797142056035355553886604625165184006137249370597793310707417160498381770077"],"tag":"AbiUInt"},{"contents":[256,"64823623229086068118550869178624200201399256561875862514365353111725282818757"],"tag":"AbiUInt"},{"contents":[256,"7877110058285015219879075"],"tag":"AbiUInt"},{"contents":[256,"15434956"],"tag":"AbiUInt"},{"contents":[256,"34053719440243494967692527503945195126176261564243261783732401473420602049942"],"tag":"AbiUInt"},{"contents":[256,"1525664945"],"tag":"AbiUInt"},{"contents":[256,"100858435351353613594342201844171962800726722596333352999769019578684398165421"],"tag":"AbiUInt"},{"contents":[256,"54640569451077102372177468008998804815113234415308638956714449797003929531686"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"21704302071887381917812450635279738220588346779950568"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e426","0x0000000000000000000000000000000000000000000000000000000000009b7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x00000000000000000000000000000000000000000000000153492b1c0c406aeb"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"136332688"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014a61","0x000000000000000000000000000000000000000000000000000000000000061b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"1539207308"],"tag":"AbiUInt"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000026b","0x0000000000000000000000000000000000000000000000000000000000003b10"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001a0e3","0x0000000000000000000000000000000000000000000000000000000000009d74"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1531003462"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005192d","0x0000000000000000000000000000000000000000000000000000000000001fbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000086b92","0x0000000000000000000000000000000000000000000000000000000000003bd3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"67"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007dec6","0x00000000000000000000000000000000000000000000000000000000000083e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"85095938672248487068353977307788652506"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009132","0x00000000000000000000000000000000000000000000000000000000000014f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004b9ae","0x0000000000000000000000000000000000000000000000000000000000002626"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"54221869166280243668544303370874989215262862330283427346102050376458311263656"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038653","0x0000000000000000000000000000000000000000000000000000000000004342"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"89"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032ba5","0x000000000000000000000000000000000000000000000000000000000000021d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"1534859925"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000073ed6","0x0000000000000000000000000000000000000000000000000000000000001be1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000376","0x0000000000000000000000000000000000000000000000000000000000003057"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"1527919340"],"tag":"AbiUInt"},{"contents":[256,"1530145013"],"tag":"AbiUInt"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000006da","0x000000000000000000000000000000000000000000000000000000000000d98e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"106015407464950901453473584642713506898670171865999144684598069333326374097109"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"48753306784931974438681894792610032345058377261115025121243287966738067576700"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038ba6","0x0000000000000000000000000000000000000000000000000000000000002558"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"13810718"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034ee4","0x0000000000000000000000000000000000000000000000000000000000003f98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"83980425121687942578497765699022602504450227306354214764991907922625844661195"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002a2d4","0x0000000000000000000000000000000000000000000000000000000000001e06"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002b8d5","0x0000000000000000000000000000000000000000000000000000000000007b33"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"233"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1535087907"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068cee","0x0000000000000000000000000000000000000000000000000000000000005c5e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1536708811"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002e304","0x0000000000000000000000000000000000000000000000000000000000001670"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":[256,"778"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058898","0x0000000000000000000000000000000000000000000000000000000000007f7a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000018090","0x0000000000000000000000000000000000000000000000000000000000002eae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0xE4aE79d38C66F58bf4E865D4a529d555F3286448","tag":"AbiAddress"},{"contents":[256,"553"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e824","0x0000000000000000000000000000000000000000000000000000000000008fd3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000242a7","0x0000000000000000000000000000000000000000000000000000000000008220"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"9183549649867534770391780754237237964573252906781265075147562497444195529503"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088e0e","0x0000000000000000000000000000000000000000000000000000000000009771"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000dc6c","0x0000000000000000000000000000000000000000000000000000000000003480"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"57290746084634909468807330731764435214096017292677934967147678125685415797323"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089bad","0x000000000000000000000000000000000000000000000000000000000000303b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"2837273276"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017f41","0x0000000000000000000000000000000000000000000000000000000000009765"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072e61","0x0000000000000000000000000000000000000000000000000000000000006aea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"66604421600418425737714074356260116885744459252468246197980759738706646227004"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003859c","0x000000000000000000000000000000000000000000000000000000000000990a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0xdE640fa1032398cC07D6e605d3c8F55f4aca7eff","tag":"AbiAddress"},{"contents":"\"Not authorized\"","tag":"AbiString"},{"contents":"\"Error(strinng)\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0xE194aA6b80fFd71989dd196c7f84fa624b8d7D5d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"18097917618026336709011124525384352929258115863233209859024136244356008453049"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"58870887311380873757252019601081586604720553062864846954874531551075417656027"],"tag":"AbiUInt"},{"contents":[256,"331"],"tag":"AbiUInt"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000005ffc","0x000000000000000000000000000000000000000000000000000000000000b339"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000637ae","0x0000000000000000000000000000000000000000000000000000000000000931"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"D\\SO P\\DC4J6\\252\\142\\169\\243\\164\\&7\\NAK\\219B\\174\\155\\ACK\\138\\198\\242K\\FS\\NULQc\\137\\208\\150~\\189\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008166f","0x000000000000000000000000000000000000000000000000000000000000d187"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f915","0x000000000000000000000000000000000000000000000000000000000000d96a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]