[{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaff","0x00000000000000000000000000000000000000000000000000000000000043a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"105623355868368529568708777123061631382299760074940729444736884689922423209679"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000129","0x0000000000000000000000000000000000000000000000000000000000007e4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7c0","0x0000000000000000000000000000000000000000000000000000000000001368"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"9000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0d","0x0000000000000000000000000000000000000000000000000000000000008191"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"84754357525567800336714514874688729884197191446381425088584155701416519917770"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e3d5","0x000000000000000000000000000000000000000000000000000000000000b446"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000325e0","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"485"],"tag":"AbiUInt"},{"contents":[256,"109028303275097424688625443430800925496385831679781000576822954032337520829736"],"tag":"AbiUInt"},{"contents":[256,"1260517629462223"],"tag":"AbiUInt"},{"contents":[256,"66074710225619127716511578114843535663897239867413327652299592018463540740496"],"tag":"AbiUInt"},{"contents":[256,"104"],"tag":"AbiUInt"},{"contents":[256,"61608000755954362548107079695113992115076596190826002304637743085518478116751"],"tag":"AbiUInt"},{"contents":[256,"90439042790438382220306022840292431292364161867638661816175593065764411104266"],"tag":"AbiUInt"},{"contents":[256,"93919394016374087497898401414882546057453694984725645314520190609858143623111"],"tag":"AbiUInt"},{"contents":[256,"1999999"],"tag":"AbiUInt"},{"contents":[256,"86177840234964856720524955527883557665291811150940816872054581704467200805793"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639873"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"35369597752002689261210126439694164513246933674266195802889621712437615724030"],"tag":"AbiUInt"},{"contents":[256,"76124870171668228735449959871137097353969653369059232017016862816748219746835"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908081"],"tag":"AbiUInt"},{"contents":[256,"55744981149190415220906404825516324785232413381329501492846663808138433494097"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629937"],"tag":"AbiUInt"},{"contents":[256,"51"],"tag":"AbiUInt"},{"contents":[256,"2000002"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639638"],"tag":"AbiUInt"},{"contents":[256,"23601817148624819929659182831839592484725403327567379837613454858960509291300"],"tag":"AbiUInt"},{"contents":[256,"20535162691939130223351342534315317221243329238932753301647311623285960300050"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011522"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781056"],"tag":"AbiUInt"},{"contents":[256,"3008930927956073056818339912923392467859152741324082072845953875089872971072"],"tag":"AbiUInt"},{"contents":[256,"60826403981459032469898783882496827693887190790002291817593122027859645929286"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"},{"contents":[256,"11680742828135911359131670437351255711312408725273890973841480636311158988846"],"tag":"AbiUInt"},{"contents":[256,"71315903845918281353938753220929789316721257703499161669391898792530086613261"],"tag":"AbiUInt"},{"contents":[256,"88132824853309513850343973132304401293575255190864752195945548442787893665723"],"tag":"AbiUInt"},{"contents":[256,"101297155407761256118728211144558177503359537699321407444489381521184188845500"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"32415273674858925565895884748641204022970129002012265090066997252470202432677"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639802"],"tag":"AbiUInt"},{"contents":[256,"72"],"tag":"AbiUInt"},{"contents":[256,"9"],"tag":"AbiUInt"},{"contents":[256,"79079168460798909480043805362565288433618775215961596879797673725227592054044"],"tag":"AbiUInt"},{"contents":[256,"6"],"tag":"AbiUInt"},{"contents":[256,"46322523882763372950082170221453247478748005680523092302815536424811389278116"],"tag":"AbiUInt"},{"contents":[256,"25688509443592862453025336669715087562021824549624706082214862654513063441036"],"tag":"AbiUInt"},{"contents":[256,"59975026891327267275718553753559598762416811169663562087982490646058232365145"],"tag":"AbiUInt"},{"contents":[256,"115585246361741644437800748306108718398768439571118783853365439004867080324287"],"tag":"AbiUInt"},{"contents":[256,"80785938705914327104696390368556253440848820037862263008228269612980830613070"],"tag":"AbiUInt"},{"contents":[256,"48673553537923271295187849806490630783181128568034869897961810568673321719189"],"tag":"AbiUInt"},{"contents":[256,"63"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"18682121323980486735273439724400878955485996635728202617320943640845598825690"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634932"],"tag":"AbiUInt"},{"contents":[256,"100954610107681580388941428862563675500394015462967542420929254891965709922461"],"tag":"AbiUInt"},{"contents":[256,"96613697065159779361335993468558420918094582733020202992596996352174479693289"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"},{"contents":[256,"60893282457403863427401701948439120578270202684607276713451436259254131343062"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"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":false,"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":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"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":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a515","0x0000000000000000000000000000000000000000000000000000000000009e96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000000bfb60970b4d36dbd"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"74944855551309720557854637431200171436150031615216698283176834201093400525288"],"tag":"AbiUInt"},{"contents":[256,"53378564726959294519277973069118982681333273208847867321359543947565048322459"],"tag":"AbiUInt"},{"contents":[256,"100000002"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0e","0x000000000000000000000000000000000000000000000000000000000000133a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ea","0x000000000000000000000000000000000000000000000000000000000000653c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dbaa","0x0000000000000000000000000000000000000000000000000000000000001276"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1b","0x00000000000000000000000000000000000000000000000000000000000001f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"54096158385144810427817870461356459355376696409291108241769670536654788316656"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ff","0x0000000000000000000000000000000000000000000000000000000000008ec8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000007","0x00000000000000000000000000000000000000000000000000000000000001f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"110079882797824196809628448503148257278501375816622213325508947114862931137871"],"tag":"AbiUInt"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a80","0x0000000000000000000000000000000000000000000000000000000000000231"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"48152199359398733507445836903361042269311782917667620758470392539684810396584"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9f","0x0000000000000000000000000000000000000000000000000000000000008194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002f","0x0000000000000000000000000000000000000000000000000000000000007116"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\191\\142\\174\\224\\252m+\\ESC\\166\\214\\241_\\214\\SYN\\166))Q\\234\\207\\134#\\240\\215\\ESCl\\161\\206\\132+\\240Z\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000883e6","0x0000000000000000000000000000000000000000000000000000000000004ed6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007fe94","0x000000000000000000000000000000000000000000000000000000000000d8cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"40587768373643407138388749941907844600961711602563529363833434693678215948036"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab50","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"11347346477594267219941150502807984617556905847529132816566872194085511723563"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4a","0x0000000000000000000000000000000000000000000000000000000000006186"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c8","0x00000000000000000000000000000000000000000000000000000000000056f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"11367755510511682030654981722268092204586852692516458725487176917948294084546"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x00000000000000000000000000000000000000000000000000000000000012bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa3","0x0000000000000000000000000000000000000000000000000000000000004344"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"7523522462139"],"tag":"AbiUInt"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ea","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000051","0x00000000000000000000000000000000000000000000000000000000000095b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"2002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427c","0x00000000000000000000000000000000000000000000000000000000000000e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628413"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e374","0x000000000000000000000000000000000000000000000000000000000000614c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead0","0x0000000000000000000000000000000000000000000000000000000000001394"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"74120935731500293758055438755521257418794046434936372683617014397915129818642"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae8","0x0000000000000000000000000000000000000000000000000000000000000063"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"Undefined panic code\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084276","0x0000000000000000000000000000000000000000000000000000000000001275"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec8","0x000000000000000000000000000000000000000000000000000000000000185a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"8799209897739531244948362552458052666024994592521595633679881641168495202628"],"tag":"AbiUInt"},{"contents":[256,"73845410324185603598291399782937252771863204338297677701304014806852985617728"],"tag":"AbiUInt"},{"contents":[256,"98723886981517239186964133325503155143640248992408601162838494033951662483957"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ef","0x0000000000000000000000000000000000000000000000000000000000008adf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd37","0x00000000000000000000000000000000000000000000000000000000000019a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e954","0x0000000000000000000000000000000000000000000000000000000000003f81"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a5a8","0x000000000000000000000000000000000000000000000000000000000000003f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"37\\t\\194\\176\\240\\SUB>\\130m\\207\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\134i\\r\\155o\\200\\159B\\142\\215\\DLEK\\158\\143\\184\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\SI'W\\232b\\234\\a\\228\\170\\&4\\224p2\\154\\&7\\244\\143H`\\140G\\244\\241\\149\\196\\129T]\\RSd\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\")\\193@\\171b\\220(\\188.\\244\\129I\\ETX[VQ\\220\\ESC\\ENQ\\243\\188\\149,UT\\DC3\\n\\147\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\249\\242}=\\141z\\244A;?xE\\138\\\"\\192\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\205\\&1d\\231*\\249`\\163'(s\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\202\\bC<\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\200w\\206\\245\\t\\211\\DC3\\167#\\236\\212OR\\131|\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\199R\\153V\\161^\\145\\243\\&0\\206\\&9\\143\\131\\&3\\136y\\SID\\EM\\201c\\234\\n\\148\\208\\204I\\151K\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\174bmN\\154M\\DEL8T\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\192W\\203\\EM\\218\\208]\\157\\r\\202v\\210A\\244\\DC4\\159\\168%\\136\\143`>\\v\\215\\201\\247at\\228\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\142\\216\\228Z\\198\\f\\250\\EM\\128\\&6\\SYN:/\\SOH\\184\\166\\181\\189Cor\\RS\\ETB\\220\\168ZS\\EM\\164\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"|l\\164\\ESC\\133~\\179R\\234\\176?\\ETB\\139\\183\\208\\FSK\\224u\\131X\\ENQ\\193\\DC1\\215yl#\\ESC\\141\\EOT\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\137]\\136\\FS\\220\\&9\\249\\EOT\\205Z\\218\\&8?\\230`\\129\\152\\244\\DLEz3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSu\\134\\200\\ACKvvy\\155p\\236u\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"P]\\244\\&1\\142\\241\\f\\STXG\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\ESC\\156O\\160:\\206\\174\\tE\\191\\RS\\225\\141a\\195\\238\\195\\FSQ\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\192\\190\\146N\\GS\\153\\191|\\238I\\167\\149\\ETB\\238cYJ[v\\ETB\\255\\233yoL\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\152\\t\\NAK\\184\\251\\f\\237\\RS\\254#\\RS\\DEL\\223\\&2Ob\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\139\\232DB\\184\\RS{\\176\\&7\\178\\US\\NULo\\152\\128n+M\\NUL\\221\\DEL\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185kw\\216\\ETB\\221\\242\\SYN\\DC3\\160~O\\175l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189J\\181r\\162\\151\\170\\DEL\\200\\199b\\168f\\198\\SOqzyX?\\204\\244\\255_\\GS\\237\\185\\141]DyG\"","tag":"AbiBytesDynamic"},{"contents":"\"?*bi\\201\\237\\230\\244!\\151@\\ETB\\214\\192\\ENQ\\219\\153\\208]\\ETXX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\182\\229C\\v\\198i\\198\\DLEU-\\183*\\ETBKm:\\167,\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\142\\DC2$\\247\\\\\\164D\\DC1\\134\\212\\214\\171\\152\\166A\\187\\133/\\229\\SUB8'\\224ZH\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\240\\151\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\209\\232\\ETB^\\151\\142\\188\\164\\183r\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"3\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\153\\239\\206\\236\\251\\205\\191\\137f6\\248\\181\\\\3\\223\\DLE\\225\\\"\\rz~\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"Y1\\ETB\\167\\SUB\\147\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\RSJ\\178\\189\\208\\228-Jv\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\239\\166\\153\\224\\243\\ENQ\\232\\136\\188\\&7\\227\\r2\\ETB9>\\233\\148\\162\\217\\235\\196\\162_>\\236\\&8\\218\\t*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248y\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\148\\225\\191\\206\\153G\\164,\\242\\197[\\192\\212\\199#\\241\\&0P\\209\\ACKe-\\240\\EOT\\205\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4=,]S\\EMFC\\r?\\159\\217\\132\\DEL4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\148\\186\\232-\\172\\195c%\\225o\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\217\\n\\221\\243\\f\\135\\167\\217\\216\\162\\154\\146\\225/\\130D\\136\\144\\SUB\\n\\255\\CAN\\195vD\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188e\\245z\\237}\\DC4\\235\\229\\236\\147\\FS\\181\\SI\\190a1\\231n\\152\\138\\186\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1u\\163\\ENQ\\DEL\\FS\\159<\\236$?\\ENQ\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\":\\175\\176\\210\\134\\&7\\244\\228l\\226\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"V-Zv\\155\\194cO\\238[\\SUB\\246\\DEL\\139\\204T\\232\\DC4R\\206\\EM\\229+\\244S)T\\179\\238{\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\140\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\FS\\218u\\181\\249{A&9hj\\168\\\"vE\\196xJg\\140\\129]\\201,\\197^D\\214A\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248w\\194\\166\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"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":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\146YE\\248|s\\202\\151E\\\"=\\194\\152\\&2\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\231\\SUB\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\NUL@\\230\\248?\\240\\NUL\\ETBl\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240D\\EM\\175U\\221\\213p\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\131\\240x\\\\\\137\\157lQpF\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253&\\137*`\\205\\245\\144n7\\248\\&0T{\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\CAN\\GS\\142KC1\\\\\\187\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\169\\FS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\228\\DLEz\\143fz\\240\\&3*F\\233\\130\\226\\149\\223+\\143\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\251d\\133W\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\re0\\NUL\\vP\\206!\\224\\&7\\SUB'\\194\\173e\\210\\151\\&7.\\209\\ENQT\\164X\\159y\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\DC2\\FS\\v4\\207\\NUL\\SI\\233\\ACK\\241\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\172\\213/\\182\\132\\225=\\199\\ar\\198z\\238\\165\\&7\\186\\&0\\US\\nU\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\189\\164e\\229\\197:y\\NAK\\158i\\153\\EOT\\DC4\\201;\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\\\\\199\\240\\ACKn\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158b\\ETXx\\171),\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\139\\150\\\\\\252U\\ETX\\255\\n\\161{\\253\\182\\205\\210\\165\\204\\GSb1\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\196\\175zp\\166\\150\\195V|\\rX\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\144\\201[\\238\\216\\137\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141S\\144\\218\\GSj\\187\\SOV\\189\\244\\FSx\\236\\180\\SOO\\238\\216\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"rF&\\159\\ENQ\\195\\154\\130\\FStf\\188p\\211\\SO\\212p\\137\\EOT\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\173\\br\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"|q\\182\\232\\201\\172\\181\\159\\145\\250!\\133C\\255\\208\\SYN\\DC3\\152\\223 \"","tag":"AbiBytesDynamic"},{"contents":"\"\\201QwY\\228u\\228n\\170{\\208\\a\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\202\\FS]^|&\\141\\184x\\224l\\248{w]\\r\\197\\DC4\\186\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176L\\168\\199\\225\\aW %Jl\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\231\\&1)S\\213\\148\\201cd\\203^~\\177[d-r\\199\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\144\\180\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\175\\\\\\171\\219\\148&\\227\\217?nz\\248mR\\174\\132\\167\\&2\\236\\CAN\\202U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177w\\132K\\241\\SOH\\187B\\219k\\145{\\215\\SYN\\135\\165\\204\\234\\131~9\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\\\\\223\\217\\171\\155\\193\\194\\239N 9p8fR\\RSE;\\143{<\\248\\&0H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"Tn\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"Hn\\169\\147\\188\\239\\216\\188\\212_\\142\\240O\\197\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQv\\221hJa\\233\\218\\DLE\\170F\\140\\141\\213\\129[\\DLE\\163-j!\\f \\151\\129\\228\\188T\\210w\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\134i1xH\\205O\\240\\160\\220\\227g\\214\\212\\t\\NAK\\218\\200\\219\\200\\NULZ\\158)G\\ETX.\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\ACK\\179\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\230\\&3\\242\\163x\\244.\\n\\215\\151\\163\\191u\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\201&%\\142\\246\\188u\\174@\\128,\\149\\&2\\222cAA\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\r\\192\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\197\\227\\173\\179Sl\\169vk\\179\\&6V\\234y?A0\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\246; \\239\\SI\\ESC\\218D\\192\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\161\\138.l\\182\\NAK-o%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3n\\FS0X\\144W\\199\\133K\\170M\\200\\208L\\193\\172fD\\140\\255\\204\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\230S\\172\\a\\STXs\\128\\DLE\\135=hE:\\221\\168\\189e\\177\\202|\\190\\251\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\193\\181Y\\171\\&3:\\245\\136r1\\213\\245\\140Z\\148\\215\\239\\224B\\t\\SYNw\\DC1\\158o\\168\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\251'<\\184\\237E8\\n\\ak*\\148\\164\\151\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\179P*\\199?\\US\\SYN\\209\\ETB\\143\\214b\\181Lg\\195\\245\\229\\183n\\bU\\200U\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\140\\249g=\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\216Dq\\249\\242t\\192\\164\\134\\132\\SO\\\\\\174\\160\\140\\186~c\\205h\\255\\SUB\\227\\146\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\206\\165\\217w\\214\\199ry\\246\\&0\\EM\\175\\211`.\\196\\244\\206E\\231\\ETX\\174\\157>0\\232C\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\DELM\\150s\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\&6\\STX$K3\\163\\216\\224\\240\\194\\174\\253\\252lc\\181\\162\\250j\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\RS\\ESC|\\255\\&3:\\SI\\149\\222W\\204Q\\btb\\250c\\240\\187n(\\NAK\\ad\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\232\\168\\184E\\151\\241\\175\\DC3\\v!\\168\\137lGP\\ETX\\156h\\179\\150~\\186S!\\213\\184\\202(p8-\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\200\\186\\DEL\\212\\139\\DC3\\239\\235\\242\\DC3\\231\\175\\251\\SO5\\156 \"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\248I\\175*\\233^~\\189\\191\\&8\\147R\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\156U\\211VN0\\208A\\196\\&7\\184,([\\168\\138\\210\\227\\&4\\196\\ESCZXW\\233>\\192GX\"","tag":"AbiBytesDynamic"},{"contents":"\"Dt\\202\\167\\247s\\ESC\\154\\243\\194U\\176\\225\\174\\234\\232$`&.4\\181\\154`Z\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\231\\SI\\229V\\STX\\220\\196$\\205\\&2.\\166\\188F\\ETB\\253\\&8\\245\\244U\\151\\144\\228\\171Y+\\186s\\154\\ESC\\203\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228{[\\158r.\\NUL 4\\178\\163\\180\\ESC\\249\\&9\\203@l\\128\\DC3\\RS\\182\\229Q\\171\\130\\153\\163\\139\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174F_M\\241<Mt\\219{y\\230!\\188\\239\\147\\DEL\\253\\bm\\226\\135\\137\\223j\\SYNH\\228\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\SI\\EM\\216\\147\\165\\135\\a\\182\\159\\162\\231v\\b\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201P\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Vi\\SO\\129\\FS\\208:j\\243\\&8S\\134.\\DC3m\\197\\196)\\153\\200e\\175\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\bMw%\\196\\DEL\\170\\213A\\240_2\\224\\146\\154\\234*V\\152\\178_\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\224?F\\231\\188Jp\\n\\197\\249\\167\\217\\&5\\187\\195O:\\EMN\"","tag":"AbiBytesDynamic"},{"contents":"\"H5*\\217\\218ZT\\182\\f\\245LI\\n\\163\\248\\190\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\201\\128\\218[A\\180\\SIH\\239\\192\\190d\\145c\\235\\240T\\163\\157\\247\\239\\200\\129\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233oK7\\240\\131\\&3\\227\\SIG\\DLEr\\163\\157\\138-\\162\\DC4\\184\\&8\\255\\221 h\\146\\216\\187\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\198\\128z\\144\"","tag":"AbiBytesDynamic"},{"contents":"\";b\\151g/\\225\\254Qm&\\213O\\ACK\\142=\\222Mj\\132\\245-=&\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\&9\\\"\\249K\\240\\170\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\DC3T\\246*O\\171\\156\\240$\\129\\221\\RS\\139\\148\\248\\180\\244\\233\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"09\\239\\233\\168U\\GS\\148lmJ\\171\\CAN\\DLE\\252\\138\\202\\183\\244\\&1\\178\\241\\193\\252\\161\\203`\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\232;\\nDd\\246\\181\\252\\248\\184\\239\\158\\bq*{0\\131>\\245\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\185,\\ETB\\216yM\\SI\\210\\149%\\214\\144\\164\\252\\ETX&\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1}\\194\\191\\206\\231\\187Pskt\\244\\149I\\135\\234\\196\\159\\161\\RS^\\164\\233!R\\171\\142\\203p\\161k\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237I\\236\\201\\134\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\178\\159\\b\\229\\234\\177\\SIS\\195\\&0\\167\\&3\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\ESC-\\ETB\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\153F\\194g\\249\\&3\\231\\141\\DC1\\131\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204jo\\197)a\\162V\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\199k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\229\\ACK\\222\\&7'\\144\\DLE\\212\\223\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\230#\\183NK@\\141\\vei\\199#UR\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\247s\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\190\\153=\\192\\147\\ENQ\\221\\193\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\ETX\\191\\DLE/\\222\\200|#\\CAN+\\201\\&2,\\234\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\236J;\\254\\219\\245\\151\\182\\143\\151\\\"NL\\ACK\\253Q2\\211\\186a\\SYN\\249\\ETX\\196\\187\\218*\\vT\\165\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\203d\\196\\&8\\222\\ENQ<g\\255\\220~\\255'%\\187RN\\246P_\\ESCl\\br\\202\\198\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SUB\\194\\RS\\134\\205\\170\\157\\239*\\CAN\\173\\208\\232B\\DC1\\243\\179\\143\\185s\\203\\&1)\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\184e\\240<\\229\\&2\\210\\214\\253\\v\\a\\a\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\144\\f\\240TgQ\\236\\&6\\169{6\\163\\227\\225r+-\\196\\167|\\SOHP\\180\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209D*&C>\\141eQt\\255\\144YU\\STX\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\DLE[M\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220MT\\215\\180\\251\\252\\a\\189\\212r\\173\\232\\203\\DC4\\241\\155\\155\\222\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239/\\224\\143\\129\\STXJ\\SYN2\\213{h\\243\\188\\211\\231\\163\\CAN\\176\\\"x\\151:\\DC2\\151\\SI(\\212\\189\\197\\148R\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"G(f\\172\\206\\210\\213\\213\\ACKcL\\245\\135R\\182\\244\\192\\&0$i\\230\\214\\213+\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"u0\\139\\ACK\\153\\149\\195\\r\\137\\128\\218\\133\\137vKx\\235J$n\\208I\\212L\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\159\\225\\193\\212\\199\\133\\210\\228\\&9\\239\\150\\222\\213B\\DEL\\239\\176\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\\\Q2\\206\\156n\\235\\181\\208e\\185g\\ENQ\\149\\186\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\208\\232S\\FS\\170\\&7#\\212k\\215C\\206\\254Zdp\\NULe6\\ACK\\165\\162\\134y\\157s\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\158\\&6z\\DC3\\229\\147gI\\166\\205\\CAN%\\216z'\\201\\157z`y\\171\\224\\SO\\210\\176\\148\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"oZ\\221\\229\\\\BM\\134B [\\153\\ETB~\\US\\129\\188\\SYNp|e ow.S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\248\\166\\139\\251a\\142\\&3\\SOH\\158l\\160\\136\\252\\250\\ETB\\191^\\SO\\146^sX\\f\\NAK\\r\\ETXV\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"{CY\\DELRo\\ESC\\176\\172\\219\\176\\192\\\\\\254e\\240@L\\ENQ\\EM>Df\\172\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\193\\189IO\\ETB\\180\\162\\176pQ==I\\248eN\\178\\252\\233~*\\174\\233I\\204\\164\\207\\&2a\\193D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197S&)\\145#\\233Nqe\\186\\200\\188Z\\182~)Vo\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\206\\218\\f|\\165\\171\\220\\157UE\"","tag":"AbiBytesDynamic"},{"contents":"\"$C-\\185\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\216\\187c\\196%\\240\\195(\\243_4\\FS\\CAN\\141$V\\168\\160\\STX\\r\\162F\\228NB\\156\\131\\129\\254n\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\137\\169\\242\\184m\\150\\219\\133\\rt\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231I\\253\\244PwAmx{\\160Y\\198\\133\\vB\\GS\\213J\\180\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159b\\131D\\185\\172\\ACKo\\175sy}@\\205\\238\\187g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138nL\\252\\227\\249_V\\SUB\\246\\155\\154\\&4]4\\194\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\186\\DC3g6\\174\\&4\\234`\\CAN\\221T\\192\\136\\236\\244-\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160Y\\183\\158\\162\\225,\\195\\153$\\224\\215\\DELT^K\\250\\178Kk\\228Sb\\177x\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\r\\191.\\161\\&57\\246!V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160G\\242(\\SI\\226\\b1\\SOH\\242a\\235\\164\\191\\255\\ESCDtg\\230ZG*\\242\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\186\\185\\&8i}\\130]\\ETB\\238\\199\\155m\\180RzEi\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"&\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\161DpS\\219\\176\\142t\\139\\165\\158\\134\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233q\\FS\\DC2\\235\\CAN\\240Q\\b>$\\151\\208\\&5\\140\\200\\225\\GS\\214\\177\\169\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\232\\239C\\157N?a\\136\\SYN\\\\b\\218\\ESCb\\246\\&2w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\215\\211\\138\\&2\\217wRcX\"","tag":"AbiBytesDynamic"},{"contents":"\"{N\\bj\\145\\NAK\\138\\162o\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\131LY\\156\\157\\191* \"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\162p}A\\202\\199\\181\\172+~\\248\\202\\175E\\165\\202\\159\\165G\\241z\\180\\141\\248U\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\EOT[\\193\\144#\\FSP\\255/&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239!\\153\\226[\\139\\&8\\201\\136\\237D_\\NUL,j\\DLE\\DC1\\160\\251\\CAN5\\213\\144\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241`C\\169\\175|\\252r\\147\\138\\210Bc8\\191w\\166K\\210\\166\\184\\139O\\171\\252\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\202\\237J\\GS\\147U\\157\\&0\\189hD\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\EM\\189\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142K\\247\\STX\\205vw*\\228\\189\\247\\175\\DEL\\172R\\ETX\\165\\189\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\136#H\\151\\249\\183<rl\\234\\ESCc\\174\\203\\145W\\197\\175\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239Y\\RS\\180\\&5(~\\243\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\185\\160\\RS\\153N\\147\\151\\159O\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\239\\249\\&0\\186 \\165\\190\\EOT\\200\\193@\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\173;fW\\244\\172y\\228<\\136],\\ETBp\\216d\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183u\\137\\ESCMg\\ACK\\249\\150\\248<\\203\\208\\134\\246\\143\\189\\144<\\191\\205(G\\193\\245\\166\\240\\196\\227Z\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197%\\155{%\\252\\b\\ENQ\\216\\255\\183\\200~\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\235$\\167\\SOHO=\\137\\173$3\\DC1\\139\\&4\\176\\203\\152\\219\\220zS\\159!Y;6\\234\\130K\"","tag":"AbiBytesDynamic"},{"contents":"\"P6Tg\\159\\230\\238{\\231\\184\\DLE\\b\\ETB%\\US\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175m\\156\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\182\\247\"","tag":"AbiBytesDynamic"},{"contents":"\";\\SO[\\157H\"","tag":"AbiBytesDynamic"},{"contents":"\"xop\\180\\144M\\ESC\\241!]\\159|\\n\\244\\234\\US\\246b\\137\\179\\157\\&7\\186\\187\"","tag":"AbiBytesDynamic"},{"contents":"\">\\215\\173\\230\\157\\184\\140w9\\216\\254\\191\\134\\167\\130\\159\\156\\203\\182\\133\\&3\\169\\138S\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\aa\\205\\207\\204C\\213&\\207>_\\154\\214%g\\188\\178N/\\DC2\\143\\192\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\r\\189\\228\\172@\\182\\243|X\\235\\243r\\228\\180\\245o\\174\\DC1\\EM\\CAN~)\\224\\EOT\\144;\\SI\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\157\\195]\\201\\249\\227\\179g\\187\\DC4O\\226!\\f\\137\\215\\141\\200\\&0)+\\137\\&60\\156\\201F\\175\\165\\219\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\255\\198\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\DC4\\247:Qn\\136\\SYN\\172\\DC3\\152\\NAK\\b\\147\\218\\b\\SUB2b\\131\\226U\\139yq\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\160N\\140\\v\\205\\190\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\162\\187\\DC4\\219U\\227\\213W\\234\\t\\235p\\227\\193N\\171\\141}\\157\\200<Sn\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\b\\209F\\240L\\143\\128\\165\\&6;\\129`\\204\\206X\\218ka\\218N_\\212\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\NAKa/\\ACK\\236\\184\\140\\232\\181\\134\\244(1\\167\\&2l\\180\\162\\255\\139\\&3\\173\\194~_\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"4$\\180\\134\\221\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"{(\\182\\175i\\223-5&/\\246Y\\STX\\153\\250\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\211\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\218\\235\\164V\\139\\135\\DLE\\237\\EM`\\EOT\\152\\147\\195\\147\\176\\195v\\ESC\\DC4y,\\ENQK\\134'\\128\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1534704528"],"tag":"AbiUInt"},{"contents":[256,"25531787429206832823340631"],"tag":"AbiUInt"},{"contents":[256,"60859669416314494506396149934694427480464211839557513064719410935258235592548"],"tag":"AbiUInt"},{"contents":[256,"10156616620797280912570533304920195180313769131510047497540294203434189103283"],"tag":"AbiUInt"},{"contents":[256,"97963244109072750843516290015207033413245288382003961460775398140670643684965"],"tag":"AbiUInt"},{"contents":[256,"1526304157"],"tag":"AbiUInt"},{"contents":[256,"58712214776321060114805669471295170082729111491608430846673279994040055694766"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639638"],"tag":"AbiUInt"},{"contents":[256,"14744333336771370248906135237876391903966279599256673445999132479112809138274"],"tag":"AbiUInt"},{"contents":[256,"14744333336771370248906135237876391903966279599256673445999132479112809138274"],"tag":"AbiUInt"},{"contents":[256,"14744333336771370248906135237876391903966279599256673445999132479112809138274"],"tag":"AbiUInt"},{"contents":[256,"14744333336771370248906135237876391903966279599256673445999132479112809138274"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"110934660086956907630230891011340748567946946810843122188235765308439774486281"],"tag":"AbiUInt"},{"contents":[256,"3715806937482649591550013225323443431039"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639938"],"tag":"AbiUInt"},{"contents":[256,"10001"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"88582177114937771697966686360158545712669424761763537237877220098656128384871"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"30356949844795683832702983761816979842877414266858526290818418744870393541569"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"43039756075237531417978432827412388023118902459783274547345028910123073257437"],"tag":"AbiUInt"},{"contents":[256,"34806047917870362154927322831810540066155297195013378979577525559608089917096"],"tag":"AbiUInt"},{"contents":[256,"2446440198542598893736416112431065212073656705290433570923832953516549410482"],"tag":"AbiUInt"},{"contents":[256,"843"],"tag":"AbiUInt"},{"contents":[256,"78129185616295208837933059865457127128093601644362557936981240311864148330058"],"tag":"AbiUInt"},{"contents":[256,"4569534606543849719773927467241397795784706963"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"99128513618127003533211154330384814903616147089975464281094916649328902516879"],"tag":"AbiUInt"},{"contents":[256,"9999"],"tag":"AbiUInt"},{"contents":[256,"90660210693345587979645544660455676322256691716900883293571802271584559054520"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639904"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747167"],"tag":"AbiUInt"},{"contents":[256,"92175988664072120278145404042008089556693972671480911939788864573891721931405"],"tag":"AbiUInt"},{"contents":[256,"1999"],"tag":"AbiUInt"},{"contents":[256,"102122600553738445980005323153480920714973252102103259559934869393234362999844"],"tag":"AbiUInt"},{"contents":[256,"483"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb20","0x000000000000000000000000000000000000000000000000000000000000dcc2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a9f7","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4f","0x000000000000000000000000000000000000000000000000000000000000a244"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"35527278570289457753870117506102392724528185696433794105448013332602951518149"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a518","0x000000000000000000000000000000000000000000000000000000000000653c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e13","0x000000000000000000000000000000000000000000000000000000000000001b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"INVALID_SIGNER\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf0","0x0000000000000000000000000000000000000000000000000000000000001352"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ce5c","0x0000000000000000000000000000000000000000000000000000000000002e81"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":[256,"604803"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ae88","0x000000000000000000000000000000000000000000000000000000000000dcc4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":[256,"541"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb29","0x000000000000000000000000000000000000000000000000000000000000c76e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"99533662627980835026581540207864751052614311484908238858154130870692002500003"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f7c2","0x0000000000000000000000000000000000000000000000000000000000001e0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b145","0x00000000000000000000000000000000000000000000000000000000000035d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec6","0x0000000000000000000000000000000000000000000000000000000000002f7b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"249"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e9","0x0000000000000000000000000000000000000000000000000000000000001384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031965","0x000000000000000000000000000000000000000000000000000000000000135a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"47740566571736301121730222262033551727065430623925284017903760538719912417424"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7c0","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002e85e","0x000000000000000000000000000000000000000000000000000000000000003d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac0","0x0000000000000000000000000000000000000000000000000000000000002710"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e8","0x000000000000000000000000000000000000000000000000000000000000137f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"57346065198851498628388765051105010728753400453700829829401197918773397443473"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bad","0x00000000000000000000000000000000000000000000000000000000000005d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"105"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"104"],"tag":"AbiUInt"},{"contents":[8,"19"],"tag":"AbiUInt"},{"contents":[8,"224"],"tag":"AbiUInt"},{"contents":[8,"58"],"tag":"AbiUInt"},{"contents":[8,"79"],"tag":"AbiUInt"},{"contents":[8,"5"],"tag":"AbiUInt"},{"contents":[8,"61"],"tag":"AbiUInt"},{"contents":[8,"34"],"tag":"AbiUInt"},{"contents":[8,"95"],"tag":"AbiUInt"},{"contents":[8,"41"],"tag":"AbiUInt"},{"contents":[8,"239"],"tag":"AbiUInt"},{"contents":[8,"128"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"7"],"tag":"AbiUInt"},{"contents":[8,"234"],"tag":"AbiUInt"},{"contents":[8,"87"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"141"],"tag":"AbiUInt"},{"contents":[8,"215"],"tag":"AbiUInt"},{"contents":[8,"205"],"tag":"AbiUInt"},{"contents":[8,"111"],"tag":"AbiUInt"},{"contents":[8,"136"],"tag":"AbiUInt"},{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"14"],"tag":"AbiUInt"},{"contents":[8,"150"],"tag":"AbiUInt"},{"contents":[8,"209"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024f41","0x000000000000000000000000000000000000000000000000000000000000ca07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eadf","0x000000000000000000000000000000000000000000000000000000000000824d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb25","0x0000000000000000000000000000000000000000000000000000000000007840"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"120"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c5","0x000000000000000000000000000000000000000000000000000000000000d1ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639930"],"tag":"AbiUInt"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5d","0x0000000000000000000000000000000000000000000000000000000000006ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"100000000000000000000000002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb09","0x0000000000000000000000000000000000000000000000000000000000000037"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"68107277925830583018177495976288488487204135286790540072102558685162454965945"],"tag":"AbiUInt"},{"contents":[256,"532"],"tag":"AbiUInt"},{"contents":[256,"7589939775114653862800309227101692912967965132585129322624871102237167739296"],"tag":"AbiUInt"},{"contents":[256,"93"],"tag":"AbiUInt"},{"contents":[256,"98245765882826346085777372695233747100239730774939259034589468059273247858221"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"104970381444263496767391003610389139564381041717301352122786659476512144079962"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"58793061077953292906327301628175001512633507958350575667248829734840199339255"],"tag":"AbiUInt"},{"contents":[256,"79445368104955725042851639545574419757441595227132451596623225479426451570218"],"tag":"AbiUInt"},{"contents":[256,"46834090923096318157688211825584405902085848244828268095254088802503176920160"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908083"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"89578258542297806384687515310455821297289679410893644612919369425759300752528"],"tag":"AbiUInt"},{"contents":[256,"604797"],"tag":"AbiUInt"},{"contents":[256,"99125089475410344910307608709049831925859720088560618215729119073929164853228"],"tag":"AbiUInt"},{"contents":[256,"1525686260"],"tag":"AbiUInt"},{"contents":[256,"69"],"tag":"AbiUInt"},{"contents":[256,"29273190663555629355739498287916496694066123614263188904139594311553677773020"],"tag":"AbiUInt"},{"contents":[256,"902"],"tag":"AbiUInt"},{"contents":[256,"1534188748"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000001"],"tag":"AbiUInt"},{"contents":[256,"13244093488012197649754784893260903442500483279546637890149252849694267206417"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428158"],"tag":"AbiUInt"},{"contents":[256,"351"],"tag":"AbiUInt"},{"contents":[256,"86613590488989103974531601343849119008768803507411266517719207692169483209459"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"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":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":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"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"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000381","0x00000000000000000000000000000000000000000000000000000000000007d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x000000000000000000000000000000000000000000000003a38d9132ca4bdf4d"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"74"],"tag":"AbiUInt"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089e47","0x0000000000000000000000000000000000000000000000000000000000009f01"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0xED1785b65896022A79B55D3EbaFD6Ab7C6560e92","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Uk88\\216E\\132<\\170x\\RS>e\\227{\\202\\146\\139\\136\\167\\r\\213\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149R\\\"N\\172\\ESC\\202\\144\\182hS\\139G\\n\\247\\213(d\\199\\136\\186\\227\\r4\\179*\\238\\145\\194Lz&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\255g\\156\\f\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\204}\\205!y\\ACK\\r\\128\\228\\159G\\188\\250\\150\\215\\140s\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\219\\158\\228]\\148\\236\\183\\132U[\\180es\\182\\228i\\247\\220\\200Y\\161\\202\\163\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\SO/:\\153Y\\228y\\198\\160<,41\\251\\225\\254C\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\135\\n\\185\\234Rm\\223\\179\\SUB\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\&7\\r\\STX\\ETB\\159\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\183\\&2Q\\234N\\245\\DC2\\FS\\130\\198\\223\\163\\153U\\200\\155\\140\\140\\STX\\238\\221\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\149$\\128b\\SYN\\212\\189\\205\\188+|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\148\\203\\236U\\196\\196\\220\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136y\\161\\158q\\225\\229=\\219<\\175\\ENQ>O\\229\\225\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"{D\\SO\\142\\146\\209\\137\\217*\\188\\254\\206?\\ESC\\202}\\153\\189\\251\\217\\149G&h:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\241\\214\\\\Lx\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\163\\254\\189\\186\\171\\208\\144f\\213\\SOHafW\\159\\&4\\n\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"YWh$|\\171\\229\\237\\217\\229qs\\149X\\195\\136\\244\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\134\\173\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"@?&[\\160\\SOH\\242`\\129\\EM\\236\\SUB\\t\\253\\&8\\186#u\\135e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221g\\129\\193\\252q\\ACK#5\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1a\\CAN\\144\\174\\179\\215\\210\\NAK\\DC2\\211<s0qQ8\\243&!\\226{ m\\208\\ENQ\\194\\DC3\\EM\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\&6\\138k\\161\\&0\\252$o\\DLEq\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\161|lIB\\ACK\\220\\248\\187\\181\\160?h\\ENQ\\192\\RSns\\SYN\\RS<q}\\SYN;6\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\&7x\\222\\216\\247\\132\\150\\230N\\ETB\\DLET\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\138;\\190\\246\\159o*\\138\\187\\SYN~\\202\\177\\&8\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\130\\CAN\\178R\\247\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"U\\221\\231h\\ESC\\RS\\252\\237\\201\\143/7\\253\\205\\204\\137\\222m\\135\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\\\Q\\228\\183\\159\\163]\\137\\198\\210.\\245\\198\\182m\\fI\\156\\SYN\\230\\174\\239\\183\\136\\DC3\\155\\193\\185lw\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DEL\\190\\222\\215){p\\183c:\\216\\200\\193B\\209\\195\\216\\&6<\\SOH\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192{\\238]\\211\\CAN\\154\\246\\DC4\\203@\\219\\193\\179\\206\\226N\\198&B\\ACK\\234\\\"\\DC1\\216\\235\\175\\233\\144\\a\\189'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\129\\249)+\\181\\EOT\\228\\234\\148\\214\\ACK\\222\\254\\222\\173s\\247\\n\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\STX?g\\213\\DC3\\187\\135_n\\203\\205\\SUBr\\214\\239\\182l\\158\\ACKn\\179\\&84\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\205o>\\234\\238E@IiW\\138\\253\\225\\147\\168\\245#9\\DC3\\159\\142\\237H\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237T^R\\ffd\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"c+\"","tag":"AbiBytesDynamic"},{"contents":"\",\\235S\\195\\235f\\SOH\\165P\\234?\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148w\\180 Ue1\\172\\229\\151\\136Q\\214ZHD\\233\\n\\b\\164\\147\\218\\191\\253s\\136=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\152\\arw}\\226|\\155\\246\\231\\224\\rT\\229\\177-z$R\\193\\174M'\\162C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185&\\197\\214\\195\\211\\171}LQ\\213\\208\\136\\239\\211\\145O\\SO\\151\\199\\183\\166\\bo\\v\\255y\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMdX\\166C/\\230\\211B_\\DC1\\154\\161\\STX\\\\\\\\\\n\\180\\191\\208\\253I+\\250\\220\\DLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"v\\197\\182\\194uxk\\255W\\140Y%1X\\191/8\\161*\\205\\SO\\SYN\\253\\182\\162\\144\\&9\\ETB\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\219\\v\\176\\137\\DEL\\a\\223\\192\\&9\\199[i\\199\\178\\&8k\\240\\246 C0\\239\\207i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"aVf\\b\\186\\253\\221g\\154%\\176\\180\\SOH\\DC3K=;\\218p\\219\\129\\175x5\\129\\174\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\254\\194\\210\\132\\229`f\\249\\ETB\\169\\184\\ENQ\\184\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227r\\173\\135#\\246\\192\\153%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\\\`V\\228\\227J\\130R\\191\\171\\233*\\177\\237L\\v}\\EOT\\235\\173\\130)\\231\\218\\132~'Q@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\203@\\242\\148\\145-\\DLE\\182\\141\\t\\RS]\\228\\142\\DEL2\\SUBa\\DC3\\251\\247\\219\\240\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\ACKe=V\\203\\166L@Y2\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\155\\195\\138\\RS([\\161\\159\\RSk\\160>`\\SOH\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\ETX\\144[\\134%\\141a\\254s\\168l\\242\\GS\\181Y\\CAN\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"]c'\\GSXX\\133\\200G\\175\\245^\\196G2\\253\\164\\147\\NULp\\211.=\\167\\ETB\\SYN\\ETB\\237\\201\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\237Al\\138\\201(\\132\\238M'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\148\\190\\&1r\\142S8\\202'\\167\\&6bm^\\142\\174\\163\\152\\207\\173r~\\v\\202\\160n\\144`O\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\161\\246\\184)n\\140(e\\t\\205\\ETB~(\\220(\\239 \\a\\NAK,C\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"^8\\DC4\\194\\146\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\209\\242\\194^\\171!f\\194\\150\\134\\202\\&1[\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\";5\\ENQ\\211\\195}\\129\\SOH\\n\\236{K\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"DD\\DC3\\DLE\\188\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"'F\\141&{\\202\\FST\\ACK(Z\\182=m\\164C6\\206\\148\\231\\&3 \\230T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\222\\162f\\152\\180|\\132A\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\245\\ENQ\\161\\158\\r\\DC2\\181\\149\\176\\SI8`\\NUL\\128\\&9Z\\204\\157\\242K \\ESC;,\\195\\201\\177\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\197Ws\\229F\\252y\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\230\\SYNn\\\\\\v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\176sqW\\158\\163\\150\\170\\154\\248]\\222\\251\\210\\GSY3e\\244E\\190>\\227\\248\\EOT2$\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\187\\n0\\196\\v\\198\\182I\\184\\204\\192\\v$\\CAN\\180Y\\v\\221K\\134\\162\\147@G\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\212\\&1\\243l\\197\\183{\\DLE\\DC1\\EOT}\\207\\NAK\\184[\\\\)X\\235\\221\\153\\165\\NAK.>Y\\236t.\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\",**\\221\\155\\v\"","tag":"AbiBytesDynamic"},{"contents":"\":\\205\\232\\t\\161R\\167\\149\\240]i\\204\\136\\203\\207>\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235&Y>\\209Yx\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\163\\ACK\\172Z\\150U#\\178\\149\\163\\220\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\169\\ETB\\ETB*\\193\\232\\245d2\\162\\133\\223\\212\\SUBz\\STX\\244f\\171\\f2\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\235r\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\242\\231\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"R1\\151\\&6\\193\\234I\\237\\170\\&0\\185VP\"","tag":"AbiBytesDynamic"},{"contents":"\"{\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\175\\143\\148\\DLE^?\\253P\\255\\\\:\\n#~\\FS\\177\\DLE\\189\\DC2\\202\\254a?|S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253-Q\\176\\220\\238\\RS\\253(\\b\\SOHf \\148\\&1+\\f\\182\\SI\\\"\\168\\165Kb\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\DEL\\224\\SYN\\190o\\253@\\ENQz\\255\\230\\168\\&7b\\243\\158\\204\\206r&\\182\\151\\255\\SUB\\233\\232%\\211$\\244V\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\239\\US\\212\\SI0^\\253\\138\\152\\SI\\171o\\170s\\247\\fej=\\DEL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\f\\192\\b\\236\\205x\\199\\SYNP\\245K0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\222\\170!\\255\\129\\205\\202\\240\\RS\\138\\147\\132\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\243\\229\\254+h\\147s\\209\\165\\133E\\206Q\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\" *X\\239)\\t\\204ULD\\136\\203\\148-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\STX\\161bpB\\248\\129a\\221l4\\179P=\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\248\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"^&Z\\150\\182e(\\242\\169cv\\209bCN\\212\\214\\CAN\\212i\\211-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170^rB\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Y,\\240\\136O\\246X\\135D\\ESC\\ACK\\ETB:\\242\\204i\\203\\205\\226\\254\\247;Q\\227\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQP\\211\\253\\209\\&4^w\\140\\250\\ETB\\202\\180\\146a\\ETX{\"","tag":"AbiBytesDynamic"},{"contents":"\"}W;\\247\\&8=\\181\\&2\\SO\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\151\\174%\\154\\232p]\\134\\175\\&5\\209\\215\\STX\\172\\FSS6\\189\\135y\\138X\\196\\215a\\ETB\\ETB\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESCA\\157jzk\\211\\154\\189\\147\\&9\\212\\ENQd\\145\\150*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227[\\DC2\\233H<\\t\\n\\208\\&9\\160\\187\\&9I\\182x]\\190\\227\\157\\135\\207\\239\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\237\\&7\\170'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\140`\\182\\230\\190\\ACK\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\140H\\156(xJ\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239O\\207$\\165'-\\221\\177\\210\\SYNL\\186K\\217h(\\242\\v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\f\\192\\b\\236\\205x\\199\\SYNP\\245K0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\222\\170!\\255\\129\\205\\202\\240\\RS\\138\\147\\132\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\243\\229\\254+h\\147s\\209\\165\\133E\\206Q\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\" *X\\239)\\t\\204ULD\\136\\203\\148-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\STX\\161bpB\\248\\129a\\221l4\\179P=\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\248\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"^&Z\\150\\182e(\\242\\169cv\\209bCN\\212\\214\\CAN\\212i\\211-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170^rB\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Y,\\240\\136O\\246X\\135D\\ESC\\ACK\\ETB:\\242\\204i\\203\\205\\226\\254\\247;Q\\227\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQP\\211\\253\\209\\&4^w\\140\\250\\ETB\\202\\180\\146a\\ETX{\"","tag":"AbiBytesDynamic"},{"contents":"\"}W;\\247\\&8=\\181\\&2\\SO\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\151\\174%\\154\\232p]\\134\\175\\&5\\209\\215\\STX\\172\\FSS6\\189\\135y\\138X\\196\\215a\\ETB\\ETB\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESCA\\157jzk\\211\\154\\189\\147\\&9\\212\\ENQd\\145\\150*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227[\\DC2\\233H<\\t\\n\\208\\&9\\160\\187\\&9I\\182x]\\190\\227\\157\\135\\207\\239\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\237\\&7\\170'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\140`\\182\\230\\190\\ACK\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\140H\\156(xJ\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239O\\207$\\165'-\\221\\177\\210\\SYNL\\186K\\217h(\\242\\v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\f\\192\\b\\236\\205x\\199\\SYNP\\245K0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\222\\170!\\255\\129\\205\\202\\240\\RS\\138\\147\\132\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\243\\229\\254+h\\147s\\209\\165\\133E\\206Q\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\" *X\\239)\\t\\204ULD\\136\\203\\148-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\STX\\161bpB\\248\\129a\\221l4\\179P=\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\248\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"^&Z\\150\\182e(\\242\\169cv\\209bCN\\212\\214\\CAN\\212i\\211-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170^rB\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Y,\\240\\136O\\246X\\135D\\ESC\\ACK\\ETB:\\242\\204i\\203\\205\\226\\254\\247;Q\\227\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQP\\211\\253\\209\\&4^w\\140\\250\\ETB\\202\\180\\146a\\ETX{\"","tag":"AbiBytesDynamic"},{"contents":"\"}W;\\247\\&8=\\181\\&2\\SO\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\151\\174%\\154\\232p]\\134\\175\\&5\\209\\215\\STX\\172\\FSS6\\189\\135y\\138X\\196\\215a\\ETB\\ETB\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESCA\\157jzk\\211\\154\\189\\147\\&9\\212\\ENQd\\145\\150*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227[\\DC2\\233H<\\t\\n\\208\\&9\\160\\187\\&9I\\182x]\\190\\227\\157\\135\\207\\239\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\237\\&7\\170'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\140`\\182\\230\\190\\ACK\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\140H\\156(xJ\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239O\\207$\\165'-\\221\\177\\210\\SYNL\\186K\\217h(\\242\\v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\246n\\244\\DLEo\\RS[6\\226z<\\249\\168\\224\\174\\219\\SUB\\208\\159\\156`\\203\\202(\\147\\187\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\223\\140\\151\\243\\154\\v\\155\\136\\222+\\245b\\178\\175\\207|{\\130\\DC2\\166\\DC2\\255\\136\\DEL\\160T\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\166\\247\\218AxO\\FS$\\DLE\\225\\n\\151\\DC4+tB\\143.\\164\\152\\234B\\131T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\214B\\144\\211jC\\ACK!\\158\\SIewr\\197|\\222\\249\\214 t\\167\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\179\\SO\\206\\247v\\145\\&1\\215T\\164\\CAN\\229\\154x\\130^3\\\"<\\DC3?\\ETXp\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\SI\\178\\242\\224\\202\\SI\\189\\212\\219R3h\\190o\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\234\\149\\EOT\\214\\242\\a?\\167\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\209\\US\\223\\SO\\240$2\\145\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"^r\\202\\177\\213\\229\\191\\235\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\n-~k\\251\\141\\NUL\\180\\148\\133o\\154\\RS?\\220\\143\\188\\DLE\\184O\\252Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\254\\130\\178Rh\\139r\\218\\155\\162\\148!\\DLE\\136\\185Nk\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"Uo(\\185i\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224G\\165I\\224\\227\\243V\\vf\\EOT\\216\\209\\180\\224F\\187\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\215\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\b>\\199!\\ETB\\243\\229\\192\\245\\131\\192\\GSW\\249_\\246h\\206\\DC3\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\" \\GS\\226\\252\\ESC\\217\\208\\FS\\174{\\230\\219\\161\\197~\\236\\222<\\SO8\\191\\188^q\\170\\213PH4\\\"(\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\DC2-~;|\\172)\\253\\253\\212&L\\185t\"","tag":"AbiBytesDynamic"},{"contents":"\"9D\\165\\183L\\165\\188:\\153\\ESC3\\242\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\201\\128B\\176\\189a\\243\\210\\ESC\\245\\139^Lg\\253\\248\\185yq\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNo\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\164k\\245w\\NUL~\\241'\\227\\131a\\188\\236/\\239\\245\\EOTR\\226\\234\\239\\168t\\234}\\168\\173\\176\\214\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188+\\NAKm\\128p\\ETX\\213=i\\210\\CAN\\182K\\EOTQ\\148\\168\\165\\199\\SI\\208\\&8\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT1\\DC3\\224@M\\179\\169\\&1\\206zc\\150\\v8+\\164\\156:\\133\\136\\250\\EOTzICS\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\132'7\\148\\148\\178i\\\\\\210\\165\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"P3\\ENQ\\164\\CAN\\NUL\\CAN\\201\\137\\SI\\185'\\158m\\156$\\168/,m\\229\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199{\\218\\237\\DC2B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236c\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\252\\167\\n\\RSv\\184\\239 c\\190q\\250\\DC3\\182\\ETB\\SI+/\\SO\\f\\206\\EM\\v|m\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"I\\164\\219\\238W\\239u\\148(\\ETB#*\\131\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207H\\a\\246\\158\\171\\169\\SO\\242\\152h\\b\\215\\160\\ETBN\\249\\170\\177\\210W\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1^\\183\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\168\\186\\136\\220!\\172\\173\\142;\\149u\\FSD\\250\\&4\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\DC1\\251\\156\\DEL\\170\\USW\\195\\ETXU\\166\\157\\210r\\248\\212e\\247%\\153\\222\\216\\185\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\SO\\149t\\158\\135\\243\\FS\\216\\&3\\158\\229\\247\\SO\\US\\161\\215\\181\\NULB\\179\\224\\227j\"","tag":"AbiBytesDynamic"},{"contents":"\";\\DC2\\fC\\149\\192'Xhi\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\156\\FS\\151d\\138r\\187H:\\145\\143\\137\\&6\\248\\EOT\\251\\n\\146`\\147\\140\\f)d\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\221\\164\\220\\NAK\\141\\t\\209\\184Z$\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\250#(\\n\\251\\199g\\129\\251m\\141\\134\\DEL\\223\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\241\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\")\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\179\\223\\204U\\238\\DC1\\n\\147\\232\\219\\222\\228z\\r\\nD;\\247\\203\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231!\\193\\155\\143\\175K#\\236_\\171Df*\\FS\\196\\237\\180l\\SUB\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\136d\\249\\130d\\ESCZ\\231\\165\\SIL\\v(4S0\"","tag":"AbiBytesDynamic"},{"contents":"\"w2\\196:\\142u\\216\\215\\r\\224\\&7\\SUB+\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190O\\227\\217-7\\ENQ\\148\\STX\\136A'\\187\\199\\STX{\\DC2\\a\\161`\\RSA\\EM\\236x\\203a\\143\\198U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\158\\149W.|\\ETX\\SOH\\186\\SI8\\171G\\FS:u\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153D\\242\\184\\161i`-\\207Q\\232\\233T\\211\\130\\159\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\233\\t3Z\\182\\147j=-;B\\ETXb\\rV/f\\DC1\\142\\ETB7C\\252\\GS\\RS\\DLE\\217)\\EOT\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\180\\159,\\198\\ETX\\233\\152\\235\\216\\167\\STX\\210\\232\\DC4KWy\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a2r#\\226}\\255\\133\\182\\171J\\154/m\\196:\\167<%\\243\\206\\237\\242D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\NUL\\193-\\204\\249\\232g\\157/\\182T\\v\\193\\168 \\215(\\230\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"<ae\\223\\210\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\SUB\\170\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\168U\\166\\191\\210\\230\\139\\152;4\\216\\166\\207\\161<9Q\\156B\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\\"\\172\\n\\216\\128\\RS]H|\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\210\\206\\203\\SUB\\131\\176\\254\\207\\DC3\\237\\140C8\\174\\153\\\\\\136n\\237\\168@;\\254)\\215\\144zc\\210 \\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\205\\235\\138E \\132\\215\\DC3\\255 \\214\\246\\b\\a\\SOi\\180a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\t\\n\\250\\r\\167\\217\\142\\216\\141\\214\\145v\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\250\\154\\225\\DC2\\171R\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\142N\\152\\141\\217\\253\\234\\141\\203P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\188\\244r(\\240c\\223PHM\\SI\\254\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\\"-T%>\\b\\128\\135\\222\\135C3\\203\\237\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\180\\214E/^\\218\\SYN\\nQ\\188J\\252\\STX\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212A\\ACKU\\130\\&4\\196\\229\\233\\203u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204Q\\DLEz\\131\\165\\224\\230\\248r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\DC1\\174\\169\\180BX\\190\\&7\\GS\\140q\\197\\193\\139>\\228\\222\\255\\247\\181\\axM\\189\\159\\DC2}2S\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\156C#\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\raC\\182\\128\\a\\172\\228\\223P\\147\\190\\&6\\157\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\&9owZ\\132\\171qC\\237\\177\\203\\237A\\\\fs9\\170\\226j\\GS\\220\\191\\139\\ETXh\\234f\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"3X\\183\\239\\135\\184\\242\\v\\152\\135\\SOH\\EM\\136\\201*\\188\\158\\174c\\150C\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131)\\184\\172\\EM\\GS\\255\\174\\217\\f\\RS\\144\\254\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\161\\164\\139D\\161\\231.t\\160\\&7\\176\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\231\\136\\217}\\210a\\SUB?\\140\\184\\EMq\\151\\142P\\170\\144\\195\\245\\181\\131\\206:6\\154E\\ETX\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\b\\149\\GS\\153\\146=\\173\\168\\174\\&0\\DC2\\207n79\\229\\245~\\183T\\SOH\\222@E\\203\\148\\187*\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\230\\216<\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179a\\228\\149f\\146=\\FS\\210\\232\\&30\\ETB\\RSAD`^\\183C\\203d\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\170[P%>\\191\\139\\SYN\\208\\178\\223\\197\\151,\\143T\\216\\185pq\\196\\168\\NUL'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\216M1K\\SO\\DEL\\153\\\\\\153\\136n\"","tag":"AbiBytesDynamic"},{"contents":"\" \\139\\180\\231\\236\\248\\189O\\SO\\191w-\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\157HW\\\"\\FSB\\198.\\166V\\220\\SOpg\\157\\138\\134|\\213\\194E3\\132\\252\\243k4\\215\\183V\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"W\\220`\\186\\136\\129\\179\\221hTq\\211\\t%5\\226z\\139\\132\\238$\\CANZ|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\210@\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\227/\\134\\206\\142\\202\\219KgO\\205\\146\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\ENQh)D\\243ssX\\139@\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\&6\\138`\\209\\202\\NAKH\\212\\238\\&9;Lj\\185\\237\\207\\250O2\\192\\168\\244\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\236\\b\\136\\209\\180\\191\\236b\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178D\\166\\130v\\a\\213\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239v\\183\\180\\222*\\205\\187\\203\\f}?\\250q\\178\\223\\US\\208\\172|a2j4\\249n\\217: \"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\141_\\a\\218\\216\\157\\189\\145G\\135\\&3\\151\\240v\\222\\175\\SUB\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\254\\231\\215\\163\\176\\147\\STX0\\238BfI\\229\\SI+\\175\\158=\\ENQ{[;\\149Z\"","tag":"AbiBytesDynamic"},{"contents":"\"C\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\177T\\DC3\\184J\\DEL\\ESCX\\253Z\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\131\\197\\196x\\214\\&0\\234\\140\\NAK\\136\\FS\\187\\v\\218^wm\\f\\131\\151<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\185\\144P\\187`\\225D\\181V\\250\\149G\\ETX\\251_\\b\\175\\178\\201UHx\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\":E\\223\\182\\161\\209\\203U\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\186qU\\226w\\222\\183e \\188\\169\\138\\139\\248\\207\\137.\\n/X\\245l+\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\184a\\ETX\\216\\&3\\209\\217\\231\\231\\137\\213U\\EOT\\ACK\\STX\\DC1\\EM\\238i\\196\\137\\SOH\\139D\\SYNi\\140\"","tag":"AbiBytesDynamic"},{"contents":"\":\\241\\221\\NAK\\186\\138^\\a\\196\\232C{cC\\158\\US\\a\\176\\133\\CANw\\205\\b5q\\249\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\231\\205\\235\\226\\DC2\\180\\146\\245\\&58\\DLED\\173\\187\\229<;\\161`\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\SO\\173Z#K\\160&\\159\\181\\146\\ENQ\\\\\\158=R\\151\\235s\\245k\\209s\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\129%\\197\\235\\241Y\\148I\\133,\\221q\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201+ZZ\\221\\243\\208\\b\\245\\214-\\254\\189\\&2\\132^\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221MB\\153\\205:\\251\\149\\182\\129\\214\\169Ne\\191\\NUL!\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\186c+\\SI\\198\\177\\171\\136\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"&sZ-\\247!\\234\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\205*\\205ks\\189l\\233\\194\\STXZ\\230\\v\\a3\\196\\132u\\FS\\180z\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\&3\\168t13\\DC3\\US\\248\\230\\138\\147\\180\\&1\\186\\157\\181\\167\\254+\\213\\248\\a\\245\\SUB\\240@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\SUBF\\186\\vD\\185\\173\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230n{\\217\\253\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\DC3\\FS\\192\\SUB\\157-\\133\\201\\248eF\\184\\EM\\189\\tZ\\162\\SOH\\141r\\164\\&8\\151\\210\\237\\t\\140\\134\\162\\173\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\230\\250\\187x@\\NAK\\DC2n\\EM\\155\\212\\fGA-.\\232\\181[\\246\\172\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\209\\195\\224\\221`R\\250\\250\\t\\162\\149\\a\\146T(\\226\\134k\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\248\\246\\254\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\209B}\\191*\\241Q\\212\\158Ac\\n`\\v\\193\\EM\\ETX~e\\235\\195\\166v\\238\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\",\"","tag":"AbiBytesDynamic"},{"contents":"\"%8'\\246B9T\\RS\\148\\215\\STX[\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"EC\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\198\\241\\SOS\\175\\186\\180\\245\\133\\243T\\177\\255\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\216\\219\\242\\ACKh\\129\\235;C\\234\\231\\208\\202\\197O\\209J\\165\\205\\DEL\\ACK|\\208\\189\\DC1u\\160\\202/~\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\214d\\CANd \\SO\\158\\b?\\138z\\206\\153\\226\\&2\\SYN-\\207\\ETB\\a\\185\\SOH\\203\\159\\151>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GSF\\ETX\\US\\181\\159\\149*\\SYN\\250:\\162\\174&\\167\\182p\\136P\\SO\\n\\ETBw\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234=4,>G\\SO\\249\\227f\\143\\203\\178\\249\\157\\133\\161B\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163$1=\\186\\216\\&2s\\146aZ\\130\\146g\\176\\EOT\\205\\180\\207X\\223\\246\\143\\rR\\177RP\\165\\241\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\215\\144\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\171\\139\\139\\222$\\SI\\188\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\237\\214\\175\\&15GI\\141H}\\ETX\\143\\159\\215\\n:\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\168\\&8iH\\204\\135\\255\\&0\\183\\f\\232\\227 ~\\162\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"7iky\\US\"","tag":"AbiBytesDynamic"},{"contents":"\")t\\ACK\\r+\\189\\255\\163,w\\191\\255=\\169$\\245\\199L\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\208s\\178\\175\\EOTa\\DC3\\153\\152\\147\\144\\207\\&1Yh ^\\214Q\\226@d\\241)\\SO\\145C\\230=\\197\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035133"],"tag":"AbiUInt"},{"contents":[256,"86083867740632233177059098188372363566288847108775778659959657875877744863050"],"tag":"AbiUInt"},{"contents":[256,"103"],"tag":"AbiUInt"},{"contents":[256,"97177797503715943153413986042848598298005128408357306328893094896807279433839"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211779"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639438"],"tag":"AbiUInt"},{"contents":[256,"2000"],"tag":"AbiUInt"},{"contents":[256,"1536489721"],"tag":"AbiUInt"},{"contents":[256,"34362252215694486740948765163213273682657534103338774621886807950580239075825"],"tag":"AbiUInt"},{"contents":[256,"102916312697313529524968957176678635500468883754398025669185396505941217912720"],"tag":"AbiUInt"},{"contents":[256,"74976840572076830928898005856253073793490504078720677628178218137240752898659"],"tag":"AbiUInt"},{"contents":[256,"191430424818643711430853855558980971"],"tag":"AbiUInt"},{"contents":[256,"191430424818643711430853855558980971"],"tag":"AbiUInt"},{"contents":[256,"191430424818643711430853855558980971"],"tag":"AbiUInt"},{"contents":[256,"191430424818643711430853855558980971"],"tag":"AbiUInt"},{"contents":[256,"191430424818643711430853855558980971"],"tag":"AbiUInt"},{"contents":[256,"191430424818643711430853855558980971"],"tag":"AbiUInt"},{"contents":[256,"191430424818643711430853855558980971"],"tag":"AbiUInt"},{"contents":[256,"191430424818643711430853855558980971"],"tag":"AbiUInt"},{"contents":[256,"191430424818643711430853855558980971"],"tag":"AbiUInt"},{"contents":[256,"191430424818643711430853855558980971"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062336"],"tag":"AbiUInt"},{"contents":[256,"228"],"tag":"AbiUInt"},{"contents":[256,"39276570155613477453807434601112656399262218947549060485468210997496900984007"],"tag":"AbiUInt"},{"contents":[256,"81484623586138765891246022865566841881669408285080271117538086217178156966410"],"tag":"AbiUInt"},{"contents":[256,"47159684470199049025621441316575117633436604142710119143120072235935471592410"],"tag":"AbiUInt"},{"contents":[256,"32987263377128763965042395707453882772489952500916669579790411028331358746953"],"tag":"AbiUInt"},{"contents":[256,"100619877088366646627844605595225398059415950902046700354963787285639004781360"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"69819004491668786340838275205850902805919021664035431631867153004468693415791"],"tag":"AbiUInt"},{"contents":[256,"110299868047800700499877192546322142764439558424876161330488382478416019233693"],"tag":"AbiUInt"},{"contents":[256,"20121160143081163251807673484726404158434305706182268750923455970236368983291"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"45218003319931639108542601641975529832554266097591276348733358190047991895048"],"tag":"AbiUInt"},{"contents":[256,"16371095847597738560865891344277779938148592063565916640289533553869782768848"],"tag":"AbiUInt"},{"contents":[256,"108"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639634"],"tag":"AbiUInt"},{"contents":[256,"10396158565653027311770670435163599661429825479484950949279647834106320717185"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030337"],"tag":"AbiUInt"},{"contents":[256,"139"],"tag":"AbiUInt"},{"contents":[256,"43833607749824192743691475045564972731703661481907911558667332503349944668124"],"tag":"AbiUInt"},{"contents":[256,"106145969608830769965863128559868770331404526824964056483566213925559322005526"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639939"],"tag":"AbiUInt"},{"contents":[256,"51287380763208188759627037726769815521072450864100508243300673240756750374265"],"tag":"AbiUInt"},{"contents":[256,"231"],"tag":"AbiUInt"},{"contents":[256,"18269380339319532737313657478419104482160862748146036625791505595318790109770"],"tag":"AbiUInt"},{"contents":[256,"361"],"tag":"AbiUInt"},{"contents":[256,"1533383431"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011517"],"tag":"AbiUInt"},{"contents":[256,"100"],"tag":"AbiUInt"},{"contents":[256,"503"],"tag":"AbiUInt"},{"contents":[256,"92094022206461823545115421343415829229458686925620713814709427148914151448559"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"56472656733306766061496470736799348698387745281476627638806610921131173631254"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266893"],"tag":"AbiUInt"},{"contents":[256,"83189829975392499841870662880195314500013541408354658963278520795696061522821"],"tag":"AbiUInt"},{"contents":[256,"1530623396"],"tag":"AbiUInt"},{"contents":[256,"1536057081"],"tag":"AbiUInt"},{"contents":[256,"53873070230762196300034626756460305884082199828827136673337993198815882502259"],"tag":"AbiUInt"},{"contents":[256,"93485204595151560319399842860956213300171793101982912869766846450945983856860"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639439"],"tag":"AbiUInt"},{"contents":[256,"897"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577597"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417343"],"tag":"AbiUInt"},{"contents":[256,"107955442079552963376653407898871254129524066478589730615783235476759750373674"],"tag":"AbiUInt"},{"contents":[256,"1003"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609601"],"tag":"AbiUInt"},{"contents":[256,"12017144360802420878885727519048789472801383120257335984528415548932871975647"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639864"],"tag":"AbiUInt"},{"contents":[256,"12776024198804158784347960282289200845779091370892791038805216503599077490286"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"957"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634937"],"tag":"AbiUInt"},{"contents":[256,"527"],"tag":"AbiUInt"},{"contents":[256,"12105908251574345240653744358078426494165471514599222077282546365710782222328"],"tag":"AbiUInt"},{"contents":[256,"3998"],"tag":"AbiUInt"},{"contents":[256,"270045561743230583442"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"11660311478149466226555885327999915194631369804797682961213608803244001331421"],"tag":"AbiUInt"},{"contents":[256,"46549241601695917628835829787998579282170848271771263797782402853317455680079"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"46608127890253787510439772554789861636883663651894915979932182452814391739825"],"tag":"AbiUInt"},{"contents":[256,"113590468058401692175721867393451706575253281184605626078472725923524891673999"],"tag":"AbiUInt"},{"contents":[256,"50963596208280309229695539755932969255914014117998500062493072180591273982351"],"tag":"AbiUInt"},{"contents":[256,"514633"],"tag":"AbiUInt"},{"contents":[256,"75130812158755214571264796036213578182381828108693249820010772780094899694328"],"tag":"AbiUInt"},{"contents":[256,"1532078584"],"tag":"AbiUInt"},{"contents":[256,"35144981957300716600487040951912453129513119412305506240484110480048098823352"],"tag":"AbiUInt"},{"contents":[256,"938"],"tag":"AbiUInt"},{"contents":[256,"72910158689158894498865883260706209103774789506453941889477010710891461165427"],"tag":"AbiUInt"},{"contents":[256,"16735534718100941322798852592698024355618039562591358846715882673809822931388"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639909"],"tag":"AbiUInt"},{"contents":[256,"1530651584"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211775"],"tag":"AbiUInt"},{"contents":[256,"58431782879194758526178634038849975437821792321005380287975425249718481420669"],"tag":"AbiUInt"},{"contents":[256,"64176803792086063538048478219674194209104555330885896422471452630366847848383"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639436"],"tag":"AbiUInt"},{"contents":[256,"102672828094576928598833832673788619390773526314250107508430120129434085001910"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639829"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf69","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x00000000000000000000000000000000000000000000000388494eceea4429a3"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"87077226483541370906223194793106076603219534842505397320065151506307935853803"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000804a4","0x0000000000000000000000000000000000000000000000000000000000001383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0xDEC9f3Dcc5158854Ef368E0B842F9e2cA8c990DB","tag":"AbiAddress"},{"contents":"\"MANAGER_AKEOVERS_FROZEN()\"","tag":"AbiString"},{"contents":"\"-\\137\\181\\238\\218\\SI\\\"\\CAN\\185}=\\234f\\143|\\240<w\\141\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"221"],"tag":"AbiUInt"},{"contents":[256,"45955451783579993517895431363519875870674244285422878334600514572665155580390"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"15003557119632510975179396810950917780758496734152013020896041610153337007607"],"tag":"AbiUInt"},{"contents":[256,"62974313542098429900474087721829969890316184767949908414255056225094972320770"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000383","0x0000000000000000000000000000000000000000000000000000000000001388"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639706"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb20","0x0000000000000000000000000000000000000000000000000000000000006d57"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"MCT\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\167\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000668ee","0x0000000000000000000000000000000000000000000000000000000000001380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000050d7c","0x000000000000000000000000000000000000000000000000000000000000cf8f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034697","0x00000000000000000000000000000000000000000000000000000000000089b0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75e","0x0000000000000000000000000000000000000000000000000000000000000016"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639705"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x0000000000000000000000000000000000000000000000000000000000009c7c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"4981350067366708950383898840298365653657016036259353807809078082884827845000"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000045","0x0000000000000000000000000000000000000000000000000000000000000068"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"1531733987"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006dbe0","0x000000000000000000000000000000000000000000000000000000000000ca0b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950339"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb25","0x000000000000000000000000000000000000000000000000000000000000e4f2"],"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,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"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":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"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea47","0x0000000000000000000000000000000000000000000000000000000000000041"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000003e077de73ec348e74"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"16936101850164532602480769579625333387041548733395704994138574260712074952389"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2b","0x000000000000000000000000000000000000000000000000000000000000107f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf8","0x0000000000000000000000000000000000000000000000000000000000001f77"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060d9a","0x00000000000000000000000000000000000000000000000000000000000007d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"37300499047840852703161207642500236190570252494680425040174758567067965396524"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074d9f","0x0000000000000000000000000000000000000000000000000000000000005b0f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0eb","0x0000000000000000000000000000000000000000000000000000000000002321"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"45589152269835312036903247179628743735980297883979907387624090313566344143445"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2c","0x0000000000000000000000000000000000000000000000000000000000007b33"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"899"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004696c","0x0000000000000000000000000000000000000000000000000000000000001383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":[256,"252"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c4","0x000000000000000000000000000000000000000000000000000000000000003e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1527698907"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005f","0x0000000000000000000000000000000000000000000000000000000000000386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea47","0x000000000000000000000000000000000000000000000000000000000000c870"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"102286596603550575942683476076962591021183910530480232756231575736539356666586"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa2","0x000000000000000000000000000000000000000000000000000000000000af20"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xED1785b65896022A79B55D3EbaFD6Ab7C6560e92","tag":"AbiAddress"},{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007a","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639703"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000015d1","0x000000000000000000000000000000000000000000000000000000000000000a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e3","0x0000000000000000000000000000000000000000000000000000000000009201"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b721","0x000000000000000000000000000000000000000000000000000000000000b448"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000088","0x0000000000000000000000000000000000000000000000000000000000007b33"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636334"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030c7d","0x000000000000000000000000000000000000000000000000000000000000bb8b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"1000000000000000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000020e","0x000000000000000000000000000000000000000000000000000000000000139d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"72751694606299182867005435843839545178678624814860740169407292220819604770672"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731850"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea47","0x0000000000000000000000000000000000000000000000000000000000003c08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b145","0x000000000000000000000000000000000000000000000000000000000000008a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb39","0x0000000000000000000000000000000000000000000000000000000000000015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132610"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb38","0x000000000000000000000000000000000000000000000000000000000000b1ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"993983072398433041258779"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211777"],"tag":"AbiUInt"},{"contents":[256,"86640903524221050490620368727230140681740038516644371737992290670399563297971"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232b","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1530081059"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003e","0x0000000000000000000000000000000000000000000000000000000000002326"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000077","0x000000000000000000000000000000000000000000000000000000000000d8cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]