[{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"378175521629847836735709459058290378792843822"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f113","0x0000000000000000000000000000000000000000000000000000000000000172"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":[256,"1527099549"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008fa82","0x0000000000000000000000000000000000000000000000000000000000000500"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000053a69","0x0000000000000000000000000000000000000000000000000000000000000fa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":[256,"10522273069117433202637803872302694806601133926098154019441399478227432550470"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085e82","0x0000000000000000000000000000000000000000000000000000000000000e10"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"106921612972821280997933143432610011262839679056348333118601161384142243301329"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"88111137120330245356506709228495598548231384280030605561195070469239151983775"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507329"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639870"],"tag":"AbiUInt"},{"contents":[256,"31963666540193039920735751020491558856783917311551796965260828123408787882809"],"tag":"AbiUInt"},{"contents":[256,"67467786069241741025856359071762761853445509654581069731817527736040690888321"],"tag":"AbiUInt"},{"contents":[256,"16847911182701551367793481776364763421392566397560774823870273083594948215032"],"tag":"AbiUInt"},{"contents":[256,"93414793946066104295047875464878982703121445160461019071784699050091928225936"],"tag":"AbiUInt"},{"contents":[256,"25771386340106902397228657855791283112377272812952962296604242608869030252149"],"tag":"AbiUInt"},{"contents":[256,"98"],"tag":"AbiUInt"},{"contents":[256,"69"],"tag":"AbiUInt"},{"contents":[256,"112490718849734105922430851782883892116819485707050703765343957804499102424727"],"tag":"AbiUInt"},{"contents":[256,"2902471621094306581482014586694070621898593322718684071053456360203945096104"],"tag":"AbiUInt"},{"contents":[256,"78869057412183636379620642838510773801541394675135512941131816251351241850705"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639851"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266897"],"tag":"AbiUInt"},{"contents":[256,"46496504261532973398423447726917481837362095164100476900926609903865161791548"],"tag":"AbiUInt"},{"contents":[256,"68273107395331698386630408422852051866284865295167382880636239549787072642309"],"tag":"AbiUInt"},{"contents":[256,"2876908003786813140365836880089429411886750148177299680271569055063410528289"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639938"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"501"],"tag":"AbiUInt"},{"contents":[256,"21564097441691593759688400806229653965869686443454226040406406766138444717534"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507331"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"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":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":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":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e0bb","0x000000000000000000000000000000000000000000000000000000000000bef8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000002d5326a76dcdb62d9"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011ac5","0x000000000000000000000000000000000000000000000000000000000000eb0b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000203bd","0x00000000000000000000000000000000000000000000000000000000000000c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"132894307651082593010863040801857335603"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002b807","0x000000000000000000000000000000000000000000000000000000000000be85"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"!!! shares are lost on transfer\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000082b74","0x0000000000000000000000000000000000000000000000000000000000002e41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"1981645965"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001e8","0x000000000000000000000000000000000000000000000000000000000000ba97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"60883386049081994902621242989352472721488455915382444018512104422115263143265"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e956","0x000000000000000000000000000000000000000000000000000000000000e038"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000044c31","0x000000000000000000000000000000000000000000000000000000000000af92"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000053be67ff708842d0c"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x8324ADfC37e4Ce6B24a34Ced4A13faadbd59Ca97","tag":"AbiAddress"},{"contents":[256,"449"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006621f","0x0000000000000000000000000000000000000000000000000000000000002607"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e1","0x000000000000000000000000000000000000000000000000000000000000dfbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"19139138107049421927591351111913781974592496053479405467882330716888549470074"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008583","0x000000000000000000000000000000000000000000000000000000000000137f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"},{"contents":[256,"5002"],"tag":"AbiUInt"},{"contents":[256,"81902752203235134906147522370813759176964613789982608180227384914369655341712"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005cfff","0x00000000000000000000000000000000000000000000000000000000000079f8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"28685005888084870074149012803884442087073846619377348344959458265860656888220"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001e4","0x000000000000000000000000000000000000000000000000000000000000612e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003340a","0x000000000000000000000000000000000000000000000000000000000000b449"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"21879640046651038619185710407148388801339326552693090077042799449672377044241"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000027a","0x0000000000000000000000000000000000000000000000000000000000008619"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006cfa8","0x000000000000000000000000000000000000000000000000000000000000d065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"1531526428"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000581af","0x0000000000000000000000000000000000000000000000000000000000000892"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"48620225822903572283550326140444015089246315394655974841689703242755109372241"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001573b","0x0000000000000000000000000000000000000000000000000000000000008665"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"55196341898128521682244070897749710912746752592506178588679715267566907263224"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c4e2","0x0000000000000000000000000000000000000000000000000000000000008b1f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"11721792978978347139566130200274221218168602044437602031839213495016342181980"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000018df7","0x0000000000000000000000000000000000000000000000000000000000005d28"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"59533418334718629526521234482040449250943134910234649676118629454569283889587"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000183b6","0x000000000000000000000000000000000000000000000000000000000000b8a6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"91831967141607482517638472688670654314327682790869351305411850049425918890198"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000143c","0x000000000000000000000000000000000000000000000000000000000000982c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d87e","0x000000000000000000000000000000000000000000000000000000000000eb6f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011519"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517f","0x000000000000000000000000000000000000000000000000000000000000b5a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"100473101307254986834236665984337568138392857027183994353696384984107748887233"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081afa","0x00000000000000000000000000000000000000000000000000000000000014ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b0","0x00000000000000000000000000000000000000000000000000000000000025d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"48079838365378370877196535101651444420158096174240874223294075652217624458411"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000006d","0x000000000000000000000000000000000000000000000000000000000000625d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000004a2cfcb4865a516cb"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000304f3","0x00000000000000000000000000000000000000000000000000000000000052df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037b35","0x00000000000000000000000000000000000000000000000000000000000000fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"9229272215502651645859211178198794041847730701411298622304719444941133135524"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000146d4","0x000000000000000000000000000000000000000000000000000000000000ea96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689603"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008be90","0x0000000000000000000000000000000000000000000000000000000000000320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000894aa","0x0000000000000000000000000000000000000000000000000000000000006acf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":[256,"57339727794181528867802106751701224349593039390134664480073165800604020873618"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000670e6","0x000000000000000000000000000000000000000000000000000000000000b17e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001a66b","0x00000000000000000000000000000000000000000000000000000000000002e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"206357701923702454901458550411041781880"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002cf09","0x00000000000000000000000000000000000000000000000000000000000036f0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000158d5","0x0000000000000000000000000000000000000000000000000000000000002dd1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"679036920115304306180022432735921920940691"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"1526659519"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040dd7","0x000000000000000000000000000000000000000000000000000000000000be2f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"43476360952673038883655758152332166869920137835845732724209468127392067136"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063ed5","0x0000000000000000000000000000000000000000000000000000000000003c46"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000001290"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"20042741283457985571877843642303751906509535987877547421983581858525401108847"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035209","0x00000000000000000000000000000000000000000000000000000000000002cc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"6451920063819828862164067095389083191643133643707029922714727656104059876829"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006e0c9","0x000000000000000000000000000000000000000000000000000000000000c0fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000086","0x0000000000000000000000000000000000000000000000000000000000002dfc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ddc6","0x000000000000000000000000000000000000000000000000000000000000138b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000082728","0x0000000000000000000000000000000000000000000000000000000000006b93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"MockERC426Tester\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NULu\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000012f7f","0x000000000000000000000000000000000000000000000000000000000000a38a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000023ef3","0x00000000000000000000000000000000000000000000000000000000000074bf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"42645925702744337079523935815721278521842239607343028708639036857509850970975"],"tag":"AbiUInt"},{"contents":[256,"15542852743"],"tag":"AbiUInt"},{"contents":[256,"113194440194049642389255706087513143064655726218248245627966321084121565747103"],"tag":"AbiUInt"},{"contents":[256,"45"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000512cc","0x0000000000000000000000000000000000000000000000000000000000003abf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"51694352947463248715757431899561800763583148573015065291094335829066205663843"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084000","0x000000000000000000000000000000000000000000000000000000000000c8ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ab70","0x000000000000000000000000000000000000000000000000000000000000793d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b6d9","0x0000000000000000000000000000000000000000000000000000000000007e50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"1532344345"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000044a87","0x000000000000000000000000000000000000000000000000000000000000a644"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002e2a8","0x000000000000000000000000000000000000000000000000000000000000c40e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085b1b","0x000000000000000000000000000000000000000000000000000000000000c3f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"7063"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000023e42","0x000000000000000000000000000000000000000000000000000000000000b9b2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000050a5a","0x000000000000000000000000000000000000000000000000000000000000b40f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1534391466"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000057667","0x0000000000000000000000000000000000000000000000000000000000003f5a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"54476404054520047966451510514230084229352324774392214118728740665772363184973"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055aa8","0x000000000000000000000000000000000000000000000000000000000000c32b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025336","0x000000000000000000000000000000000000000000000000000000000000ea7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"999999999999999997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005ac44","0x000000000000000000000000000000000000000000000000000000000000606f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"252"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ac8b","0x0000000000000000000000000000000000000000000000000000000000001973"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"109877329483713037477016093129700955516857378168543463302311172478371337203977"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001e4","0x0000000000000000000000000000000000000000000000000000000000007206"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"1982"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004550d","0x0000000000000000000000000000000000000000000000000000000000007fa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002e972","0x0000000000000000000000000000000000000000000000000000000000003185"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":[256,"98438273336661762298096637934617873506548879936208782160255513773877114956500"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005aba6","0x0000000000000000000000000000000000000000000000000000000000009c7b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a8ee","0x0000000000000000000000000000000000000000000000000000000000002a66"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"1533743470"],"tag":"AbiUInt"},{"contents":[256,"241"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000805f0","0x0000000000000000000000000000000000000000000000000000000000005041"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"74025019816741866965712672198274091327950109508603006025668447505826206374692"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003fe7c","0x000000000000000000000000000000000000000000000000000000000000e361"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"41"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070ba7","0x00000000000000000000000000000000000000000000000000000000000066c8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xd615c52d5AE16Ad8b6Ec4654D85753263437D50f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x8324ADfC37e4Ce6B24a34Ced4A13faadbd59Ca97","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xfE21C85fc6B149ad71cfA8a762f75BaBc15208E2","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\NULm\\\"\\EOT\\DC43\\na\\SYN\\160\\136j\\232\\182\\n?c\\145\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"H^t\\240Cl\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"!k\\145\\221\\254\\241\\241\\SIu!X\\154\\167\\SOHC\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\222\\181\\252\\233\\SOHpw\\DC1\\135\\198?\\187\\v8\\141bE\\165\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\132\\249\\234s\\206\\174\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\DC2w\\235\\SO\\234\\DC4\\ACK\\225\\147>@\\207~\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210@\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Cm\\172\\\"-\\209`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\142\\192r\\223\\181\\232\\234Q\\202\\154{9\\ETB\\188\\&8k\\n0DC\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Qh\\252\\178\\208R\\168h\\243i\\160\\237\\a9\\DC2\\ESCG\\219\\169\\179\\227(\\191!\\221\\SID\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"wx9\\209\\223\\195\\254\\DC1-\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\158\\160\\193\\EM\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\CAN\\246g7e\\169\\DC1\\192\\ENQ\\241\\213\\197\\213\\245\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"y1\\182\\DLE\\n\\165E\\162f\\222W\\234\\214\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Z]\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\232\\183\\195v\\SYN\\146\\213\\205\\SO\\RS\\215\\&1D{\\166\\211\\210\\&3\\DEL\\229\\167\\173\\128$c\\163\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\ETX\\169$\\154\\224\\191\\255\\188dQ\\179\\215;!\\148S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\151\\138\\223\\151\\225\\239(\\150\\171\\GS\\194\\140\\DC3\\DLE\\EOT\\254\\237i\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\219\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\248\\160\\205\\132\\190\\184\\163\\&9;h\\225\\224^1C\\FS\\132\\159\\225>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\198w\\144\\233\\228@]\\143%\\135\\192[\\194q\\167\\133\\225K\\140\\186\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\176\\CAN\\140\\220\\GS\\140\\DLE\\157>S\\193\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\172\\240\\183\\167$\\238\\225X\\128s\\254\\177\\200\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"_a\\130H\\184\\190y\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194T\\EM\\158\\165\\194\\NAK\\236\\151\\205Q\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\246\\aE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209q&\\a\\214\\248\\140tL\\161\\144\\CAN\\129\\246\\ACK6\\ESC\\140y\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\187\\DC2P\\FS\\SOHL\\ENQ\\199\\138l\\134\\175\\133\\SI7m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4.\\255\\249\\155\\176%\\228`T\\207\\175\\172`\\190\\224\\227Sg\\231\\163\\169\\166@hB\\140\\240\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"i5\\fN\\163i\\251\\FS@\\198e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"+;\\245K\\GS\\249\\189\\DLE\\137\\ACK\\214\\&0fS\\220y\\US\\137\\138:bz\\\\O\\156\\177&\"","tag":"AbiBytesDynamic"},{"contents":"\"GI\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\175Q\\190m\\200(\\EMV\\212K\\128\\252\\\"mT\\248\\147\\225GG\\231\\131d)\\182`\\249  \"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\149\\STX6\\220\\170\\246\\130\\131tFI\\b\\129\\192\\222\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\b\\171\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\183$s\\f\\222\\233A\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4W=&\\DLE\\167\\143\\&7\\151gDg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\235\\142\\v\\207w\\147\\238c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224h\\vR\\182 <\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\172,b\\247\\&7\\STX\\139\\167k~\\244T\\169}\\146\\254\\DC2\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\SO\\ACK\\251\\181^k\\137\\144\\137\\197\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\188\\v\\196\\175,\\ACKjm\\186\\194\\&4\\248b\\138\\155\\212JC\\171\\&4|r\\145w\\NAKK\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\221\\177\\ETB\\SI\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\238x\\168Wh\\130\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232GY\\EM\\149\\SI\\147\\142\\157\\DELM\\142KW-\\130\\236\\188>~\\234Z\\223\\220\\170\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\248 /{\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\ACK\\191\\155\\246\\189M\\DC1Y\\SUB\\180\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\b\\187\\174X\\DC1C^ \"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196]\\168\\133z\\187\\240S\\255\\205\\253\\re\\191\\173\\207\\RS\\132\\ETB2\\176f\\186)i\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\197\\v\\220x\\179:~\\229\\&1/\\162D\\235p\\253\\t\\243\\147LCw.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212|U\\142\\128%W2\\197\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\202I\\161\\244\\197\\ETB\\250\\EM9[\\210\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\158\\139G\\147\\148\\NUL\\215\\240J\\214G\"","tag":"AbiBytesDynamic"},{"contents":"\"YU\\196m\\238\\151Dm\\149n\\225\\244?\\225\\128\\179\\216o-\\177e\\199\\215E\\176\\173\\190h=\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\134\\n\\229\\210nf\\191u\\DC1\\187\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\223!\\DLE\\NUL\\240\\US\\174\\205\\148\\&2\\204\\a!91R\\169A\"","tag":"AbiBytesDynamic"},{"contents":"\"e5?\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\161\\164\\241\\162m2<\\165\\213\\245\\175z\\234\\&8\\202$\\220M\\210\\208\\246\\136\\246d\\153$0\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\170|\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CAN_\\237;7)\\143Y\\131\\195Q\\182\\203:p\\t\\136U\\190\\EOT\\\"\\b\\RS7e\\168\\196m\\242k\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\ETX5\\151B,\\205\\217\\178c\\235\\b\\211R4\\251\\198\\175\\231\\213\\235\\STX5\\180\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\&7\\224Y\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\216|\\201\\170\\ACK\\162\\164[\\192\\&8k\\209\\248\\147>\\214\\155<nL\\DEL\\242\\&2\\SI\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US2\\137J<\\225\\SYN\\CAN\\209\\207>\\204\\n\\166\\156\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\224edQ\\201h\\\"\\225s\\237\\188\\184gA\\163\\128Y!\\128n\\252_\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"42\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189r\\224\\135\\176\\168\\251T\\182,\\162\\SO\\SOH\\150\\SUB\\192\\EOTx\\208-\\CANi\\225\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167?\\222\\DC3\\211\\232\\165Uo\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250}z\\153\\219\\153\\194Q\\228\\246\\n\\197\\227\\221_\\239\\130\\EM\\213\\172Y\\222\\\\M\\\"U\\131s3\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175,{\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETXm\\188\\166\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161?\\134q\\235f\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\136\\191\\226/w\\166\\250\\157\\&5D\\192\\136\\203\\203\\148\\239\\&2we\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201sd\\220\\241\\211\\241\\148.\\248\\\\(\\238\\167\\160\\215\\SO\\253x\\US\\172\\NAK\\163[?r\\133\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\SUB\\140,^\\ESC@\\ETBAQn|\\237\\163s>\\232\\&9\\EM\\137\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\140C;\\SYN\\149\\&4i\\207h\\231\\238\\245\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"|y6\\244\\185s7\\163\\193\\164\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230(\\145[\\191\\&5=\\SI\\164xE\\193\\149V\\136E\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\247\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"zy\\205-s\\239\\223\\138\\DC3\\149\\200\\218\\216\\GS\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\147]\\214\\145R\\212@ \\197\\221>\\150T\\145P\\173O3#\\197\\DEL\\211\\151\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\130\\RS\\135\\244\\&3QR\\175\\222\\&8\\169\\222r[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\197Yqb\\182Z\\204\\182 \\166i\\176Bq\\GS\\252^\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\204\\243Gb\\206\\154bK\\188/\\254 \\182\\206ao\\133\\239\\225^\\217\\134\\236*\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\173\\157\\213e\\167\\129\\DEL\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\202\\&1\\142b\\255\\183\\187\\150\\ETX\\246>\\GS\\144\\240v\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\174\\174c+\\139\\193\\255\\DC1\\172B\\240%\\226\\140n\\v\\254\\162\\SUBi\\249\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\206C\\136\\&7\\207\\207\\RS\\132\\142\\EOT\\FS\\134zWA\\t\\241\\189\\129mm\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\138\\\"\\136\\SO/%\\225\\129\\192\\171\\DC2\\232O\\195\\189Z:\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\207\\&6\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"kc\\222\\151\\SYN\\141\\194M\\165:\\167\\226^\\248\\213\\176\\252\\&1\\t\\252\\226\\GS\\145\\ETX\\162\\194\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\RS$rI\\135J(\\DC2U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\189z\\212\\162\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\255\\129`oV;t\\135\\ENQ\\NAKFv\\240&`\\fW\\210\\181t\\EOT\\136\\182\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\202\\202b<n\\185v\\206\\251M98\\194H-\\212\\171\\214\\223p:l\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\252\\&3r\\226mST\\222\\140o\\188\\241\\214\\STX\\DC1\\133\\190W\\157F2\\DEL\\ENQ.\\226Py)2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128V\\222\\ENQm-f\\153\\a\\132\\NAK\\191\\STX\\180j\\242\\&5i\\220\\226\\179\\183Z\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195F\\225Y\\225\\197\\&2\\255\\252\\236H\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\146\\163\\207\\161\\164,kF\\212\\138\\192B\\194\\n\\128\\208\\130\\147\\174#\\212\\222\\ESC\\166J\\173|\\249_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\136\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\143)\\218U\\173\\159\\142[\\187\\\\\\SUB\\186H\\190\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\169\\236\\200\\202\\147\\174\\193I\\209;\\248/\\STX\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\250[\\249\\255_\\152\\214\\GS\\213\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\191q\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\129n\\180J1\\168\\GS\\188\\236\\148z\\209\\a\\224\\157O\\216nA\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\194\\238\\246\\DC2mo\\220\\210\\245\\182(*\\bd<\\149\\159\\199bJN\\134\\175\\ETX\\194\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\226\\194,i[\\223\\185\\\"\\135\\154\\GS\\170\\v\\135\\205\\DC1\\229\\209\\172S\\194\\157\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\166-4'\\140=\\129\\227\\177\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"g\\174\\209\\152\\SIDa\\194\\&7]`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\acl\\tK>\\181\\205\\166\\n\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\254S|I\\241\\166\\200*\\247A\\225\\181A\\215G\\148_aR3\\NUL\\196\\212\\244&z\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128Q\\231\\235P\\\"z\\157\\f\\174\\DEL\\158\\ETX\\ETX\\217\\255\\NUL;x\\181\\197\\&2[L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\248V4C/\\141\\144\\222XU\\220\\161\\DEL\\222\\\\\\186\\192{,IR\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\213\\FS\\236\\137\\174\\162\\234OHi\\159\\231VoTD[\\169[\\251l\\160\\209\\244\\EM\\235\\148\\181>\"","tag":"AbiBytesDynamic"},{"contents":"\"Z}\\ENQ&?\\180hT,=A\\210\\177\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"JR\\140\\243<`\\166\\235\\215I-\\129\\137Ym\\149\\217?\\t{\\196\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"UW\\191TV\\216\\190@m\\129D\\128\\179\\223X\\SOk~\\202<%X\\145\\220Z\\241\\156\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"-/\\138\\173\\221\\231\\194\\163\\168\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\&7\\nh#\\137\\253\\138LW\\136D\\158\\162\\251\\234\\149\\211\\\"\\236\\137\\151\\181\\161\\148\\233BU'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\230\\NAK\\157\\245\\&6\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"8e@\\SO!\\DLE\\DC2\\206\\249<\\143\\239\\214HS\\241@\\184\\132\\CAN\\220o\\242t3\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\228\\255_}\\b\\243\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\201\\196\\a\\210D-\\175\\176\\174\\FS`-\\SO\\DC1V\\a\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204K\\131\\SUBI\\148\\&5\\204\\160r\\253\\192\\136I&_\\179\\204\\&25\\130\\244\\134\\167\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\231,&AF=\\211\\230B\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136[I\\STX\\194\\197I\\198{\\199\\195\\192\\rY\\167\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\SUBzU\\168\\213\\217s\\205tT\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\255\\175\\223\\183\\149e\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250k\\155 \\171bn\\224\\151g\\ACK\\131Z\\152\\237\\231\\180\\SYN\\DC3`\\229MC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\146\\a\\179\\234}\\173\\135\\STX\\139\\153\\DC3\\175\\221\\ENQt\\163\\173`\\206P\\DEL^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\155\\134\\EMx\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\249\\139S\\145\\135\\176:&^\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"!o\\200\\140\\RSd\\255\\DLE\\131\\167f\\241@{z\\209\\247\\206CmMK\\252\\174\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH5\\197~e\\234f\\187\\229\\128\\160\\136M\\DC4\\191\\226\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255v#\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248n\\194\\247\\STX\\238*23\\170X\\206\\r\\188\\200\\ENQ\\221\\190#\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\225\\130\\154Q\\195\\ENQ\\153'\\225\\228\\164\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\199\\212\\212\\250\\151\\242\\DC2x\\131q#<s\\236\\a\\n\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\r\\151jo\\203$\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"S_T\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\b\\232\\171wM\\ETB\\160\\235\\213\\234!\\245\\194T\\220\\185e`\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\149\\167Z\\EOT\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"e''p\\235\\150\\&7\\194\\221\\161\\156Yx\\214\\241\\144\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\")~\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"'.k[\\DC4\\SUB\\r\\ESC\\ETB\\ETB\\167\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\136\\142p\\226\\215\\186\\131\\166\\211\\STX\\212?\\159\\236\\212\\&9\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\&4\\211\\r\\a\\175\\191\\200k-\\CAN\\EM\\167!\\143i8\\166I\\250\\&2\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\229\\NUL\\225\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\166\\207?X\\\"\\ESC\\DEL\\133\\242\\153S\\\\\\135\\225\\248\\253\\SO\\216\\DLE\\148\\192\\SO\\CANXc\\RS\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"2e\\EMD\\165\\250`\\132\\207\\135\\180\\152|z\\223\\168\\ETXt\\ESC\\GS\\159id\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241=\\219$\\181\\240\\148\\158\\\"rX~\\150\\213\\227\\DC2\\154\\ETB\\234;E\\191\\229\\SOH\\138C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\139i*\\199e\\204\\187\\252Z\\195\\233\\STX\\SOH\\217\\173\\219\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209,3cH\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\218Q\\220Q\\165f|\\175\\253\\240\\148\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"e<\\140\\239\\227\\200\\204\\208\\&1\\196\\131\\165/h\\\"<\\205\\205\\189\\238\\145\\&6\\253o3\\f,J\\223\\163\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\ACK{\\198\\153\\168 \\ETX\\215-\\251\\172X\\235\\DEL\\172+\\158p\\153\\145\\US\\199\\DEL0y\\131\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144z\\230\\190\\157\\ve\\210\\172\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\222\\147\\\\\\STXvP\\209wd-_\\141\\157\\&5\\248\\159Y@\\STX~\\130\\174\\220\\SUB\\233\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\")<$\\226\\&9\\206\\195\\155\\137\\172\\191\\DC2\\149J\\a\\210\\187\\132\\156\\148\\242\\&2\\223?\\222|\\180\\143\\189\\DC1\\139j\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\153\\183\\138\\190\\156\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\bFy\\138\\246\\219\\&5\\190t\\217\\132cS\\130{\\214<*\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"c!\\202V\\224\\241\\238\\&5:\\161\\255\\129\\&7)[8d\\216w\\167\\ESC\\162\\153\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\248f\\232\\ACK\\203\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\174\\216\\177\\US\\207q\\164\\148(\\211\\242\\213\\215\\224\\158\\DC4|:\\167\\242\\DC2\\226\\&7\\179(\\141@\\235\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\DC3;\\ENQ\\SO\\219\\184\\188\\245\\RS\\180\\225\\182\\ETXT\\242Gm&\\150L\\162 \\\"\\173\\255\\132\\202(yc\"","tag":"AbiBytesDynamic"},{"contents":"\";\\175\\219\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\155(f\\v\\239j\\188\\182\\EOT\\199{i\\231\\206)\\US\\191\\217\\207\\180\\SI\\231\\191\\RS\\216\\131\\200\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\209\\218D\\208\\&43\\215`\\226\\177\\238W\\166s4\\CAN!\\240\\189uY\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\139\\176^\\FS\\191\\187\\137\\131\\&0#\\193^[.\\220i\\228\\ACK\\238\\146)D\\151}\\152\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244g5\\129\\181\\179\\NAK\\199\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC31yRT$\\212\\GS\\206\\254\\236J\\225\\f5\\215\\160\\DC3\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143%\\SI\\NULGygCc\\USv\\161\\176\\246.]\\169\\250\\252\\232v\\193\\142p\\178\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\222itr\\130\\238\\245\\206\\NUL\\ACK^\\177\\214\\199b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\229+z/\\130\\252\\251\\187|\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138H\\135\\144z\\224\\181I\\166Q\\137\\130\\145*\\188+\\192\\174\\194\\DC1\\t\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\&2\\128\\240\\140\\220:\\128\\159xdh\\153hD\\n\\FS\\DC2\\150]\\169PB\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\SIC\\168\\139\\142Y\\206\\203wf.\\173\\247h\\163\\r\\196\\207\\DC3\\215\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\201\\154\\243\\197\\130s\\133w]N\\167Y\\138!1\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\204\\DC2gP\\ETB`>X\\vH\\194\\221;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\197\\251\\205\\150\\147]\\149P\\150\\FS\\209\\r\\184G\\160\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186'.f\\225\\181u1\\ENQ\\ESC\\248]\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\216&\\190\\221:\\143C\\r8\\163\\SI\\195\\141\\171\\141\\247o\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\164\\242\\238\\&8\\184bN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\188Q9a\\255\\224X\\205\\225\\250id\\212|[\\253\\\\8\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\&7WV|\\234i\\DC4K\\240\\137\\205\\198\\236\\214-\\DC1\\ETB?\\162m\\\"D7\\131\\241\\&6\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\\\\193\\192DQ\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\244\\169\\158\\130\\157\\171\\DEL\\162\\\"%\\197E\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\230#\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\b.\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\165\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"6Z\\137\\171\\138\\183\\247\\tf\\243\\158L\\248ii\\152w_\\245\\185\\&0\\EM!\\ENQ\\ACK\\187|g\\160\\213B\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\177\\177\\130\\&46\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\FS\\176\\134\\200;\\208\\180\\244hZ\\131\\NAK\\SUB\\164\\130\\138v\\173\\RS\\DC4n\\250\\167!<\\151w=\\128K\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\152O\\237\\185\\244O\\243|Q\\205c\\163z38\\147\\150\\212/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\189\\215{Tm\\201\\248V\\141\\216\\&8\\ENQ\\v\\194]\\177>R;\\185X\\163\\NAK\\248\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\198\\248\\150\\185\\SO\\141GW\\175\\EOTKQ\\152\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\221\\217-\\SO\\191\\173m\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\218q\\252\\191\\140Q\\237\\243.H\\142`\\194A\\251\\192\\214_\\171r\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\170um\\221\\236Q\\152?\\154\\217\\177\\136\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\EOT\\201\\ETB\\GS\\178\\205\\DC1\\195\\198\\150\\204m1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\t\\215\\208\\242\\SYN#\\b4\\203he\\169N\\SYN\\143/C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\154\\DLES\\CAN\\139\\\\\\234K:\\178(\\ENQb\\136\\178\\248\\&6\\239\\DC2w\\SOH\\254\\251\\129m\\a\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\".8\\177T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\SYN\\ETXc=\\148\\211\\144\\195\\156U\\161\\US^\\182\\197\\180\\187>\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\235=%\\237h\\241W\\159\\b\\133\\182\\NULB\\183\\150\\200<-vg\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\201\\225\\SI)\\178\\ACK\\DLEC\\184/\\CAN?\\173\\234\\143\\153\\180\\156e\\218wG5l[f<\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\150M\\141\"","tag":"AbiBytesDynamic"},{"contents":"\":\\193:\\182\\ETB\\\"; \\t9\\214\\227\\CAN\\232,\\223\\252]0\\155\\&7\\169\\254\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\STX\\246<&\\219\\145\\&3a\\191f\\188s\\219F\\243U\\144\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\186\\243\\252X\\148\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\249=\\179]\\171R\\224\\tz\\168/\\134\\206\\SUB\\DC3\\200H\\225\\EOT\\a\\194\\138\\236X\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\185M\\253;\\145\\226\\230\\EM\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\240\\255\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\132\\161\\181\\146\\&7\\232\\EM\\136\\SIE\\159\\206x\\140\\128C\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\160\\165t\\132v\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189N_BE\\186\\&0e$j\\230'ZU\\241\\186\\139G\\224w\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\167\\175\\GS\\DC1\\135\\132Kf\\214\\137\\209\\&6Nt\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\nf\\239\\185\\161\\218\\245[\\230\\SYN\\225]I\\243o\\158\\243X\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"$J\\f\\131\\128\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191n\\239^\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\240u\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147})\\DEL\\190.\\227\\252a\\169'\\173\\215\\192tY!\\169\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\225\\159\\199\\\\7i&\\189\\166\\DC4\\133\\DLEn\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\230\\195\\148\\242Sb\\214\\&7\\166'\\ETB)\\CAN\\143&A\\174\\252K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\206O\\216\\242h\\193\\250\\131\\179\\SOH\\179\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"V$ \\238\\SYN\\225n\\169\\146)A\\FS\\147%\\145\\189\\129T\\ESC\\DC1\\201g\\151?C\\234\\129\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\US\\144\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\240\\DLE\\211}\\129\\190\\215\\153\\136\\204\\&7\\236\\246\\STX\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\rP\\241\\ETX\\153\\244\\134\\167I-;SBN%\\148p`%\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\&0)l\\166\\174\\234\\151\\175\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"hH\\136\\\\;\\189d\\184O330\\134\\197J\\129\\232\\211\\188\\174\\202%\\SI\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"9]/4\\ETX\\192\\EOTWs\\214\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"e\\250\\196\\230a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182@\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\253)8\\158\\248\\129c\\198o\\226\\\\3,\\251\\179V\\137!U\\180\\189\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"8\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\CAN\\234\\224\\178\\DC1\\178\\233\\190i\\253\\201\\192\\169\\156\\216\\aU\\152\\SYN\\151-\\216\\182\\205\\169\\168'\\192\\226\\SOH\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\179k\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\147\\214\\178r\\234/F\\STX\\133\\136c(\\236\\181(\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\")\\197\\DC2\\196\\233\\204\\&5@\\226?\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"lp+\\228j\\224\\247SQ\\156*\\183\\153\\181\\224\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2.;\\170\\246\\235\\197\\188\\140\\153\\210\\181[8\\215\\173\\147\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255j\\SOH0\\143+a \\195n\\210\\145\\252\\DC3\\\"\\US\\172\\171\\128@y \\STXG\\SUB\\186\\140\\229cv\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\237\\133\\136\\151Of\\223\\162>\\172W\\238p\\175\\197\\243\\181\\132qu\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183M\\137b\\131\\203\\199}\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\141$\\142/\\136\\197I{\\b6[-\\134#\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC1q\\DEL\\173\\246[b\\241\\141\\r7\\134r\\SYN\\229\\199X\\247\\199g\\251\\224\\250,>XlPQ\\224\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\SO\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243|\\164\\205\\199\\&1\\EMi>-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\246W\\a?\\236\\147.e\\DEL\\164\\184\\232X\\147\\139U\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\209\\195\\bL\\199\\149\\246c1\\b\\STXciR\\222pi\\237\\186\\146\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\204B\\200\\155R\\238\\174TT\\217\\163\\SI\\241\\254\\171\\229\\235\\ETB\\149\\STX\\223\\226\\186\\176\\171\\184w\\160\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219P\\177N\\206\\ETB8M\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175Y\\223\\ENQ\\253\\235'V\\SOH\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\204\\231[\\241\\251\\143\\ETX=x;8\\247\\DC3\\162\\218\\156\\ACK>8\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\162\\SOH\\170V\\223\\v\\254j\\152\\190eT\\DC1\\f\\205\\195\\133\\SYN\\206\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"LK\\156\\251\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\222\\175\\a\\219\\ACK\\ACK\\200\\200$C\\129\\&6\\214{ip\\168\\144y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"T6\\DC2Qohg\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\ETX\\149O\\GS\\138\\173\\130\\DLE\\SO\\240@\\ACKf\\165\\156\\NULz\\231Y\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201{=*\\147\\191\\239\\&3\\ENQ\\130G\\166\\189l\\252\\ENQV\\192 \\146\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\143\\237T\\167\\183\\236\\232l\\222,\\217\\219T\\240\\231\\CAN|1o\\SI\\245\\&3\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197v4\\156\\130\\244\\171\\158\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\180\\253\\FS}\\204\\233\\247k\\240\\223\\DLE \"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\228\\138\\242\\210-H\\232D\\t\\EOT\\132\\216\\EOTd\\243!\\197k\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\253\\147k\\253\\nU\\NUL@\\234q\\f\\226L\\184\\159\\173\\203ON\\215\\226E\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207c\\177\\172\\170\\CANfr]\\237rQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\221\\189\\136\\227\\144\\255\\170\\ESC_\\t\\205(QV\\240\\212\\196M\\134w\\128 \\133>\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\169\\DC3\\160d\\234;2\\221\\147\\247\\SO\\191\\239\\FS}z\\133_\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\":F\\132C\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"jy\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"<`\\161*\\192`\\175*\\SIf\\214\\187\\246$c\\184j\\161\\248\\ESCU\\196\\136\\195\\193\\141\\131h\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\134\\195\\139\\&1\\229\\SUB\\251\\164i\\n~\\ESC\\201\\222\\144\\&4\\ETB\\191\\t\\192\\183\\197y\\138\\169\\169\\138l\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\195\\187oe\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\185\\130@\\201\\135\\132\\223\\225*\\226V\\136`\\184\\234\\197\\135\\167\\156$r\\129\\&5\\208\\169\\182dp\\141\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254V\\246\\158\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133O\\136\\&1TL\\US\\143\\224\\FS\\251{?c6\\188v\\158\\164]\\130\\239\\198\\210(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\fo\\229\\252\\205\\209 \\240\\218\\GS\\221\\US|C5(\\149\\DEL\\222\\DEL\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS,\\160\\254\\STX>>8\\201`\\213\\217.\\191\\253jS\\145\\b\\141(\"","tag":"AbiBytesDynamic"},{"contents":"\" \\221{\\238\\164\\159+\\ETX\\t\\216\\158\\179\\144\\CAN\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\248rR\\237\\142\\180{\\216\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167~>X\\251G\\r2\\183\\197\\141\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\216%\\142\\191\\221@\\208\\165\\207\\&4I\\134\\245\\215\\152\\195\\160\\205cd>]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\152\\SYNxLH\\188\\237\\210\\&8T\\174\\223ow\\189\\250\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166phD\\249U)]\\194\\231p\\203\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\138w\\176@\\147\\195\\ACK`\\SI\\146\\217\\SI\\158\\228\\nu\\NULvGI\\244\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\SYN\\149\\&2\\236\\246%\\188g\\185\\195\\188\\218\\155U\\a\\194\\243Y\\230*MG>\\STX\\213\\SUB\\134\\DC1\\218\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\EM\\155\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\NUL\\238\\174\\157I\\160\\230\\&3\\172\\160\\197\\196\\231q\\165\\196\\183\\GS\\CAN\\210\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\152\\187\\250\\217-\\ACKiS;2\\EOT\\\"\\215\\206\\ETB\\209\\&2\\215\\255\\190co$\\228\\229\\227\\200np\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\189\\SYN}=\\182\\227\\187\\170\\205d\\152\\ETX<g1\\190\\181\\200a.\"","tag":"AbiBytesDynamic"},{"contents":"\"D:h\\230\\194\\ETB&\\222\\247X\"","tag":"AbiBytesDynamic"},{"contents":"\"ko\\173\\US{\\213\\&6*\\232lmS\\170>{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\EOT\\142\\146#\\244\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\236\\141\\142\\&9\\133\\248\\162G\\239\\143\\DC1\\SI\\DC1\\214\\139\\205\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\166r\\173\\140\\157\\212%\\224\\173\\149<\\177;\\224\\215\\218\\163\\149ig\\204\\\\*\"","tag":"AbiBytesDynamic"},{"contents":"\"1d\\177o\\168\\200\\164\\DC2ejV\\155\\230\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"37958004833753233850070834719420720454559393261847072188024212346970537643392"],"tag":"AbiUInt"},{"contents":[256,"493084863"],"tag":"AbiUInt"},{"contents":[256,"1535349415"],"tag":"AbiUInt"},{"contents":[256,"692119348643590786684884072007846760976388145365391975458297804029773880669"],"tag":"AbiUInt"},{"contents":[256,"1525815788"],"tag":"AbiUInt"},{"contents":[256,"53"],"tag":"AbiUInt"},{"contents":[256,"116022754567631192820035450570580304289041073633201414500232614943968102300"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"32640360100544737104828283067712453831716684989656953683834266668070295062750"],"tag":"AbiUInt"},{"contents":[256,"30259324795426738053347451916987670432009580822087432494439573863251556805420"],"tag":"AbiUInt"},{"contents":[256,"60367244813202273525849555310419948459723195735521624779723540206805042265820"],"tag":"AbiUInt"},{"contents":[256,"71496925559747718418578391473714361524758590569346354113630211437371004267070"],"tag":"AbiUInt"},{"contents":[256,"1533388784"],"tag":"AbiUInt"},{"contents":[256,"24028600132248716577865685533248965013315570933484317982746292229255299244337"],"tag":"AbiUInt"},{"contents":[256,"55"],"tag":"AbiUInt"},{"contents":[256,"1526880462"],"tag":"AbiUInt"},{"contents":[256,"1527801833"],"tag":"AbiUInt"},{"contents":[256,"34502926220270409159295092940177954109363015474449384032870958884623482477437"],"tag":"AbiUInt"},{"contents":[256,"100668903009768936082099808015874199234555780072664790876480321213635049937033"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"5444257913498835888679182442159613087902864458496861702274362656546406262006"],"tag":"AbiUInt"},{"contents":[256,"3749882931249581206590752584203292058900312381442695380757531674616926121301"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1532298334"],"tag":"AbiUInt"},{"contents":[256,"1019"],"tag":"AbiUInt"},{"contents":[256,"79359671401363932684600598947413703620053334697197219771632333802299115358953"],"tag":"AbiUInt"},{"contents":[256,"32162878360330628237756619839080950380725886710730669313342740970176177210363"],"tag":"AbiUInt"},{"contents":[256,"1530166607"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"133384100446174366162612239306911195681"],"tag":"AbiUInt"},{"contents":[256,"11171014347924808941031927321324805963841882793595125604389763612001685162106"],"tag":"AbiUInt"},{"contents":[256,"203"],"tag":"AbiUInt"},{"contents":[256,"1526251656"],"tag":"AbiUInt"},{"contents":[256,"92602404676859510169280553716031815072807350959086837503067131815580282532299"],"tag":"AbiUInt"},{"contents":[256,"1532059249"],"tag":"AbiUInt"},{"contents":[256,"55139165571148046344175971410598876854839097644330808084528658089619442512691"],"tag":"AbiUInt"},{"contents":[256,"83358198336444553620916780"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507328"],"tag":"AbiUInt"},{"contents":[256,"73889268780354491686491910346913229755"],"tag":"AbiUInt"},{"contents":[256,"110605691029033149254027930108182369668512018369344720138914323215185444084757"],"tag":"AbiUInt"},{"contents":[256,"1528350664"],"tag":"AbiUInt"},{"contents":[256,"37245081323066565721245872504804378030469030837278088606366686614624658103778"],"tag":"AbiUInt"},{"contents":[256,"114155239461806325809764785728492143797177497646286727930013859952833447478151"],"tag":"AbiUInt"},{"contents":[256,"83723042533451059040391047797494855499495370332598229803372168291683282617760"],"tag":"AbiUInt"},{"contents":[256,"106784065404193225974138662510617165602901191551506505799768507335375085086358"],"tag":"AbiUInt"},{"contents":[256,"19700508417664572542692812127125161698638321573866403637133232470752239925023"],"tag":"AbiUInt"},{"contents":[256,"2273077330646318305181683890644714289441954262437712456279504762023274656076"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"80931229671332420284813255593954027072381104948724236260867758096040479901685"],"tag":"AbiUInt"},{"contents":[256,"97493025004916165068204326177356777983862752083842127040403957658629553590202"],"tag":"AbiUInt"},{"contents":[256,"67951854917557777065298907944271422292617288642449078649758904913543942564225"],"tag":"AbiUInt"},{"contents":[256,"71485849893252510473621357636942051176051721424727994123009073874416403208716"],"tag":"AbiUInt"},{"contents":[256,"31615549810872889050961088740621810846946979269419823216500749672374535299753"],"tag":"AbiUInt"},{"contents":[256,"1526198990"],"tag":"AbiUInt"},{"contents":[256,"95888418557521692714536382647382747179660407343074453215862511888789815969035"],"tag":"AbiUInt"},{"contents":[256,"105624772238980664964723871939478960743710586458599588582371256042261708357674"],"tag":"AbiUInt"},{"contents":[256,"1525475862"],"tag":"AbiUInt"},{"contents":[256,"26435070613234963968961396814182162161229371692737399261139091541232053382225"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088322"],"tag":"AbiUInt"},{"contents":[256,"103233565270845067307131220283079020984300862432421670332585562650001697295918"],"tag":"AbiUInt"},{"contents":[256,"68760971728457255620333780729863294918356050882335378607789158638819571475503"],"tag":"AbiUInt"},{"contents":[256,"1533872455"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"9259713508145598439153011874777220851323305492334661934196090248491396154136"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"4970624694780644810912"],"tag":"AbiUInt"},{"contents":[256,"271"],"tag":"AbiUInt"},{"contents":[256,"114078352847899607653635959067571464553676494761035281226536385883743708917911"],"tag":"AbiUInt"},{"contents":[256,"65190499748696112674444976848569174197961780080555997437374196082467587559273"],"tag":"AbiUInt"},{"contents":[256,"1530952226"],"tag":"AbiUInt"},{"contents":[256,"1531570858"],"tag":"AbiUInt"},{"contents":[256,"1683932117773851100762954686578562823980793301690740137337546088517139462360"],"tag":"AbiUInt"},{"contents":[256,"109852695694068889674640354787031169844501102254567075373377864537925804861465"],"tag":"AbiUInt"},{"contents":[256,"1526532271"],"tag":"AbiUInt"},{"contents":[256,"39672028394239919124500690872026248076373110166570511286275786624279170081194"],"tag":"AbiUInt"},{"contents":[256,"1525727548"],"tag":"AbiUInt"},{"contents":[256,"25170075589006806142394012178694424497293"],"tag":"AbiUInt"},{"contents":[256,"1532707904"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1529884808"],"tag":"AbiUInt"},{"contents":[256,"25946903453134150167256815414868841394914673790407469949241998272507847010432"],"tag":"AbiUInt"},{"contents":[256,"1535368641"],"tag":"AbiUInt"},{"contents":[256,"108594709697921805767576981313803280519103056071552986041765486102753879834158"],"tag":"AbiUInt"},{"contents":[256,"64719509591005285041854067626944632904863024390086521745589123900879494725790"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028967","0x000000000000000000000000000000000000000000000000000000000000ad64"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d4ad","0x0000000000000000000000000000000000000000000000000000000000004465"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"26320238326976816762250754200133794436415865323285901760276622621465062045812"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000059459","0x000000000000000000000000000000000000000000000000000000000000e04f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":[256,"43452710800574340191672721084458362185656404600403977419863786260204263225148"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005692e","0x0000000000000000000000000000000000000000000000000000000000004bb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"13"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002632f","0x00000000000000000000000000000000000000000000000000000000000081fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"53546916867349109273841523129006566774239583583457421490253225860985856281306"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009d60","0x0000000000000000000000000000000000000000000000000000000000004b3e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x6b784eC8A6AbBa82D3abE46c3AB3a65d730dC51C","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0xDEC9f3Dcc5158854Ef368E0B842F9e2cA8c990DB","tag":"AbiAddress"},{"contents":"0xe88a1Dd8aFa0b333683A4FABD9e53e4e9df31F99","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x9Ce3ccDa21da4b0c4b49258615315F9041f218D8","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d397","0x000000000000000000000000000000000000000000000000000000000000ba33"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069fa6","0x0000000000000000000000000000000000000000000000000000000000005de1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"18374167808270990463128128456431882180290679123854180010067006990456085941035"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005a130","0x0000000000000000000000000000000000000000000000000000000000004300"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"1536325780"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ce7e","0x0000000000000000000000000000000000000000000000000000000000006a95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"73749497459529042967803642889625461462000469900776376689704213545247798322492"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005ef7b","0x00000000000000000000000000000000000000000000000000000000000003dd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"69161633784533641791576102177697371480644448444851595932943350680281311246218"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002db3","0x000000000000000000000000000000000000000000000000000000000000e279"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":[256,"1534159055"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e764","0x0000000000000000000000000000000000000000000000000000000000005632"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"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":["0x000000000000000000000000000000000000000000000000000000000004b57a","0x00000000000000000000000000000000000000000000000000000000000017c6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"26816834427224196692528747815880762877764900411950103579951360302770010163406"],"tag":"AbiUInt"},{"contents":[256,"20841856124223205999091479160944"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222593"],"tag":"AbiUInt"},{"contents":[256,"45618737489931589008937561005219089361368257910433840327317318311619491552114"],"tag":"AbiUInt"},{"contents":[256,"17056135799991367295526751684762587058445515014741400222533293496652305458372"],"tag":"AbiUInt"},{"contents":[256,"52360098350618540696431385905193649049679349587440762921088721378661236519358"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639435"],"tag":"AbiUInt"},{"contents":[256,"107131173846983201401731505459498910785525985116875056263919649114151805792634"],"tag":"AbiUInt"},{"contents":[256,"85991550691048365080548794697700804781828574775932988045926046383297884321741"],"tag":"AbiUInt"},{"contents":[256,"81"],"tag":"AbiUInt"},{"contents":[256,"100985336750267090395143736302825350706684615936837839206823398025760594603987"],"tag":"AbiUInt"},{"contents":[256,"101101827568810100715466993267852823959110366921154927445536821781422117739600"],"tag":"AbiUInt"},{"contents":[256,"54458395585970650932100217245071148223066208373923033664939018259514665860029"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630935"],"tag":"AbiUInt"},{"contents":[256,"57322062671999379307646375712662202153037428852191439433680470569132672127160"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858880"],"tag":"AbiUInt"},{"contents":[256,"5204859617690437901870987692427124605597908200409572048674912661662018287467"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639638"],"tag":"AbiUInt"},{"contents":[256,"996"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"39"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639636"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639939"],"tag":"AbiUInt"},{"contents":[256,"503"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639637"],"tag":"AbiUInt"},{"contents":[256,"87108236941253245315225767816131825785602885913393597399158252608619378252416"],"tag":"AbiUInt"},{"contents":[256,"31655983495319710754059448601389700722765784769231485751886188189797244808536"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"79418485502780311343625317248000278303551510885450379619611866290847027552238"],"tag":"AbiUInt"},{"contents":[256,"104318214577769913220029018374322729511309970649519804257768460929705479337168"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637936"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639919"],"tag":"AbiUInt"},{"contents":[256,"42250932435883263434205671211341468086949469533396828583755596085981207709227"],"tag":"AbiUInt"},{"contents":[256,"2620594329882538539400580577784"],"tag":"AbiUInt"},{"contents":[256,"35"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639814"],"tag":"AbiUInt"},{"contents":[256,"5546743766498026959651515035478218268364859516919473091709576054564081087288"],"tag":"AbiUInt"},{"contents":[256,"687799482407317945029638046752552426461564015600766676701769085880563339480"],"tag":"AbiUInt"},{"contents":[256,"1313373038"],"tag":"AbiUInt"},{"contents":[256,"82866175593606891488225956517862521281351646615275368535878779837361668142694"],"tag":"AbiUInt"},{"contents":[256,"38451534201384593409110297134888814434241589803259559835596131008582896665781"],"tag":"AbiUInt"},{"contents":[256,"1526023348"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639927"],"tag":"AbiUInt"},{"contents":[256,"11596401068165693036108350219953214999432045056376562106247989487476626697838"],"tag":"AbiUInt"},{"contents":[256,"233005596174233715266689758383338077194379162351626"],"tag":"AbiUInt"},{"contents":[256,"108972700008800780896405455416266356273191719039974657463060457322994230920841"],"tag":"AbiUInt"},{"contents":[256,"77253093451836765693186961806892686077597700662846320607657625209074068394822"],"tag":"AbiUInt"},{"contents":[256,"231"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"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":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":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007dd81","0x0000000000000000000000000000000000000000000000000000000000006d9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000052365b5da47ae9a7e"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"114026693495756365060057384471999195479447897890487613828152717040865744872779"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004fcca","0x000000000000000000000000000000000000000000000000000000000000396a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"55852151340444252400790411639648250238801484717948740880650441596245421225934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c533","0x0000000000000000000000000000000000000000000000000000000000000142"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"1535559466"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ba7c","0x00000000000000000000000000000000000000000000000000000000000062e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000023e","0x000000000000000000000000000000000000000000000000000000000000d422"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"86437079316136263046559698221505351246079793212824783207921302289353435411113"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a17e","0x0000000000000000000000000000000000000000000000000000000000000d51"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"1530036830"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d73e","0x00000000000000000000000000000000000000000000000000000000000076ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a911","0x0000000000000000000000000000000000000000000000000000000000001c9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"56845277493463930003689700915337829160785305176949033249852991776173832749628"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ea","0x0000000000000000000000000000000000000000000000000000000000001317"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"1528722106"],"tag":"AbiUInt"},{"contents":"0x1C310426202C49BD70225A9A660dA6019422FFcA","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006eec1","0x000000000000000000000000000000000000000000000000000000000000a8bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":[256,"80187985460485895903727180817943201654983710630479050946253968088345534119794"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000009236c","0x000000000000000000000000000000000000000000000000000000000000e775"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"55246739429268660688842483856351689413734855434681713307953127277195089724812"],"tag":"AbiUInt"},{"contents":[256,"1418619248719854723092925952541870495063619228593343"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003feff","0x0000000000000000000000000000000000000000000000000000000000003379"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000614bb","0x000000000000000000000000000000000000000000000000000000000000992c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]