[{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266892"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005eccc","0x00000000000000000000000000000000000000000000000000000000000001f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639798"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe4","0x0000000000000000000000000000000000000000000000000000000000001361"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639933"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3a","0x000000000000000000000000000000000000000000000000000000000000dcc0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e376","0x0000000000000000000000000000000000000000000000000000000000007e4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"85"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1313373042"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000044","0x000000000000000000000000000000000000000000000000000000000000129e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000523ff","0x00000000000000000000000000000000000000000000000000000000000009de"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfd","0x0000000000000000000000000000000000000000000000000000000000001341"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[256,"553"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b2da","0x000000000000000000000000000000000000000000000000000000000000af17"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"74454975328437005912126428629781830822472005364734474220703445215116071953301"],"tag":"AbiUInt"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":[256,"4206142098597807894803372854118377276669951126558565622550274481491411449033"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d2","0x0000000000000000000000000000000000000000000000000000000000000fb8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"28689053899271596582196273917840113032534785102348261014131283499357754447215"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0e","0x00000000000000000000000000000000000000000000000000000000000095b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"51"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f7c2","0x00000000000000000000000000000000000000000000000000000000000095df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d1","0x0000000000000000000000000000000000000000000000000000000000001372"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"83254923676942669129807189149254256741825364971098887914132520627624079549104"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001d","0x000000000000000000000000000000000000000000000000000000000000e68e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"707"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59c","0x00000000000000000000000000000000000000000000000000000000000035d5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"88833332437304006991495609754758118644470002944892323673161705052186508831341"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e701","0x00000000000000000000000000000000000000000000000000000000000059d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f7c2","0x0000000000000000000000000000000000000000000000000000000000006ddc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd39","0x0000000000000000000000000000000000000000000000000000000000008198"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f48b","0x0000000000000000000000000000000000000000000000000000000000000047"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea47","0x0000000000000000000000000000000000000000000000000000000000004b9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011523"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f94","0x000000000000000000000000000000000000000000000000000000000000004e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"133"],"tag":"AbiUInt"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":[256,"528"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000804a4","0x00000000000000000000000000000000000000000000000000000000000095e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d877","0x0000000000000000000000000000000000000000000000000000000000005d50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000060","0x0000000000000000000000000000000000000000000000000000000000000015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060ade","0x0000000000000000000000000000000000000000000000000000000000000024"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000019650","0x0000000000000000000000000000000000000000000000000000000000009e99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a518","0x000000000000000000000000000000000000000000000000000000000000ce5e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[256,"113866377476524157552534237565924846437063335491419733934163378308726852565245"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012f","0x0000000000000000000000000000000000000000000000000000000000000f9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":[256,"472260498517428093450829853099908085"],"tag":"AbiUInt"},{"contents":[256,"8071697010981838330944271967241190017803075986243037173976933623761346230337"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055775","0x000000000000000000000000000000000000000000000000000000000000131b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075d98","0x000000000000000000000000000000000000000000000000000000000000760d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":[128,"258"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e956","0x0000000000000000000000000000000000000000000000000000000000000101"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"88809734385331587727815451213550400314787157764083362025345718982299167985317"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164a","0x0000000000000000000000000000000000000000000000000000000000002712"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":[256,"26795668152794892102974510802858058961305144512154659680634927719716202609618"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024b01","0x0000000000000000000000000000000000000000000000000000000000007118"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637936"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2b","0x00000000000000000000000000000000000000000000000000000000000012ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507326"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf0","0x000000000000000000000000000000000000000000000000000000000000232c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065373","0x0000000000000000000000000000000000000000000000000000000000000048"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ffff","0x0000000000000000000000000000000000000000000000000000000000004b9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc30","0x000000000000000000000000000000000000000000000000000000000000c061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"106179321140506914135136792176596454019167844497027138427685021857557150080121"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000027","0x000000000000000000000000000000000000000000000000000000000000037e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007fff","0x000000000000000000000000000000000000000000000000000000000000134f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":[256,"4210150070852312296925393223317130891751596739323814653350407367255983686795"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f9a","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"57"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060ea3","0x0000000000000000000000000000000000000000000000000000000000000e0f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce4f","0x0000000000000000000000000000000000000000000000000000000000001020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"90295682932872463825586262938311792114906770625247129250263857224365524407121"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffc","0x0000000000000000000000000000000000000000000000000000000000006650"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"123"],"tag":"AbiUInt"},{"contents":[256,"92119033731387759577259248322205383890944663090685915230907518164866653871266"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008aae1","0x00000000000000000000000000000000000000000000000000000000000065f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"TST\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e12","0x0000000000000000000000000000000000000000000000000000000000000001"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":[256,"96823541065000134857186661605651755006575849237102509823587900607315769656645"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f94","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":[256,"44944801875470135399839994226394741284599986298590768108566633513914002881166"],"tag":"AbiUInt"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":[256,"234"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x0000000000000000000000000000000000000000000000000000000000008ec8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f17","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"93"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"33530199329948463739099228208949595880935451665185800952216620932645136208543"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81c","0x00000000000000000000000000000000000000000000000000000000000001f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"119"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e5","0x000000000000000000000000000000000000000000000000000000000000012e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb25","0x00000000000000000000000000000000000000000000000000000000000007d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"20"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052401","0x000000000000000000000000000000000000000000000000000000000000dcb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb10","0x0000000000000000000000000000000000000000000000000000000000009aa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"71"],"tag":"AbiUInt"},{"contents":[256,"33395707665797144529643754080164556228320017123656842370998736940996876214263"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb01","0x000000000000000000000000000000000000000000000000000000000000129e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf7","0x000000000000000000000000000000000000000000000000000000000000004e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":[256,"1532768524"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb0","0x000000000000000000000000000000000000000000000000000000000000131a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"21"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba8","0x0000000000000000000000000000000000000000000000000000000000009202"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142f0","0x0000000000000000000000000000000000000000000000000000000000001a46"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"18657587613703156988307333029285961580197071725274965983040537595141405471309"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f39","0x0000000000000000000000000000000000000000000000000000000000000440"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"53725482853883928558499498109950387288833259106230100494662996433689712918544"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff9","0x00000000000000000000000000000000000000000000000000000000000000e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"13"],"tag":"AbiUInt"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"103316016495463805810899993422320903547995203195856268991241318720726060029459"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000013","0x0000000000000000000000000000000000000000000000000000000000001369"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"152"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580af","0x000000000000000000000000000000000000000000000000000000000000a663"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639862"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfa","0x0000000000000000000000000000000000000000000000000000000000004b9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[128,"298499230865180642600256515319654220082"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000130","0x0000000000000000000000000000000000000000000000000000000000000048"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c1","0x0000000000000000000000000000000000000000000000000000000000003f7c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"24501388682503480723338958838421260365224416250336814093601736382183134061890"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fd","0x000000000000000000000000000000000000000000000000000000000000001e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"21410955664785509359033707441237106129491984929066357636840637618066002721352"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea45","0x000000000000000000000000000000000000000000000000000000000000910e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"47056639121695113743654387877612107577170922828907260496982869181328412830171"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000433c2","0x000000000000000000000000000000000000000000000000000000000000118b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"167"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea48","0x0000000000000000000000000000000000000000000000000000000000001356"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639818"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004850d","0x00000000000000000000000000000000000000000000000000000000000095e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000307c6","0x0000000000000000000000000000000000000000000000000000000000000034"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"5200398528666967297008818261011825978502729402873490742567792018013358622385"],"tag":"AbiUInt"},{"contents":[256,"100597683936539980565195385856342547953604447366739989921015803241038069706191"],"tag":"AbiUInt"},{"contents":[256,"21"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e704","0x0000000000000000000000000000000000000000000000000000000000006ddf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"39"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068c40","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":[128,"5391869316203615466325986189812775140"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002a64a","0x00000000000000000000000000000000000000000000000000000000000009de"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639872"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb08","0x000000000000000000000000000000000000000000000000000000000000dcbf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"309485009821345068724781056"],"tag":"AbiUInt"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"6733424457625923819789932614387943079238253785794646750700673870120083185222"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb23","0x000000000000000000000000000000000000000000000000000000000000000b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"82987098503568403223022072425994995102917719622926252874421680440143211295779"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eade","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"138"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d3","0x0000000000000000000000000000000000000000000000000000000000003f7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"93188987773885815968213535963497114647142126355299303152495131290814074610752"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639837"],"tag":"AbiUInt"},{"contents":[256,"14482025326565858478448384494456972425638939147527841055814839713350879830911"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075d98","0x000000000000000000000000000000000000000000000000000000000000dcb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"51573974384053996102566028617141786723543998722824752754985511196997052684811"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4b","0x00000000000000000000000000000000000000000000000000000000000007cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fc","0x0000000000000000000000000000000000000000000000000000000000009e97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"GAS_MANAGER_\\NULOLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NULR\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f3ba","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"57"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892768"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7e","0x00000000000000000000000000000000000000000000000000000000000058ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"NS\\170g\\159\\143\\EOT\\216\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\189B?(\\ETB\\232\\&1\\167$\\b\\185:6K\\219\\250B3\\GS\\161\\142\\177\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\183\\244\\163\\185\\186\\245\\nwjp\\204\\217\\160\\142\\&8\\GS\\RS\\157\\175\\&5\\254HwF\\DLE\\204\\251\\&2C(\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\149\\SYN\\141\\n\\245\\SII5B\\153&\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\187b\\SYN\\240i\\CAN\\CAN\\212\\r0\\166+\\187\\&8uCu\\\\!\\FS\\237\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\200\\SYN\\178?\\NAK\\247\\ESCR\\186Y\\133\\&2\\157\\237\\214\\252%`\\149N\\246\\212\\224\\141Q\\136\\198A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\170\\194l\\186\\186\\134]D\\172+\\v^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\\\\\188\\167\\t\\171\\162\\tt\\SUB\\188\\195bo\\DLE\\ENQ\\194-W\\GS\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\226\\173\\ETB\\221-0w\\190O\\a\\157\\135\\213\\132\\199Y\\GS)v\\170\\164\\202.B!\\246\\f\\193Q\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178e\\160\\195\\228\\156?#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\217\\188E\\144\\225\\&2\\168\\SOH6\\b\\242\\180\\250\\132\\169\\218\\184Zv\\225\\186\\DC3Mh&\\242aHOG\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\188\\225\\132\\RS,\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\128\\239\\STX\\188\\160\\169\\158D\\213\\&6\\163\\223^\\252{\\176\\138\\192\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\159\\181S$\\180UJ\\144\\254i\\219&\\167;\\DC4\\SOH>\\137R\\DLE\\217\\RS?\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\175\\144\\fK\\220\\244\\216\\&0\\159\\148\\v\\143\\154L\\FS`\\179\\171\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"rq\\v^\\f\\ACK\\DC3\\131t\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\SI\\171\\182@\\220\\144\\DC2'\\DC23AU\\b\\225/\\203\\fT\\232\\149\\134\\145\\NUL\\207:\\ACK\\156f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\152bb\\171>\\235\\235\\167\\&6\\168q\\253n\\205\\\\7u\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\FS\\EOT\\240\\f\\242\\EOT\\131f\\183\\184uF\\175=\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\249}\\206\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\251\\166\\176.\\197\\134\\193\\&7\\144P\\183p\\130\\255|\\DC4\\248\\197\\194\\\"(\\161\\162\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"o \\207\\246\\243\\171\\162_\\US[\\164\\183mX\\SO7E\\171\\179\\153b\\252\\254y\\160/\\v\\216\\195\\237\\210S\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\137\\164\\164\\203r\\216\\162\\&0\\171\\169g\\145\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\\\\\244\\247\\181\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\157N\\163!&\\v\\205\\206\\DEL\\178\\ETX\\193R\\149\\150\\&3`B\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\159\\EM\\195\\146P~\\v\\153C5K\\f\\161\\253;\\238\\208\\&2{\\224\\ETB6\\225\\248g}\\226h{\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vK\\141G\\198\\245\\GS\\217\\201\\255\\DLEG\\234\\GS\\b\\179\\178\\147\\138\\195VL:\\137_\\188\\134\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\208\\247\\173:\\134\\255N\\243\\176\\SUB\\169b\\188};\\231{Y\\140L\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"4=\\215\\239~\\190\\ETB\\DEL\\ACKd\\DC4a_\\246\\239\\182d4\\153\\168\\ESC\\224\\245A\\190%\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\187\\187\\\\\\v<J7\\216.5o\\199V\\170:\\200\\140cD<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1i@o\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\222\\a\\202*EM=\\182\\207\\173Jo;]\\249\\202OU\\234\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137gp\\154)\\183\\&1\\EOT\\ETB\\r4<\\183\\DC4\\128#\\169\\238\\178\\230\\205\\173\\\\d\\DC4d\\186-I\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"5\\229\\180\\245\\232\\140\\132}\\NAKdpC\\191\\fr\\206\\142\\DC2*\\215,D\\255o\\162\\EOTx\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\244R\\160\\&7<\\215:\\222\\NAK\\170\\135\\NUL\\155\\189\\202\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\138\\v3\\186\\237:\\163\\173/\\133\\184\\175\\135r\\SOH\\174)P\\137\\130\\252\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\&8\\214\\SO\\243\\187<\\231~C\\135\\\\\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\185\\STX\\n\\a\\239y\\181?\\239\\133.\\193\\236\\232\\222D0J\\139\\251\\178\\STX\\229\\252\\177z\\DC1\\164\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140DE_\\251-\\136\\187\\208\\&2\\212\\157\\183\\&1\\131\\188`\\241\\227\\175\\v\\189\\NAK\\131\\179\\SUB\\212\\145\\245b\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC4\\193\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\DC2\\254\\228H\\167U\\242\\234\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\179\\199p\\203`\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\178\\172;sT\\ENQ$\\237\\242\\198j\\250\\DLE\\129\\241\\134\\194x{\\213\\221W{W\\128$m\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223;\\231\\247\\b\\FSI\\233\\ETX&\\157JnOR\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\255\\132J\\DC2\\129\\174\\ACK=\\199e\\152\\161\\153A]\\r\\b\\132\\167\\176\\SYN\\204-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC24\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\SOHH\\159:\\236i\\144\\219\\135\\NAKG\\219\\244T\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\235j'\\135\\164\\159t\\138\\224\\\\\\138\\157\\217U\\168\\143\\243I\\196\\ACK!Fv\\227\\\"M\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\191r\\230\\187\\f\\160\\139\\150m\\NUL\\161S~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233t\\226\\168k\\211\\193G\\a2\\164\\176\\FS\\SYNOo\\SOH\\223\\230\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\225i0\\243\\133S\\204\\216y\\148\\157\\214z\\199\\CAN\\DELTM?*\\148\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213,\\155\\169`D\\137\\135\\165\\237\\128!/\\r\\163/#\\NUL\\186\\210+)\\NUL\\180\\209t\\172\\203\\205\\137\\253\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\202\\174\\213\\&8\\153\\148\\237D\\130k\\189\\251\\DC4|\\a\\131\\187\\148\\210\\221\\241\\208\\149\\&7\\234\\185\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"` \\132\\232^\\SOH\\244\\166Q\\234\\207]\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\NAK\\DLE\\208\\fw\\208\\189z\\198\\129@VC\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\ETXp\\253;\\221z\\229\\DC3\\134S\\r\\194l\\225\\240\\196\\&9pu\\133\\SYN\\165\\&5\\179\\237\\140\\136_&\\199\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\205\\250\\148lT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\SI;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\173\\233\\254Q\\ENQ\\156` \\193\\236\\142a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180c\\237\\250\\164dOy\\181\\210|\\228\\137\\141H/\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\b\\215\\NUL\\210\\&7-\\223\\t\\FS\\225\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223u\\140\\SO}\\252`0\\237\\209\\DC2\\226\\150D\\187Em2\\255\\156\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\128j\\235>C\\146\\145\\184\\SUB\\r)\\192\\216 \\SO\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231],\\239\\DC1\\184u\\FSo\\239u\\245\\238\\GS\\162\\NUL\\170\\160\\215n\\198R\\208\\128\\235\\191\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\239&\\NAK\\USo\\143\\240\\166\\197\\&1\\163\\219\\251b\\ACK)\\219\\149]i\\DEL\\SOH\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\159\\226\\NULfdZUim-pz\\241x\\RS\\254\\205\\ETX\\176r\\GS\\152\\146F)\\198\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\192\\186\\242\\223\\254j\\239\\NUL\\175\\SOH\\170\\224T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178L\\208\\165\\SOH\\162\\218\\229\\ESC\\SOHPp\\RS\\247\\DC4\\168\\169w\\210u\\b_B(\\223v\\240\\DC2\\177\\172\\157\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\252\\250ZK\\133S\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ao\\243\\218\\140!\\240'5a^\\164\\ACKtR\\144\\142\\&0\\144\\n\\152\\184\\218\\177\\225\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\154j|\\200\\161\\170\\135\\157Y\\161\\169\\182\\ETB\\158\\155*{C)\\253 3\\ENQ\\254\"","tag":"AbiBytesDynamic"},{"contents":"\";\\210\\129\\NAKgh0\\184\\208\\213\\137;\\176\\136\\164\\216\\240\\166m\\200\\148\\214\\231~#\\144\\192\\144U\\172\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"cI\\157Z]\\224\\154\\220\\220\\230-\\SOHD=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229s\\194\\&3\\188E\\ESC\\255hQ\\231E\\185\\STX\\232\\200\\199K\\132TSfn&\\212\\154\\228\\201\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\182h6\\211#\\SYN\\148W\\207f\\198\\ETXUt\\187\\204\\233\\245\\&2\\170\\174T\\129\\225\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\163ES\\142\\228L\\242\\233\\149YmJ!.\\147q\\252\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254N\\f,\\252\\224J\\166\\153h\\210\\159\\177c\\176\\203\\212\\214\\194\\EM\\200\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\DEL\\154\\205\\167\\206/&7NsZ\\146\\214\\USE|\\150\\150\\\\\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\182\\171[\\226\\142\\132ns\\201\\&8r\\229\\165!\\250\\252\\190\\&8\\ETB\\\"\\220\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\183\\199\\174\\ETX\\240o<<\\246xt\\220\\131@\\156 \\136X[\\228\\246\\ESCK~\\171'%f]\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\NAK\\214m\\242\\227\\165r\\147\\b\\222Ia\\199_\\196\\165\\CAN\\239\\230|\\EOTLlf\\183\\251\\DLE4\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\221lU\\225\\152\\240\\a5\\EOT\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS|\\191\\250\\131\\131{\\198\\252\\158\\185\\189\\150\\169\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\DC1 1\\SYN\\DC1q\\159\\171\\132\\223\\GS\\ETBS.\\129\\153|E\\150T1\\\\\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\210k\\248\\219r\\207\\165%\\r\\239\\f\\161^=\\229'YQ\\226\\128l\\DC2U,\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\NAK\\152\\220J:\\CANe\\133#\\164$\\230\\194\\148\\193\\SYN\\ETB\\USp\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSH\\218\\&5}\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191t%\\177\\243a_\\b\\f!VOW\\202o\\233b\\196\\143\\153\\252\\138&\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\251\\CAN6\\v\\226\\&1\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197$?\\vn\\163\\248\\160<\\149\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\167\\246\\ACK\\192\\162`\\133\\ACK\\154}{\\222\\NAK\\189\\184)\\149\\181s\\SOH[%\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\208\\194\\166\\175\\146\\216Uw\\166\\235\\156\\DEL@.\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\214\\&6\\159>e\\ETX\\183j\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\199J\\182\\152\\SO\\241\\242\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200]\\\\4\\162\\253\\177\\211\\240\\SYN\\235\\244\\208\\DC1\\DC1\\v\\232\\253\\DC1\\130\\&7\\RS\\247\"","tag":"AbiBytesDynamic"},{"contents":"\")\\SI\\246\\&3\\214\\181yj\\140A\\252s,\\206%\\253z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235@IS\\DEL{U\\249\\150\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Qr;\\185\\216/\\216e\\135\\ETB8\\155\\134\\149R\\DEL\\134\\STX\\181\\SOHA\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162L\\144\\194\\152\\216in\\151p\\137\\165\\185\\DLE\\136\\ESCGt\\217t\\225\\FS\\DEL\\GS\\223\\136\\FSpF\"","tag":"AbiBytesDynamic"},{"contents":"\">{d\\201\\144\\&2V\\149'\\129\\237\\DC2\\135\\218:\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\US\\197a\\214\\192\\NUL$\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\199'{9nFn0\\243\\163\\199\\173ntQ\\202\\167\\129a\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\249''#\\204\\253\\182\\a\\210\\236\\174\\201\\191\\162\\142W\\ETX\\SO\\157_]\\198Ug\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\205V\\234\\134\\137\\226]\\n\\211\\205\\168\\181}<\\132\\245\\250\\181\\138\\ENQ\\\"O\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\184.\\232\\185\\132\\180\\150\\SYN$\\187g\\211\\134\\253\\152\\167m\\RS \\USC\\170f\\157Z<rw\"","tag":"AbiBytesDynamic"},{"contents":"\"~%Kv\\135^Z\\RSC\\190\\RSv\\200:\\130\\&8\\189\\&3\\255!c<\\181\\&0q\\235T\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\189\\172\\225s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3U\\146\\176M\\232\\255\\&4i\\v\\151\\233\\155\\DC2W\\181\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\142\\225\\FSY\\152\\198\\203\\187\\SI\\250\\204(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\243\\US\\177\\243\\196\\EM&\\134\\136\\141\\\\\\214\\156\\226\\155\\255\\242J\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\142\\183A\\229\\146\\DLE\\234\\ETB\\248^\\239\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\t\\204\\DEL\\207s\\255\\t\\128\\DELpp\\179\\165\\t\\DC4w\\182\\175y\\198\\133\\180\\168m\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\185w9\\197\\221dH$\\227S\\136\\234\\&0\\183\\242*\\253\\185\\ACK\\164,1\\154}\\243N\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\191\\193g$\\192\\141\\211~\\172\\245,8\\170\\SI\\229\\134\\FS\\220\\208w\\217h\\241\\235\\141\\DC4\\204h\"","tag":"AbiBytesDynamic"},{"contents":"\"WgR\\RS\\189*Q\\144\\&0R2\\247\\178m\\b\\RS\\236\\STX\\142?\\143\\145\\226\\194\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248v\\201\\165\\151\\163\\128r[\\as\\b9)o%\\249\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\164r\\145\\165\\239\\140+Z\\141Cn\\179\\245z\\245\\139M%\\198\\158\\132\\US!h\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200?\\161\\164\\EOT\\170\\219\\245\\233J\\202\\158\\129\\&1\\224?\\211\\NUL\\184\\STX\\131\\242o\\216\\241\\222k\\162\\SUB\\226sV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\215\\STX\\162\\&9\\200\\149\\ne\\242\\144\\161\\&6F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215&q\\145\\190^3H\\187\\238\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235x\\176\\175_'\\213\\197\\154\\189\\215\\NAK\\154\\&9W\\242&\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\185\\210\\&1\\SYNBc\\NUL$\\SOH\\248\\215;\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\GS~\\227E+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNU\\198q\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\tZ5\\238\\213f\\GS\\a\\157y\\166\\SOH\\231|i\\158\\156l@\\177\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\DC4\\231\\195\\172\\&6\\198\\130\\194\\250=g\\245\\rg\\DC2\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\ESC\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"Vc\\234=z\\253R\\134\\145\\154\\225\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\ETX\\222\\192?\\230\\146M\\FS\\201\\241\\166\\226\\SOH\\181D\\197\\145H<xE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\172\\&9\\134d\\146c\\142\\&9P\\198\\\\\\\\\\ETX\\229L\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\128U_L\\233s\\ESC$\\227:\\220\\174DU\\152\\153\\134\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\EM\\142\\ENQ,s\\233\\239^f\\214\\224\\239\\170\\152?\\USY\\229\\220Z\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137 \"","tag":"AbiBytesDynamic"},{"contents":"\"`1[]^\\182\\137\\183\\196\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"zDq\\DC1\\225\\251\\135\\ESC\\SI\\211o:MU\\231?\\164#\\220v$=\\213\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"uio\\160\\135\\223\\SO\\141J\\150\\SUB\\ETX\\172\\bn\\210O\\v\\250\\248>\\DC28\\EM?\\183Jr\\235\\&3\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SI\\248t\\197\\205\\238\\254\\236\\151\\229\\203c\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"Iq f\\185\\220\\224J\\148\\229R\\227\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\169Q\\228\\215\\211+n\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\202\\139B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\bNq\\164X\\188\\167\\156\\EOTB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173b\\218x\\197AS\\204\\208\\RS\\180\\217 \"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\247\\174\\210\\DC3\\206?\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\187n\\ETB\\157\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\":\\246\\255\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\":T\\224W\\242\\157\\140\\STX/\\136\\235\\200\\&0\\158\\134\\134\\DC4@t\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"n;\\158'X+W\\159\\237\\234\\SYN\\202\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"83\\245\\248\\SYN\\220o~\\228%\\DC4\\176>\\178R\\132U{\\ENQ<\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203e\\248\\SOH\\255H\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134x\\152\\155I\\185\\161\\US\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\168\\CAN|\\149FM\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241CT\\220\\166\\128\\&3\\138\\SOH\\186\\201\\RS,\\133\\167\\234\\153\\200\\181\\154f\\208'\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\178\\224r\\138\\157\\199Ax\\220\\227\\222\\131\\160\\142PI\\176=\\222\\173\\SOHY\\229y6\\234\\\\q\\174h=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\171o\\149\\163\\187|\\222\\166\\231c\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\141!u*\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\163e%\\ETXm\\r\\170\\215\\NUL\\240p\\181\\235\\229\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\&87,\\240\\210\\140\\189\\220\\156e<8\\198\\b\\209m\\224\\169#\\151?y\\247\\227\\249\\206\\239\\170~\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\188:\\182\\US:\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187Z\\DLE\\212\\245\\SYN\\176\\148\\ACK\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"^x;\\134\\252\\141\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\155$\\235o\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\134\\160\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\":\\219\\SYN\\185j\\215\\151\\EOT\\151\\STX[\\209\\193\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\SO\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\&2\\191\\&0\\191c%u\\214\\241\\231\\213\\139\\ESC4\\172!^j\\DC4KJpG.\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\ENQ\\NUL\\168\\147$\\190\\ETB\\158\\STX\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170){\\134\\ACK\\251\\227\\r^#\\206Y$\\184lA\\171\\233U\\133*Bb\\SYNp\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\164\\v5.D\\DC1\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\SOH\\255\\144\\160P\\STX{*\\175\\156\\218o\\136\\226\\141\\216!\\135 \\187\\190@\\249\\GS{$[\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\160\\154\\179\\190x\\233,\\195\\254oD\\171Y\\173\\vA\\175\\194\\144u\\STX\\223\\134u&\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168]\\196\\&7\\207\\224\\155\\199\\185\\242\\247\\191\\175\\213\\216\\238x>\\r\\vA\\200\\ETB\\DLE\\159b\\SOH\\243\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\NUL\\230WG\\NULg\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\196\\141\\RS\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\".C\\EMf%r\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\173%3\\252\\184\\206ppH\\200E\\154\\176{\\219)\\209T\\174\\DC1\\173\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\247q\\204is,p\\164\\221\\tw\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\SO\\241\\DLE\\224W\\SOH\\rD0b*\\160\\145\\251\\160{\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\US\\128\\214\\152\\244\\&3\\220\\249\\SI*\\132d\\161\\SOF\\214\\245,#\\ENQF\\196\\185\\ETX\\183\\144\\&2f\\166\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\153P\\210\\ENQ<\\182K\\166\\200;\\SUB^\\157\\227m\\v\\170\\224q\\186\\187MG\\253~\\166\\STXu9/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\150\\214\\SI\\172\\236\\184>\\194\\139\\152j\\169\\CAN/\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\235\\171\\243\\129\\220b\\168NR\\\"\\184\\172\\EOT\\254x8\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\178+\\128\\154C\\210\\141\\180\\212\\USB\\DEL|\\212E\\\\\\149{\\206\\226\\159\\&0\\SI\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\150\\165\\DC2\\GS\\198\\DLEp5\\171\\233M\\aC\\231o\\130$G/\\164\\135\\&1\\248\\192\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254Gfo\\223\\FSK\\139\\201\\224\\240s\\FSY\\235\\167\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219DI\\136\\175\\GS\\220\\232\\247\\&3Wn\\199TX\\157\\207v\\169\\DC4\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"(Bp\\228\\217\\EMn\\212\\DLE\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153Y\\205\\216\\147\\253\\&9\\234\\203\\240\\221\\198{\\NUL\\205G'\\197\\132\\185\\216\\167',\\SI\\145;\\209b\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\173\\197Y\\147@f\\232\\148\\216\\227\\207\\193cT\\170\\184=_\\146\\254\\&6\\FS\\232B~,\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\EOT\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"0F@\\DEL\\254\\190\\244\\133\\197d\\\"\\ACK\\242\\231j\\SYNOq\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238s^\\217.\\192j\\158*\\143\\ETX\\205\\183\\246%\\SUB\\144M\\149\\NUL~\\250B\\FSh@K\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\251\\227\\254\\164\\253&\\223\\191\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\?\\149\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\DEL<\\254\\235ly$\\165\\162\\137_?\\NAK\\133B\\137\\233\\241\\241:\\254!\\203\\242N\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\163t9F\\197\\&7\\253G\\190\\SYNyE\\218\\186'\\243(\\181\\129\\182\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\STX\\204\\246\\186\\243\\v\\US\\142\\219\\146\\214Y\\SO\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\238L\\CANK\\EOT\\155\\132F\\211Q\\169\\135\\133\\246F\\136\\SO?\\153\\186\\ETX7\\ENQ\\148a\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\212\\185\\NAKc\\f\\222V}\\208\\156\\t\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\187\\219\\196\\&9\\183\\140\\230\\174\\GSJ\\165\\158\\ETB\\209\\137:|\\252\\t\\251A3\\244\\141\\145H\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\198\\236N\\DEL4\\153x\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\215\\158\\194\\210\\ETB_\\SYNy\\NAK\\181F\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\130S\\232oy\\223\\201\\138$*L\\152\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207W\\131\\220\\191\\SYN7\\DEL\\154U\\213\\f\\v\\184.\"","tag":"AbiBytesDynamic"},{"contents":"\"p\"","tag":"AbiBytesDynamic"},{"contents":"\"_J\\250GB\\163\\CAN\\131Il7]\\208 1\\240\\221V`.\\243\\195\\ACK\\179\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\139-}\\133x\\128\\255\\158\\210\\145~\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\254\\251G\\138rh\\203\\NAKY\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"+imuddh\\STX\\132\\147/\\203\\SO\\184\\133\\242X\\245\\239\\169\\ESCe!%\\196\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\v8\\135!\\250\\184$\\226\\233\\f~v\\189\\242\\209\\194\\147\\134\\225\\239\\215\\&2\\ESC\\160\\229\\129i'\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\153#W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226U\\172\\168\\a\\171-\\170\\187\\223\\228Cx\\r\\v\\241\\NAK\\229\\SO\\225\\167\\150 =-\\208\\158\\223M\\148\\179j\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\129\\199\\163\\189=\\ETX\\168 \\191\\177\\176\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\142\\&7\\194r\\180d\\230\\&9\\160\\253\\229k\\166\\&2\\211\\129}\\180\\149\\228N\\EOT#R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\238\\&8\\224\\227\\223\\183y\\239(\\203\\238\\228\\144ZF\\US\\142\\149Z\\182\\176\\f\\226\\159\\253\\177y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\251\\222h\\248\\168/\\233\\150\\196\\nH|]\\191:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213j\\179\\196uq\\229\\177\\SO.\\fx\\CANZ\\197\\243\\148\\172\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\141\\227j\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\SYN{4\\226\\175n\\DEL4\\SO\\240\\154\\191\\184\\232'\\138\\135\\ESCx\"","tag":"AbiBytesDynamic"},{"contents":"\"Pe\\175\\r\\171V\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173{\\239\\&1\\148\\RS\\190\\241T\\148\\170\\163-A/\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\201\\250\\169@\\252\\173\\STX\\186f\\230\\ETB \"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\255k\\138#\\225\\248\\n9\\141A\\199\\US\\\"\\223g?a\\155\\176\\131\\149\\237T\\158\\210\\\"@\\RS_O\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\184\\DC4\\227fz8\\SO\\SO\\196V\\231\\151\\234|\\139\\DLE\\191\\166\\209\\183\\ESC\\209\\190\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"7R\\133\\229\\172\\228\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"NFk\\191\\223\\169\\132/\\ab\\171\\181\\DELt\\182&\\242i\\229\\215Q\\v\\183!\\218\\aW\\206b\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\163i\\193\\200\\210\\213\\144\\204\\164D\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\210\\239\\208\\FS\\161\\194\\bV\\145\\&7|\\242\\171;e\\ETX\\176j\\210\\RS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"?3\\178\\ETX\\160\\251\\208\\&6\\186I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\202R\\227\\188\\205\\CAN\\194r\\177\\&2\\241\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"N=z\\136\\b\\196\\237\\ACK\\249r\\138\\175i\\186\\&0M:\\185\\a\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"d;\\228\\207~\\138\\185\\204\\135\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBB\\bc\\238\\243\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239/\\129\\197\\233\\184\\138\\133BM$\\140\\253\\FS\\ETBLa\\249\\181L\\192\\EOT\\205\\200\\US\\a\\238\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\209\\217\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\137\\187y\\144Ib3-p[4=\\176\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\DEL\\239\\229\\141\\233m\\210\\234\\194\\242\\rD\\251 \\NUL2\\180/\\246\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\:\\177\\183\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SIN\\254JbZ2\\208\\192S\\GS\\216\\181%\\175\\174`\\ETX\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\219\\193\\240\\143F8\\145\\216\\165\\SI`S-\\134\\152\\192w\\SO\\226n <\\145g\\230\\\\,b\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\208ly\\215\\181\\158\\175\\164b\\219\\&9\\168\\226\\233\\181lt\\136\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\204\\247\\172w\\nA\\236\\197\\158IH\\GS8\\157n\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STXQ\\190\\250\\&9f\\191\\\\\\220_\\248Y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\217\\NAKPe?r\\ETB>>\\179\\160#\\GSr\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\240l|\\133\\NUL\\ENQ\\223\\\\-0*\\167'\\196\\227Y\\143C\\NAK\\185kV\\148S\\141\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\213\\149\\162Y\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTE\\162V\\243\\158\\137\\230A/\\249x\\EM\\176\\NAK\\193t\\168\\241\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223-\\n8e\\186+\\227K\\250\\206\\182~\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\214\\158D\\143\\229\\169\\164\\SI\\169\\ENQ\\185\\\"3\\171\\RS\\254\\230Q\\235cS\\DELP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\213\\209Q\\148\\144\\187\\b\\166\\n\\174\\147\\144X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\196\\191\\241\\139\\&0D\\ETB6\\228`\\SOHk\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\DEL\\NAKs\\SIN\\230\\131\\145FX\\166\\135\\164\\214\\241d\\133\\SYNM\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\209@\\146I\\SUB\\168\\247\\228#\\134j\\161r2\\145\\148\\b\\DEL\\222n\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\232\\206.\\163\\192\\246\\RSJ}e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\139\\182^n\\182\\149=\\209\\203\\184;\\179\\178\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\130&\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171b\\145v\\DEL4^54\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\220\\EM\\SUB\\180\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\246\\227\\167!\\159Z^K\\\\&\\157k!uF`\\NAK~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\217\\151\\145\\199\\145\\FS\\DLE\\204T\\133\\&6\\201\\227\\186N!\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\243K\\244\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179+\\143\\DC3l\\133R\\142\\156%R\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"+\\SYN\\172\\183\\140\\210\\213A\\EOT\\148\\197\\238%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\162I\\132\\147\\248\\137\\142\\f\\209\\235,_H3\\175\\220R\\201\\NUL\\DEL&d\\197\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\197\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\144a\\176X+\\219rh\\211\\137\\&5X\\209\\EM* \\221b\\155Xk?\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\\" g\\223u\\151Lm\\246o4C\\249\\220pD\\168n\\252\\209\\166\\&0<\\255\\168~\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\213\\253\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\182\\146\\152\\235\\159O\\EMA\\238\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\209\\RS\\156fV\\137\\131\\189\\179h\\208\\217\\185\\170;\\202\\SUB\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228nS'\\SO\\166\\157`\\183\\216\\148w\\189j(\\175\\249\\r$\\134X\\192\\RS/\\148)\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\219\\ACK\\230^m\\184\\140\\ETB\\DC1\\SYN\\165N\\140j\\213\\229V\\197\\217St\\218'\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\215V\\206\\192\\&3\\192\\224*n4 \\141\\254D\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\237\\DC1\\151\\131 \\149>\\134-\\237\\151\\151\\US[8\\226\\160\\231>Plr\\STX\\219D6r\\249\\SO\\&H\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"aS\\179R\\231\\190\\a\\SO-)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141a\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160t\\NAK\\134\\131\\197X\\188\\178,\\250\\179F\\\".V\\138\\147\\222\\&1\\155;\\164\\197\\162\\183$\\247\\&7~\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\225\\129\\206R\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\EM\\SO\\233\\204\\234j$Tm6\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178[0q2\\149-x\\188\\235\\220l\\165\\DC1\\206\\208\\241R\\207?E\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX3\\254\\\"\\CAN5c\\236\\220\\160Z\\172a\\\\9\\203\\190p]\\a<\\fKj+L\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\215]\\143\\243,Zp\\158=4L;\\RS\\236Pc\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155&\\156\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"O|\\NULX0\\254\\201\\NULqMwC\\240V\\247,\\197\\182\\222\\174\\206SC\\140\\EM\\217xB\\DC4Ux\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"b>\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\174\\&8\\ACK\\241z\\215\\204\\172\\147%\\228\\140\\227\\SYN\\SYN2\\136,f\\190\\247;\\162\\188\\US\\234\\131\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"39080890583241780516417808451111649102700976919780796716199066044146814185287"],"tag":"AbiUInt"},{"contents":[256,"29661442506316706554398945690996343246492980059378447952108817132138202298896"],"tag":"AbiUInt"},{"contents":[256,"74784796829389701471281734547583583815374908239122554013685376435951810293101"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428158"],"tag":"AbiUInt"},{"contents":[256,"50978053904251432059685518318508970819062717577229674278679957463421967121851"],"tag":"AbiUInt"},{"contents":[256,"85480285361114675285346222196823075170573875643322482913993416602136518247138"],"tag":"AbiUInt"},{"contents":[256,"1313373042"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"102126113327770285360146535774272818215967513419767400507171701928438361117319"],"tag":"AbiUInt"},{"contents":[256,"96124995944812549023978880944752542643417959690410173082074465157632424102212"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132608"],"tag":"AbiUInt"},{"contents":[256,"28310853116200423451610384786952899143656902681558846211806878814865879548691"],"tag":"AbiUInt"},{"contents":[256,"60135383738434270272765090895111207615630846158171962823974179686809589438987"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"110334955151812176817254737735289655791814463341600925232668660004069244746155"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639868"],"tag":"AbiUInt"},{"contents":[256,"99411970754394528686530800868796333692974738782154590190236272570967748664287"],"tag":"AbiUInt"},{"contents":[256,"60065330916936277259626309830705678868405143868498889495622165348851579529559"],"tag":"AbiUInt"},{"contents":[256,"50902509005069029715212939827042564742508716288804802297219670931753224029681"],"tag":"AbiUInt"},{"contents":[256,"604803"],"tag":"AbiUInt"},{"contents":[256,"56523595329389424046623894946237083247552981333605085605204644632378517928297"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577598"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639840"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637936"],"tag":"AbiUInt"},{"contents":[256,"107458373755823848653191561175439768749050105279794114425385099853402999972151"],"tag":"AbiUInt"},{"contents":[256,"26006305112355483086474654962537279565251781261120825342561097344860336141575"],"tag":"AbiUInt"},{"contents":[256,"180"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"11705102290336689934835864356664915090149620297128272719130182939149572814607"],"tag":"AbiUInt"},{"contents":[256,"23571925021266664859134982839418962828954013243921730245296145622114670725499"],"tag":"AbiUInt"},{"contents":[256,"2000002"],"tag":"AbiUInt"},{"contents":[256,"20403545666542229752711103711755738534588969067787610067851039188654173579579"],"tag":"AbiUInt"},{"contents":[256,"303"],"tag":"AbiUInt"},{"contents":[256,"1532531558"],"tag":"AbiUInt"},{"contents":[256,"112887004898884677664878445530076391195657998183687674726444812794642969647072"],"tag":"AbiUInt"},{"contents":[256,"105864367947916999240944065484459865172855087568561003268825916248815645155170"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"15188785061265495670325529811883961551426093660807292968661531262150443881717"],"tag":"AbiUInt"},{"contents":[256,"36900913324858940528397568892146454048862824355112452892160172637348479513276"],"tag":"AbiUInt"},{"contents":[256,"11094216562608021742152766580957888997111278999704609995611563270488863044365"],"tag":"AbiUInt"},{"contents":[256,"50030895671115397292526578291740075322695359875010582809778374714341352919734"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132607"],"tag":"AbiUInt"},{"contents":[256,"28257481304792139314844740870117460883637874085355305062580312806420504157579"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"24931383887272461168430272004834365835638725007208142936142536244315640021475"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"108302346010451550664706128441608154564470221950594485561804631979833807260481"],"tag":"AbiUInt"},{"contents":[256,"387"],"tag":"AbiUInt"},{"contents":[256,"47125731554573930744013015211045883555116257246224443309050259846660773585999"],"tag":"AbiUInt"},{"contents":[256,"47125731554573930744013015211045883555116257246224443309050259846660773585999"],"tag":"AbiUInt"},{"contents":[256,"47125731554573930744013015211045883555116257246224443309050259846660773585999"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630937"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"60877660338852454536849063290045183652708724946477342262236229817509774021692"],"tag":"AbiUInt"},{"contents":[256,"9998"],"tag":"AbiUInt"},{"contents":[256,"8"],"tag":"AbiUInt"},{"contents":[256,"69424353850330857369453420280342610849124056276099061100810480179407753128121"],"tag":"AbiUInt"},{"contents":[256,"112149183461300167109154066336342629558721851417228339243880516298689720274096"],"tag":"AbiUInt"},{"contents":[256,"30947572293840551178095342949656268827143694397140900245461062058450542696811"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639639"],"tag":"AbiUInt"},{"contents":[256,"63426324787769892190842747319857826439938223912599493227255265619485516339143"],"tag":"AbiUInt"},{"contents":[256,"48884056604783585289942183188519102412529313251675905618380250135978444833932"],"tag":"AbiUInt"},{"contents":[256,"8361889419508809546599806113147224441122174649925286060680072753730344046148"],"tag":"AbiUInt"},{"contents":[256,"118"],"tag":"AbiUInt"},{"contents":[256,"71977481512795565468601860961257999657850067089388901693525851460893560159638"],"tag":"AbiUInt"},{"contents":[256,"3212703925124626375487814846546822716115619088213"],"tag":"AbiUInt"},{"contents":[256,"34498527803995638319320416527145981699457542024314815668235286029297805382496"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"29080061812602755232415857680580068785248717015336670639215898269208900832168"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630933"],"tag":"AbiUInt"},{"contents":[256,"15399621569358970815097559116236403082023325468386330048529428047992223337382"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"112020144416631416664221575786168971939993168588764132899111578053125043674691"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639038"],"tag":"AbiUInt"},{"contents":[256,"78625556254116384687780760006760180286234249354236227349182244890351113051959"],"tag":"AbiUInt"},{"contents":[256,"33204327255323976156445293524130029674459676041183053417145043408907719111995"],"tag":"AbiUInt"},{"contents":[256,"100000003"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639439"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"344"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"65707444303552481167311756080278096660820178308741889319502927211739579431852"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"3522252990749329708082408932989573926283963953588804061774254897317454173543"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd9","0x000000000000000000000000000000000000000000000000000000000000dcbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"11873896532940621730727942200559367323944520608295921679651972986185557548703"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062337"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4b","0x000000000000000000000000000000000000000000000000000000000000ca0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000090fae","0x0000000000000000000000000000000000000000000000000000000000005daa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f3b","0x0000000000000000000000000000000000000000000000000000000000007e4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"53082537840592974590977604807984706340408053637412400093096407326044839298420"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639923"],"tag":"AbiUInt"},{"contents":[256,"30781315503366153979463687402522771377436411235691249655405793690662975498583"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639033"],"tag":"AbiUInt"},{"contents":[256,"34470136945509197845586680718540933495526934471960132257863024665521179062280"],"tag":"AbiUInt"},{"contents":[256,"110132598091065152514789656432574373975582591062907442529603662448958306756484"],"tag":"AbiUInt"},{"contents":[256,"59059407738270063970800355227233282291657641034054432970115462279119033249941"],"tag":"AbiUInt"},{"contents":[256,"30514170655469008737892709518430157894511361718673239377393092093685056278803"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507331"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"86397"],"tag":"AbiUInt"},{"contents":[256,"983"],"tag":"AbiUInt"},{"contents":[256,"100000000"],"tag":"AbiUInt"},{"contents":[256,"368753480475196121289551737242605223638216910383950149589915326596228472199"],"tag":"AbiUInt"},{"contents":[256,"33580019806894818364467490643613725331564936778381283173780537143652559944102"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639818"],"tag":"AbiUInt"},{"contents":[256,"334016570606736987949630237689641724118617102353569377212973368698272998907"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639910"],"tag":"AbiUInt"},{"contents":[256,"108552278428770000922331681670511093431509705301028244853328630229813395187470"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"83498964258598261158860104823991314445059501012489774521702840764176377925292"],"tag":"AbiUInt"},{"contents":[256,"4370001"],"tag":"AbiUInt"},{"contents":[256,"62345908368566518030539796566193700339292930662230085173475953017838532951007"],"tag":"AbiUInt"},{"contents":[256,"62345908368566518030539796566193700339292930662230085173475953017838532951007"],"tag":"AbiUInt"},{"contents":[256,"62345908368566518030539796566193700339292930662230085173475953017838532951007"],"tag":"AbiUInt"},{"contents":[256,"62345908368566518030539796566193700339292930662230085173475953017838532951007"],"tag":"AbiUInt"},{"contents":[256,"62345908368566518030539796566193700339292930662230085173475953017838532951007"],"tag":"AbiUInt"},{"contents":[256,"62345908368566518030539796566193700339292930662230085173475953017838532951007"],"tag":"AbiUInt"},{"contents":[256,"62345908368566518030539796566193700339292930662230085173475953017838532951007"],"tag":"AbiUInt"},{"contents":[256,"62345908368566518030539796566193700339292930662230085173475953017838532951007"],"tag":"AbiUInt"},{"contents":[256,"62345908368566518030539796566193700339292930662230085173475953017838532951007"],"tag":"AbiUInt"},{"contents":[256,"62345908368566518030539796566193700339292930662230085173475953017838532951007"],"tag":"AbiUInt"},{"contents":[256,"62345908368566518030539796566193700339292930662230085173475953017838532951007"],"tag":"AbiUInt"},{"contents":[256,"62345908368566518030539796566193700339292930662230085173475953017838532951007"],"tag":"AbiUInt"},{"contents":[256,"62345908368566518030539796566193700339292930662230085173475953017838532951007"],"tag":"AbiUInt"},{"contents":[256,"62345908368566518030539796566193700339292930662230085173475953017838532951007"],"tag":"AbiUInt"},{"contents":[256,"62345908368566518030539796566193700339292930662230085173475953017838532951007"],"tag":"AbiUInt"},{"contents":[256,"86397"],"tag":"AbiUInt"},{"contents":[256,"970"],"tag":"AbiUInt"},{"contents":[256,"1532531558"],"tag":"AbiUInt"},{"contents":[256,"32449893184549702360101197415002894746523816268977307171831633348887268083340"],"tag":"AbiUInt"},{"contents":[256,"275066903801744294419133056935514254389"],"tag":"AbiUInt"},{"contents":[256,"317"],"tag":"AbiUInt"},{"contents":[256,"869"],"tag":"AbiUInt"},{"contents":[256,"804"],"tag":"AbiUInt"},{"contents":[256,"64340948500389030359134878463568370736888615824817571824992651087804094173967"],"tag":"AbiUInt"},{"contents":[256,"82453225594211342679133607029289977775233461335504857029519666479311328127112"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908083"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551614"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553539"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"89936308044422628386263070987427943779555226838089913694127232404624907659935"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe4","0x0000000000000000000000000000000000000000000000000000000000004f13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000003"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c438","0x0000000000000000000000000000000000000000000000000000000000003032"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bd20","0x00000000000000000000000000000000000000000000000000000000000000ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"72969183753284552795970402533532402815367100868536541281041561928965496398043"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81e","0x000000000000000000000000000000000000000000000000000000000000cfae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"73737574536230511302290301613003119130205396116274143165932528185563153320087"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e377","0x0000000000000000000000000000000000000000000000000000000000000d60"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003ff9d","0x0000000000000000000000000000000000000000000000000000000000004b9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"28667253899497759254532682123059447221199289229120243719159281501746997397037"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c5dc","0x00000000000000000000000000000000000000000000000000000000000086f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171y\\164\\DC3\\248\\189\\153\\SOu\\249\\129\\190m*\\215\\248Rs\\227q`\"","tag":"AbiBytesDynamic"},{"contents":"\"F~\\SUB\\232$\\200\\200\\ETX\\f?\\166\\162\\190\\ETX\\ESC\\206\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\205\\184\\249\\183?]\\152\\151KD\\CAN\\209\\176\\FS\\\"\\SYN\\FS\\140\\240\\252\\253\\&6\\210\\178\\SYN\\\"6+\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\220-\\ENQ\\DC2\\208\\209\\DC3\\176\\175\\202JY\\142T\\196R\\DELQ\\152\\157D\\216\\153kM\"","tag":"AbiBytesDynamic"},{"contents":"\"Y;[3m\\255y@\\208\\DC2\\224H[\\238\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\248\\153U\\128\\183\\SYN3\\191\\161`\\132\\232\\156\\DEL\\148\\241\\148,\\196\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\142\\173\\204?c\\238\\202z\\243\\135\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\DC2\\164I%\\235\\198\\211Y\\170\\156\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\230m\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\177\\DC3\\218\\217\\188\\191\\155a\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\133\\226\\196\\220:\\242\\144\\237Z\\fnN}\\234W\\EM\\\"\\208L<&\\174\\NUL\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140vL\\236\\170\\142\\199H\\138\\166N\\154YN\\137\\233F\\220\\187a\\157!~\\ESC\\195\\246\\196\\ETBc'F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\STX\\206I/a\\255HKG\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146c2K2\\r4s\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\139\\146\\135j\\199n\\179U\\\"\\195\\217\\193\\169\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\EM\\131XWS\\163\\146H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\173-(a\\130I\\182u\\207&\\DLE4\\DC3\\ETB\\246\\133\\187\\FS\\155\\192\\142\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Nu\\157\\DEL#\\US\\152\\189\\199\\174'\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\245\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\248\\245\\232\\184>\\178\\246\\238\\236\\157RB\\226kLe6\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\161\\\\@C\\194\\242\\155\\245\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\248\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RSP\\135\\175\\241\\169\\198L\\249i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196#\\220\\213\\158o\\192|\\212E\\131\\&5DH\\v\\148i\\211\\ETB\\ETX[\\222\\SOHUPm\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\179\\167\\131\\167cC^\\195cG\\ETX\\ACK\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\f\\137zp\\242\\202\\229\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\tt\\180u\\142\\149\\173P\\253?\\SYNF\\214\\156:\"","tag":"AbiBytesDynamic"},{"contents":"\"X(\\170'\\DC1\\250M\\GSq\\219\\197Pu\\r/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\253\\ETB\\254\\238{\\GS9\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b[\\202\\SYN\\241\\159\\240\\201_BO\\fWE\\nb\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\219\\211\\227\\164\\202\\177@{\\161p%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253;\\176\\138\\217\\SOzW8\\246?\\148\\199\\ETX\\GS\\255\\173\\136\\243/\\169\\230i\\216\\133\\201r\\224Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\151\\151b,\\165\\224\\209+F\\156\\ACKz\\203\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196_~\\169\\228a\\ACK\\152]J$a\\193(\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS7\\\"X\\140\\249\\205\\237\\225\\ACK\\tc\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\148\\226AK\\230\\DEL\\\\9\\237\\151f\\197>\\186l\\252{n\\131[\\SOH\\ETX2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\193y\\151\\212#3\\255{~TnZp\\EOTp\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\168S3\\nm\\SUB$]\\218Y\\237=\\156a\\DLE\\242Sg\\173J\\229{\\217\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\&7\\193uQw\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\132\\SOHc\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235/a.0\\192(\\254\\215\\&7\\191x\\155%\\221\\188z\\NUL\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\".\\222d\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\214\\184\\183\\238\\b\\168{\\221\\224\\251x\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\STX#3\\US\\SUBY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\172\\197\\202\\157\\176<\\227\\231\\231\\243\\172\\ESC\\128\\a\\182\\231\\130A\\255-F\\f $7\\DC3%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164L~4\\236\\RS\\190\\135W\\174\\134\\236\\176\\185\\190\\SYNX\\163:\\132\\172}.l\\237\\213\\158\\222\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130sja-\\212\\GSF\\183w\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207;>\\209i\\235\\243\\196\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"'*D\\134\\ENQ\\222\\238\\152\\209\\SYN#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"{T\\v\\202,RB\\163\\243\\161\\CAN\\167\\255\\&2\\202\\ACK/:N\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\DEL\\190\\232\\161\\218\\176\\244\\231\\234\\145_m\\230L\\221s\\131\\US\\237\\&8\\a\\165?f\\SOH\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\217\\230\\210\\FS\\\\\\194\\231\\176:in\\212\\133VF\\231\\183\\201}\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\DC2w\\223\\RS:\\247\\136q\\EOT=V\\165\\220H\\182\\215\\242\\137\\246\\255\\131\\186\\&3\\146y6\\179n\\CAN\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158e\\USc\\136\\232\\SO\\253\\141\\196k\\146\\182\\153#\\253\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\a'{\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\129x\\139\\149`T\\192\\205\\&1\\235\\&4 vj\\130\\243\\214\\175Ej/D\\198\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204Z(\\165k\\245{Ml\\133\\250MR\\141\\253:I\\224\\234\\\"#\\240\\128(A%z\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\211j\\213S\\156\\249:\\253.\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOC\\161\\r\\198KL\\241\\a\\192\\209\\DELZ;`\\NAK\\128\\226^b\\ENQT\\181\\197^Y\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\156}f\\241\\t{\\r\\NAK\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\180\\186\\170\\138\\DC2\\221n\\178\\246\\157a\\246T#\\198\\ACK\\145\\179+\\166\\143]{\\198\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\142\\165Jt\\234SYP<c\\152\\229\\187 \\237\\ACK\\156\\133\\221*|\\195\\234\\146\\189\\167\\239\\148\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1000000000000000002"],"tag":"AbiUInt"},{"contents":[256,"17044053068443747493451328115815867234505387364655355566077169720691425041749"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639037"],"tag":"AbiUInt"},{"contents":[256,"113076544995814744884950710440783597006194315752721995299037572077416798738558"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035137"],"tag":"AbiUInt"},{"contents":[256,"51058527402432885223047325094931305861895923712619205449652719399374553654215"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000003"],"tag":"AbiUInt"},{"contents":[256,"30534831589927455724727749014677743896906243155782392914844695361428933955927"],"tag":"AbiUInt"},{"contents":[256,"323"],"tag":"AbiUInt"},{"contents":[256,"131278844645032947290777899011934357719054048368479367917516035280425978468"],"tag":"AbiUInt"},{"contents":[256,"229"],"tag":"AbiUInt"},{"contents":[256,"876"],"tag":"AbiUInt"},{"contents":[256,"998"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035134"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417344"],"tag":"AbiUInt"},{"contents":[256,"110794357254359939243130563424327787877194303379029253555033667038860024144650"],"tag":"AbiUInt"},{"contents":[256,"72422608631978514951359095694748289121026421948194308169266686850681207265751"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"96360295279567540440858955652196536732841714523269803407158869144965101015591"],"tag":"AbiUInt"},{"contents":[256,"28896517646317413060373238418219482319677579188266712725298420470401877928417"],"tag":"AbiUInt"},{"contents":[256,"44946783240600489729621766119418915995346441890609065631786521055216692464714"],"tag":"AbiUInt"},{"contents":[256,"115764835535114889490135413125119150244853022652110605340175194530142723781273"],"tag":"AbiUInt"},{"contents":[256,"1384431234099477447796225541194115801311746923931040071425115568"],"tag":"AbiUInt"},{"contents":[256,"13682214886863876263526594791027625723369818318012542807829619770407372263143"],"tag":"AbiUInt"},{"contents":[256,"114613894014422441705586385604997562478476650629539538640875427346190744956186"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639939"],"tag":"AbiUInt"},{"contents":[256,"21666101246508230191738517188335317981895084093850477511398544878279291563935"],"tag":"AbiUInt"},{"contents":[256,"6600249409466308730244496293798761260823123605151368642560079695313616284080"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639916"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"23921015699359917887914996789263393442627147910316124478959464313177439299407"],"tag":"AbiUInt"},{"contents":[256,"98699996869487812261179329564566879987447880137225431468455642074762425054086"],"tag":"AbiUInt"},{"contents":[256,"793"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637938"],"tag":"AbiUInt"},{"contents":[256,"1000"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639829"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011519"],"tag":"AbiUInt"},{"contents":[256,"13990505281383375843714873196946826352504478393173948855392855761532211281325"],"tag":"AbiUInt"},{"contents":[256,"29949094299598854718598492952089388340558313040434765354228489905568978575876"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639863"],"tag":"AbiUInt"},{"contents":[256,"96424552556606604785783904983730186808574105138492707092820044934749074298331"],"tag":"AbiUInt"},{"contents":[256,"14"],"tag":"AbiUInt"},{"contents":[256,"69623741332593958806042256799629991793548684638158457641657015109185292574533"],"tag":"AbiUInt"},{"contents":[256,"118"],"tag":"AbiUInt"},{"contents":[256,"122"],"tag":"AbiUInt"},{"contents":[256,"64574774595193609779935445907606183856557753987235447140796711222916320253864"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266894"],"tag":"AbiUInt"},{"contents":[256,"26"],"tag":"AbiUInt"},{"contents":[256,"45981319862185491928863047444772555202055939056078225029945076999953607545903"],"tag":"AbiUInt"},{"contents":[256,"742059735024913197961047341768368048905344079802541344564490373462266514417"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"79077933321931151269828017439642270968539504249196758678197551166607636438894"],"tag":"AbiUInt"},{"contents":[256,"80241303529441995668819096835113439698303863636011400567679001395820850781285"],"tag":"AbiUInt"},{"contents":[256,"999999999999999999"],"tag":"AbiUInt"},{"contents":[256,"107724222685498083148630123857005719969998290904707592084719789850096394131738"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639886"],"tag":"AbiUInt"},{"contents":[256,"65387048910848285062445420103992909814912597244227457017097209288373077054530"],"tag":"AbiUInt"},{"contents":[256,"70"],"tag":"AbiUInt"},{"contents":[256,"26635674711091801138853574774953100211680479852354791230501375708291328398540"],"tag":"AbiUInt"},{"contents":[256,"100000000"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035137"],"tag":"AbiUInt"},{"contents":[256,"20970853298386069170749109624559420548838767491926819178111393269584340581775"],"tag":"AbiUInt"},{"contents":[256,"85546076471392889444411791068580456885753335450695800140123643243736651685282"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"90816576855882793396181499032165641970702593783783120193264933340941415869711"],"tag":"AbiUInt"},{"contents":[256,"68314811525246832721393998770192792525419196019125277127578577766784957191083"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"91298865097400077255228887679848505161279301477773520419704190726649649344151"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858883"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"660551900630285095057065796768225863439926392"],"tag":"AbiUInt"},{"contents":[256,"79"],"tag":"AbiUInt"},{"contents":[256,"684"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"616261162738147976765266007033037469898895566104132055041633812887194053936"],"tag":"AbiUInt"},{"contents":[256,"999999999999999998"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266898"],"tag":"AbiUInt"},{"contents":[256,"80335729830311844307872747437927242921999006599014875217500273472712992798650"],"tag":"AbiUInt"},{"contents":[256,"89839836411238321434845026691258675818663861788382947044553593435164808476640"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011520"],"tag":"AbiUInt"},{"contents":[256,"71053356345787368158120764113669908699257590975061813944743418016134631265602"],"tag":"AbiUInt"},{"contents":[256,"854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"64574464954945977656320273557044795595625870894863193428062643662339779195301"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4d","0x00000000000000000000000000000000000000000000000000000000000007cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\t\\139\\168_\\191ij\\128\\242\\211\\188\\162I\\181`\\244\\240n\\212\\139h\\DC2\\164\\225\\196xA[}\\244\\204\\197\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bf","0x000000000000000000000000000000000000000000000000000000000000ebcc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012f","0x000000000000000000000000000000000000000000000000000000000000a297"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e760","0x000000000000000000000000000000000000000000000000000000000000d065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]