[{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005c74f","0x000000000000000000000000000000000000000000000000000000000000012c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f17","0x0000000000000000000000000000000000000000000000000000000000007e4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"89660674996434560467982382747323654068473955658798629945485291299562415434728"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232b","0x0000000000000000000000000000000000000000000000000000000000000e0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"43785228724015942619878949292557991212565970991127465419680996043121933459870"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072c42","0x000000000000000000000000000000000000000000000000000000000000dcb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035137"],"tag":"AbiUInt"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb29","0x0000000000000000000000000000000000000000000000000000000000000069"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"1002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f7","0x000000000000000000000000000000000000000000000000000000000000005e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"48073479591708074713919388779860033517695087761013827579902016534758944379976"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000100","0x0000000000000000000000000000000000000000000000000000000000002713"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"&^W\\b\\153N\\136\\142\\160\\&3\\SUB\\228l\\174\\158\\232&\\242Ya\\138\\211\\221\\221#^\\158x\\t\\168\\SI\\167\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062e05","0x000000000000000000000000000000000000000000000000000000000000a296"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"3084060849929320912789085391840631570319861173581617629558609176289257048203"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb1","0x0000000000000000000000000000000000000000000000000000000000001372"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"10265851054015749088557268290245136688715053494530192911413672081158746904088"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010978","0x000000000000000000000000000000000000000000000000000000000000139f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"49183609536312361640856036300614853485705751911513476166214624856605362887447"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a7f8","0x0000000000000000000000000000000000000000000000000000000000009f7c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"67408230403167940527657785940081395200063284508510789626632628939644645845479"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003d","0x000000000000000000000000000000000000000000000000000000000000ca07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f19","0x0000000000000000000000000000000000000000000000000000000000000b44"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"18849029283321734931162907920489858601171445985148400088657082069231105872275"],"tag":"AbiUInt"},{"contents":[256,"83374092695113271245989895383756015506140356044665519615632765320374946901867"],"tag":"AbiUInt"},{"contents":[256,"971"],"tag":"AbiUInt"},{"contents":[256,"47"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011520"],"tag":"AbiUInt"},{"contents":[256,"948"],"tag":"AbiUInt"},{"contents":[256,"31717233566181459958973252384008074863149411650154997483839018302904852966425"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638936"],"tag":"AbiUInt"},{"contents":[256,"914"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639886"],"tag":"AbiUInt"},{"contents":[256,"5000"],"tag":"AbiUInt"},{"contents":[256,"12239629124065149295014999081539430958964853353395562003366061139503584368383"],"tag":"AbiUInt"},{"contents":[256,"64302772105372472831285697023393850304476161454904645471865974521657798688963"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639927"],"tag":"AbiUInt"},{"contents":[256,"1532755393"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634935"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781055"],"tag":"AbiUInt"},{"contents":[256,"97263306571856336867937746532416556164524044717466671016391811690361711520341"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"235"],"tag":"AbiUInt"},{"contents":[256,"5001"],"tag":"AbiUInt"},{"contents":[256,"18975098337567279330832593571854835851473203785279384463578736961456350681740"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747169"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"101215151365724503295651465466515310435854252893700020973970010786829407230050"],"tag":"AbiUInt"},{"contents":[256,"19855538988717229590762217930278639359089443169714147692980542958505851376516"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"91597063269410918582125800342027490172439132682361922944238086898195663383174"],"tag":"AbiUInt"},{"contents":[256,"66410986941797280765146704963700536300640021469389161487022062466582153335382"],"tag":"AbiUInt"},{"contents":[256,"86"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5c","0x000000000000000000000000000000000000000000000000000000000000001f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x000000000000000000000000000000000000000000000000000000000000ffff"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"68719520426101042719433283765304173377555565284494530310092440759159814954741"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb48","0x000000000000000000000000000000000000000000000000000000000000005e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"35993091507377586899301969043354526856759265785902589840455632128434185670857"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062123","0x0000000000000000000000000000000000000000000000000000000000002713"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000051","0x0000000000000000000000000000000000000000000000000000000000005d00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"90256960659709530144105350875754724434720039333619048558424851929190031867024"],"tag":"AbiUInt"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ff","0x000000000000000000000000000000000000000000000000000000000000ba27"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"18446744073709551612"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027adc","0x0000000000000000000000000000000000000000000000000000000000005c65"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"106173493164219631175547280534889488115950009441051219579556102918182641031128"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae6","0x000000000000000000000000000000000000000000000000000000000000e82a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002712","0x000000000000000000000000000000000000000000000000000000000000185a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000871c1","0x0000000000000000000000000000000000000000000000000000000000008ec7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb07","0x00000000000000000000000000000000000000000000000000000000000012b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[128,"306257608456988266720755970841819577322"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517d","0x0000000000000000000000000000000000000000000000000000000000006a24"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"762"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634935"],"tag":"AbiUInt"},{"contents":[256,"7700881302223668565581436075289577804505873923641219935864838445349956698246"],"tag":"AbiUInt"},{"contents":[256,"55875988483386224801615480760149125047453446789055736695262730828075587565444"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf3","0x0000000000000000000000000000000000000000000000000000000000000068"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":[128,"133"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a11c","0x0000000000000000000000000000000000000000000000000000000000007116"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"48125062687769096185165013389715592258882363241218444826492157911527836984240"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c8","0x0000000000000000000000000000000000000000000000000000000000000054"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d51","0x0000000000000000000000000000000000000000000000000000000000007e4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"\"E\\204P8\\195'\\226xx\\133\\210O\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOT\\EOTJ2=\\223\\136\\147;\\139\\135&@\"","tag":"AbiString"},{"contents":"\"Undeiined panfc code\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"34838383396928279189398937161889963353931191980816013432439991793188383817073"],"tag":"AbiUInt"},{"contents":[256,"6158969260460812973689792801742636"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"134"],"tag":"AbiUInt"},{"contents":[256,"46"],"tag":"AbiUInt"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055777","0x00000000000000000000000000000000000000000000000000000000000001f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639679"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003256a","0x000000000000000000000000000000000000000000000000000000000000681c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000632dc","0x00000000000000000000000000000000000000000000000000000000000082df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"95726297002126429337244569410884400709589001127928162802627793729145231814170"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d4be","0x0000000000000000000000000000000000000000000000000000000000001ca9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"632"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002f","0x000000000000000000000000000000000000000000000000000000000000d065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"72480015606366117026036349139339204558679063996520860061281878328519083159336"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005e","0x0000000000000000000000000000000000000000000000000000000000000129"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"64665822806538428162689448839789850678087315154039556630839534463874890746810"],"tag":"AbiUInt"},{"contents":[256,"16698091141605017510864747433102337340631576811513159754141950481386122236802"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000608a9","0x0000000000000000000000000000000000000000000000000000000000009b1d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"30"],"tag":"AbiUInt"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":[256,"2505810215"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000006","0x0000000000000000000000000000000000000000000000000000000000001343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e3","0x00000000000000000000000000000000000000000000000000000000000011ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"96581844375061936351738134435867937419205335148364479602390470217337919732290"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfe","0x00000000000000000000000000000000000000000000000000000000000007d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639933"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d65b","0x000000000000000000000000000000000000000000000000000000000000711b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"60537979371289991975803979591440565087769026130750576738341726551553184754208"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005caa0","0x00000000000000000000000000000000000000000000000000000000000095f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000102","0x0000000000000000000000000000000000000000000000000000000000007638"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"110832726653665992197921864511621706346797909873763437357850431651592367659205"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf3","0x00000000000000000000000000000000000000000000000000000000000035d5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"543931974971271960795892235676045417421082300038"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c7","0x000000000000000000000000000000000000000000000000000000000000567d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"12824921331224614233102589086496090942508377660248634015070017058495935138827"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000234","0x0000000000000000000000000000000000000000000000000000000000003d1d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"64"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x000000000000000000000000000000000000000000000000000000000000133b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008a","0x0000000000000000000000000000000000000000000000000000000000003f80"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"23573320549627539507729208927931380146"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5f","0x00000000000000000000000000000000000000000000000000000000000085b2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055774","0x000000000000000000000000000000000000000000000000000000000000cf13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"79228162514264337593543950335"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e950","0x0000000000000000000000000000000000000000000000000000000000009eda"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"31346908866306318360145728199325117201867190670349823881244960354326152764919"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ea","0x0000000000000000000000000000000000000000000000000000000000004ce2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"604799"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003abb4","0x0000000000000000000000000000000000000000000000000000000000001371"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":[256,"18663790463024239772945883748475250204873805176523877649462334521651265068113"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea62","0x0000000000000000000000000000000000000000000000000000000000000085"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001b","0x00000000000000000000000000000000000000000000000000000000000001f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639922"],"tag":"AbiUInt"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":[256,"89714517625275789449168337768200979592805088307399336577587514716887896031649"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427b","0x00000000000000000000000000000000000000000000000000000000000088aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"73770280354578558483278458640432741931870815969557738935612971699906602132040"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000141fb","0x000000000000000000000000000000000000000000000000000000000000c060"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043f09","0x0000000000000000000000000000000000000000000000000000000000002f15"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":[256,"6859255732078885060968868387923375286711757383182498"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabd","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fe","0x000000000000000000000000000000000000000000000000000000000000d9da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x00000000000000000000000000000000000000000000000493c8743959c899e2"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b391","0x0000000000000000000000000000000000000000000000000000000000009202"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138b","0x000000000000000000000000000000000000000000000000000000000000270e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb20","0x0000000000000000000000000000000000000000000000000000000000002653"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"22804059315886141985954954922986798340541795794519790423900284461368799470995"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7d","0x0000000000000000000000000000000000000000000000000000000000000372"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ef9","0x0000000000000000000000000000000000000000000000000000000000000010"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"264"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf2","0x000000000000000000000000000000000000000000000000000000000000137d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"23"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063f31","0x000000000000000000000000000000000000000000000000000000000000a297"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0e","0x000000000000000000000000000000000000000000000000000000000000185a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"},{"contents":[128,"1997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf8","0x0000000000000000000000000000000000000000000000000000000000000034"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"245"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":[256,"59207733150751082570350139199937381036085012450909761982283259057630633674438"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb45","0x000000000000000000000000000000000000000000000000000000000000b3bc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"56"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001051","0x0000000000000000000000000000000000000000000000000000000000001399"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae7","0x000000000000000000000000000000000000000000000000000000000000134a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002e","0x0000000000000000000000000000000000000000000000000000000000005d4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51b","0x0000000000000000000000000000000000000000000000000000000000001398"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"406"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb37","0x0000000000000000000000000000000000000000000000000000000000008194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"1525906345"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001386","0x000000000000000000000000000000000000000000000000000000000000ce9c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"113"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e760","0x0000000000000000000000000000000000000000000000000000000000008ec8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"107"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e6ff","0x000000000000000000000000000000000000000000000000000000000000231f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6e","0x000000000000000000000000000000000000000000000000000000000000a392"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"313"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a8","0x000000000000000000000000000000000000000000000000000000000000659f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639679"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d828","0x000000000000000000000000000000000000000000000000000000000000ca08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eadf","0x0000000000000000000000000000000000000000000000000000000000000055"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef48","0x0000000000000000000000000000000000000000000000000000000000006a02"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"94947832646561801363447548951524055852293910200038221187124243552077437828400"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001159d","0x000000000000000000000000000000000000000000000000000000000000b194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\ACK\\139\\204\\178\\DEL%\\137\\188\\207z\\DLE\\164\"","tag":"AbiBytesDynamic"},{"contents":"\")[@X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138l$Z\\156\\236\\EM\\213\\198\\194Wj\\200\\153M\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\190e\\175\\151\\189\\185\\207\\STX%L>(\\233\\166keM\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\152\\133\\206\\134\\GS2+=\\204K\\234\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\157D\\202\\208\\DC3\\146\\223\\236\\EMF\\253\\FSX\\137\\202\\204\\132\\191\\138\\SYN\\151\\192k\\RS\\NAK\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"7$WaA\\160\\138\\194~\\151\\a\\190\\&0\\230\\\\\\157\\212}\\ESC\\232\\247\\212z\\234\\DLEr\\195h@\\234\\RSX\"","tag":"AbiBytesDynamic"},{"contents":"\"I\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\227\\ACK\\200\\224c3\\181\\203\\224 \\188\\178\\182\\223\\151i\\149\\FS\\219\\175\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\173G\\214+\\223@\\DC4\\146[\\145\\212\\150\\255[)\\ESC\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218m\\204g`nqm\\182E\\146Y\\DC3+y\\184\\220+\\200\\\"\\148c\\b\\184\\f\\148&\\244h\\227\\DC4\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239#E\\193\\187\\254\\167&\\180\\132\\151\\&1\\240A5d\\233M\\153\\GS\\178\\239\\177\\176S\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207g\\138l\\155\\DC1\\144T\\212h\\132X.a\\137 \\239n\\219\\153\\NAK0JS\\153\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\146\\248\\232\\236\\173\\176h\\236\\208\\247\\203\\208\\204\\191qd\\238s\\137\\248\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r>\\228\\155@1z\\SYN$\\EOT\\162\\194f\\218C\\148'\\240\\227\\214\\234\\207\\DC2Cd\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226V\\215\\ENQ\\214\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\220\\141=\\225~\\200\\SOHa\\GSz\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\149\\211\\214XF|\\233Q\\132\\RSW\\215\\DEL|\\196\\152\\225z\\128\\155\\231\\140\\148\"","tag":"AbiBytesDynamic"},{"contents":"\",\\145\\187\\175\\ACK\\150z\\135s\\DC4mK\\t\\SIB@\\159\\182\\128\\180l\\NUL1e\\\\\\v\\166\\244q\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\233\\142\\SI\\240\\224\\155nN\\160\\204\\147}\\220S\\209\\163n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\223\\&4\\195x\\EOT\\240\\190g\\bp\\180\\129\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\176V\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\195*6\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\SOH\\v\\134\\DC3>\\203\\174\\172AD\\243 \\203\\145\\EM\\189\\136\\209~\\181\\DEL`\\129\\t\\b\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"?L \\168\\159\\135\\151\\199\\DEL2\\146\\145\\151\\&3u^xb\\149r\\183\\224\\160\\145\\164{H\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\207D\\221\\220K\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\226\\SI\\232T\\165\\&6\\201k?\\224=[\\ETX\\EMT\\252j\\US\\220\\181\\209\\138y\\243\\133\\t\\220\\\\3\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\221\\135\\187\\&0\\231N*\\RS\\238\\210\\DC4Z\\234\\139\\165{\\220A\\212\\185\\t\\235\\t\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\236)\\226\\RS\\239\\178\\165\\243\\153\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\156#\\213\\149\\150\\241\\171\\226N\\147Xu\\172C\\236\\140@\\142\\\"<\\135\\193\\213J1K6\\162\\219\\196\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Y\\252\\154\\DC4\\227\\DC26\\251\\\\\\225\\&0\\207A\\137<\\fMx\\237\\t\\204\\&5?\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3}`\\229\\135\\253\\168\\226\\162\\DC1\\CANE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\212\\199\\\\\\228\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS:@/E\\244;\\144k\\140\\143\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"9+\\234,q\\173E\\147\\199\\223R\\189d\\210\\t\\228\\140m\\226\\SI\\179|\\239\\216\\149\\a\\RS\\SO\\204\\t\\a\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOd=D1|\\168\\134*\\163\\253\\\\\\202\\193\\181\\&2\\132\\&7vHz\\151\\143T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f]?\\SYN-\\192\\FS\\223M\\DC1\\FS\\159\\&8\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\166\\193\\157\\219\\CAN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC2\\SO[\\227\\236\\v\\236]\\226\\214\\214>Gx\\230\\244s#*\\151\\252b\\202Ue\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"A)\\129\\219/\\215O)\\144\\247\\247 \\DLEY\\GS`N\\128|\\DEL\\167S\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\232v`\\212\\253\\169+\\162\\CAN\\SI\\196\\&0X0\\214\\155\\231\\179\\145\\202X4\"","tag":"AbiBytesDynamic"},{"contents":"\"Gk\\SUB \\EM\\139\\128\\207\\151c4<\\US9\\\\\\166Q\\232A\\234\\152\\NAK\\255\\156\\236\\165\\203c\\206\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\183\\223}g:g\\141\\161u-w\\213\\187\\DC1J\"","tag":"AbiBytesDynamic"},{"contents":"\"T'\\239\\198\\STXk4\\SYN\\ETX\\148D\\158\\204\\180\\\"\\192R \\rS\\GSa\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\200R\\131B\\253\\162L\\228\\137\\167\\184\\b\\ETX\\154(\\r5\\148\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\167A\\220>\\224\\160\\EM\\152\\220\\237\\216\\138b:\\176\\202J\\DEL@\\175\\218M\\251 \"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\STX\\144j\\152)S\\130L\\ETX\\249N\\201\\211\\163\\208\\255|\\GS\\232\\164\\194@ \\SYNi$\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\244\\153\\&5\\168\\v\\199\\ENQ\\217D\\250\\211\\163\\177A\\DC4lm\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151aU\\168\\SUB\\205L\\166\\250\\183H\\207\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\255\\FS\\129\\223\\176\\164\\252\\GS\\162g\\224F\\229\\216\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176O\\241\\148\\219+TSl\\242\\227^\\234\\EM\\140\\138\\149\\DC2f\\153\\198\\NAK\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\219S\\172+!&Q\\209\\161\\239l\\230B)\\rc\\185n{\\206\\202i\\140\\ACK\\138\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\174]\\148s:\\162\\ENQ{oZ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\SYN\\219\\197m\\159\\&3\\203n2e\\157\\173\\ESCX\\162\\164\\249\\144\\228p\\243\\236/^\\159k\\159\\240y\\171I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\US\\DLE\\216\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\213\\NAK\\246oR5~\\233\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226_\\151\\ENQ\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223@\\ACK\\ESCqSU\\242\\174\\174\\250\\159\\201\\168?]\\247~+\\167\\129^\\NULN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\147h\\216\\183\\246<\\186\\182\\255\\&884\\202\\137\\GS\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164U\\t\\r\\251\\219\\EOT7\\152E\\145\\232\\141\\130\\203R\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\",\\232\\174\\248\\FS\\141\\231\\173[!\\155+\\ETX\\238\\f\\SOH\\146RY\\167%M]\\133\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\ETB:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\243\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"dv;P\\176\\&3)\\141<)\\201\\182z\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"r4\\133R#\\SYN\\255mVi\\CAN\\188\\206x\\129\\151\\223\\143hpK)\\STXs\\188Phe\\154 \\144\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"z,\\174\\143?I\\r0\\169\\222\\247>\\141\\186\\GSo\\220\\133.0\\135\\DC1\\239,\\vYI\\223\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\f\\196\\243\\242$p\\230\\176\\188\\&2\\152\\DLE\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\tR\\181<\\142LY\\r$\\254\\229z\\n\\249\\&3%\\129U\\196\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235R8\\136Iq\\156\\208\\218T\\197\\128\\148r^\\131\\&5\\155c\\SYN\\DC3\\254\\f\\221K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US}\\226\\186\\&7\\179\\169\\166@\\213\\SOH\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"NM\\DLE\\fu\\183Yv!\\211g\\235\\132\\219P\\158jp\\146zlM\\137\\NUL\\196;8\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\175\\180q\\210A\\255e\\SO\\v\\236\\202\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217Q\\NAKk\\DC3T\\152\\198Uv\\143j\\221\\NAKq\\rI\\213c\\164\\131mu\\221\\132\\&9f\\180T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139x\\GS~\\133\\130B\\EOT\\253\\191?d\\255\\252\\168\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\160\\FSF\\221@\\159N#z\\136\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"qe\\244P\\171\\250@\\207\\DLE-\\129N\\213\\213\\144|\\250(\\167\\182\\128\\204!w\\203\\160\\215F\\DEL\\192\\185\"","tag":"AbiBytesDynamic"},{"contents":"\":\\225\\220\\148\\131\\130\\v\\a\\199\\214\\230\\172W\\232\\&0\\249\\130='\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"<sP\\225\\EOTW>\\157i'\\221\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\t\\USm\\209Q\\226\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\161rn\\174\\193\\129i\\\\e\\166L\\228\\DC1\\DC2:\\145\\193\\130\\ESCj\\ETX\\229\\n\\215\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\204 \\162'\\DC1DR:\\bV\\235n\\166Yz%\\235\\158\\213p\\247\\&8\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\146\\DC2\\134\\201\\150_\\206h]g6d^.\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\226\\194Q\\163\\DC1\\164\\139\\196\\128\\&54B\\134\\169\\153\\\\\\STX%\\153\\CANf1e\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"-\\181\\142\\159\\SUB\\170\\191\\177}\\195\\190\\EOT\\249\\140\\NAK;iL\\252h\\ESCI\\244p\\196\\250\\210\\228g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\157\\222\\155_\\169\\203\\&8\\CAN\\223\\238r\\184\\130\\&3x\\ACKr\\186\\b\\186\\177\\SYNT\\186\\249T\\168\\189\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\205\\191\\196\\175;]\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\SI\\r[\\203)\\167\\221/\\212\\220\\184\\232)>\\248\\201\\192bl\\133\\f\\184r\\219\\ESC\\\"\\RS\\232\\&6\\GS\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184+\\253\\168\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\&1?\\142\\182\\f\\207,\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\129\\160\\DLE\\130\\&3\\SYN\\DEL\\129]\\ETB\\156\\NAK\\DC3\\r\\226\\r\\SI\\EOT\\189\\237\\ETX\\218\\130x\\143\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"6\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\204V\\153\\194\\232\\143\\235\\230\\231\\227\\130f\\172\\RS\\202\\v\\201\\136hd2\\244\\230\\153T\\237\\FS\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"&T4t\\181];\\211\\238\\DC3\\128\\212\\165.4\\SI\\\\m\\146\\171v\\213\\178\\164\\237\\190\\EMI\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\159\\\\\\151\\207\\EOT\\SO\\CAN}\\168\\152VjFewUO\\237R\\141\\150C\\213\\133\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\154N\\DC4J\\DC4\\SI3\\180\\SYN>U\\216\\157\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\141'\\NUL\\f\\t\\164\\186\\176\\152\\vf6\\143\\249&%\\146\\141)\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNw\\147C\\CAN\\130+\\250z\\208\\205=\\199\\DC3\\160#\\221}^\\t}\\173h\\a\\156\\173#\\SYN\\DEL\\232?>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\175\\198\\171=\\SIW&.\\139\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"2C\\157\\159\\158\\196\\208\\tTl\"","tag":"AbiBytesDynamic"},{"contents":"\"m\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SYN\\206\\CAN\\152\\237gE\\231\\146\\139\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\252`\\169\\220hYn\\\"p\\138\\&5\\136\\216\\168x\\203\\209\\239e\\STX\\DC2e\\194\\146y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163Xp\\235\\129@~u\\229z\\222\\&8\\146s|+j\"","tag":"AbiBytesDynamic"},{"contents":"\"m9w\\226C\\164\"","tag":"AbiBytesDynamic"},{"contents":"\")\\FSb\\247\\t\\EOT\\195\\&5\\170?Y\\ACKSj\\RS\\255G\\192zz\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\RS;\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\":g\\RS\\177\\a9\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\209%\\241\\194%\\146\\158cD\\248d\\187\\GS\\168\\223\\ACK\\163\\136r\\184\\176\\243\\141\\SOHF\\156F=\\185\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\242?\\130E\\153\\152\\161k\\SO\\SUBp\\158\\149CR\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\129Z\\DC1\\159\\131\\182\\239\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"T`-\\173\\DC1\\138\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\192\\194\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\190\\179lC[\\241#\\130T$a\\225ly\\146\\134\\146\\FSY\\156\\209\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\161\\251}|\\167G\\STX(GTN\\\"\\184\\230\\131\\&8\\226\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\235h\\SOH\\164\\212\\243(\\157\\196rr\\174_\\SUB\\207MR\\163\\183>m\\231\\220If0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\SOHt8O\\ETB\\222\\140L*\\130\\244\\155O+\\206\\&8\\219\\&4\\130y\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\SO\\202\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\142\\169v)\\184\\207\\181\\167\\195\\158\\SI\\197P;W$\\230%\\\"\\229X+\\147\\172\\187\\rc\\190\\204p\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"f'\\164I\\154\\254wC\\156\\229I=\\194%\\193p\\218\\134I\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC4\\bST\\183j#A\\198\\136\\216\\212\\139\\DC2z\\205\\206\\213\\161\\241\\186\\206\\DEL\\184\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\STXe\\232D\\133\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\RS\\165\\172\\244\\ESCv\\198\\191'\\ENQ\\153o`Y\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\172Q\\236\\ENQ\\GS\\130J\\ENQ%\\197:-\\142\\141\\\\\\209\\&3\\251i\\128\\\\\\134\\&6\\CAN\\145\\156\\\"\\134,5\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140[y\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\&8\\184u\\236\\ETBx\\148\\227\\199\\238\\232H\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\239Q\\233\\\\6\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142=\\207=<\\198[\\215Z\\f\\190\\151\\238\\f\\f\\180:\\200\\EOT\\246b+\\191?\\252\\175rk\\201\\&4\\SUBw\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\202\\201\\154\\191\\209Q\\188\\239\\178\\142\\222\\223 \\232\\f\\130\\NUL\\217ye\\252\\182\\ACK\\179B\\f^\\172\\193\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\185\\168\\SUB\\170\\137n\\222\\US\\177\\193\\DLEn\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\149\\220\\152l%68\\191\\ETB\\187OU%\\213Z\\182w\\152\\216\\DLE\\153\\234\\245.\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\tF\\216\\245\\228h\\159\\EM_\\139\\234\\250\\191\\EMJ80\\EMX2M\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\154\\176\\182m\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\149\\160\\234\\232\\249L\\SYN\\161I\\180\\&5\\248'\\194\\142\\248\\196\\195IY\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253)%\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\246q\\211|\\232\\CAN\\162BMH\\142$\\EOT\\t\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\200\\184\\229\\&2\\RS\\189\\174\\177\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\153\\140\\138\\178\\184\\209\\144\\152\\182o\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\165l\\199$\\145\\218\\139\\CAN6I\\133\\140;8\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"jU;\\231\\229\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"L)\\168\\DEL\\202\\188Ff1\\168\\\\=\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220pJK\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\172\\174\\FSu\\129]\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211|\\150\\US\\STX\\191M\\150W\\236u\\192\\153\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US_\\255\\237\\165\\156\\181\\190\\176 \\157\\240\\178\\162\\239\\244\\165\\212\\157\\230\\135W\\199\\212\\243\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\145\\224}\\193If\\133\\134.B\\151\\227V\\187\\181\\214h\\130\\224\\153@\\238E\\234\\166q\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\247@\\225|P\\144\\232\\235\\177\\190%\\251\\207\\153\\220]%\\195+\\196\\FS\\225\\170I\\188\\fk\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"_|\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131P\\216$\\230k\\163\\SYN\\152P\\200\\154\\184c7\\215IN\\ETX}\\176\\&5H\\129\\DC1\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\181\\&6qp\\DC2\\162\\132\\&4\\163y\\DC2\\ENQ\\150\\170\\a\\135V\\DC3\\186\\188\\&7\\142k\\RSP7\"","tag":"AbiBytesDynamic"},{"contents":"\"bA\\164|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189i\\181\\183\\221,\\196\\143\\230a\\SOH\\NUL\\253\\186\\227\\204\\222?\\168\\247\\228\\156\\215\\168\\204O\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\247\\173\\217 vE\\a\\143\\DC2\\221\\SYN\\181\\148\\169\\151\\174sx\\161\\152\\211\\219\\176%\\ETX\\SOH\\252\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\147\\252\\205\\207#PY\\149b\\203\\SOHz^\\\"\\136*\\ETX<\\235<\\SUBU\\179\\167\\201U\\188\\207O\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\">\\SUBF\\FS\\223o\\nfEem\\DLE\\191\\191)\\r\\202\\228\\221\\b\\136\\171\\219\\183\\DC1\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\216Z\"","tag":"AbiBytesDynamic"},{"contents":"\"y]yq\\132VT\\DC2\\227\\NULc|LHP\\251\\217\\EOTm?\\147\\182N\\208!\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\242\\189M5v\\205\\176\\252\\v\\140z\\189\\184\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"zKTT\\204\\234j\\174]Z\\198/\\255\\157\\150A\\231\\170\\142\\232\\229\\NAK8\\220\\255\\253\\232\\228\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"s\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\129r%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\198\\r\\144\\234\\215\\208|\\156\\163\\&5PD\\NUL\\186\\241z\\244k\\137\\253k\\198\\ac\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\226V\\239s\\239\\227`hC\\167\\155\\145\\DEL\\131\\&0\\SUB\\238\\248\\151A\\222\\&4\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\220\\&0\\139\\180\\157\\NAK\\161\\GSu\\168\\NAK=\\242\\238\\217^[\\216\\238\\234\\139\\160\\249\\150D\\242\\161\\130\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\RS\\222\\237\\&5\\182\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\255\\NAK\\\\^Hi\\130\\EM\\182\\SO(\\FS\\155G'm\\229ND\\185?a7r\\b\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\202J\\RS\\DEL\\140\\&8h\\142\\247BQ\\220\\211\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK]n\\212|\\161\\233\\186\\208\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"F\\FS\\250Xa\\220\\231\\185\\r\\DC2?\\144\\136\\CANt\\ETX\\150{:\\156\\246\\FSI\\207\\225+\\207T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\129\\193\\195(\\162D\\247\\&22o\\185R\\208\\255\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\SYN\\184`.\\204\\204\\202\\229hg|\\ACK\\165\\&6mgW[p\\213>\\151\\212\\156\\217a\\225f$A\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\239\\250\\181e)\\228\\SO\\nN\\226F\\226O,z?,\\NAK\\196e\\227u\\f\\SYN.\\148N\\192j\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\254\\141\\167\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\172_\\164\\200\\155.\\149\\ETX\\155\\ENQ\\159\\192\\225\\197,t\\240\\DC2\\190M\\244(\\147\\190Z\\153N\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\".S\\v\\176\\209$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234N\\230R\\SOH\\STX\\237[\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEt\\212p\\152h`\\a?\\208\\141{\\234\\139\\ACK\\178\\129?pHe\\166Z\\EOT7|\\151Q\\208\\202\\183\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"C_\"","tag":"AbiBytesDynamic"},{"contents":"\")!\\154'$\\188\\150\\247\\161\\DC4/\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\DLE\\210\\130\\225\\EOT\\144\\234S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132c%2\\253$*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251a>\\145\\175\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vM[\\185U_\\RS\\FSS\\129T\\182\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\131\\152_*}\\218\\216\\134>=\\231\\235\\196a(pxX\\191\\129&)\\240\\222\\186\\128\\ETX\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\ETB\\255\\199\\211\\128wLe\\SYN\\252\\245\\r\\164Z\\202\\152G\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"X\\195X\\GS><z{\\229\\227\\248c\\136\\\"r\\SOH-Q\\171\\223\\194\\148\\169\\217\\217[\\214l\"","tag":"AbiBytesDynamic"},{"contents":"\".\\DLE\\148\\217[\\162\\143j)\\181%\\239\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\197[$\\208\\186\\255S\\170>w\\183m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\162Q!#f\\SUB\\204\\229\\179v\\169\\a\\233\\243\\DC2o\\t,\\220.\\SO{\\139  \"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\175\\204\\128\\128\\159\\235Z\\171\\DC4\\SUB\\147\\207tx\\149\\248.$\\NUL\\205[j\\208\\179\\229\\166X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"cp\\155x\\192\\217\\241\\246\\&2\\165$\\NAK\\249\\175\\140\\SOH\\149f\\DC1\\247\\147g\\234\\203J\\153\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\253)\\174<\\219T\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\244\\DC1P\\206\\&22\\152w\\130\\181\\225\\133\\145\\216\\146Aq\\173\\204,\\150\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\167k\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142j\\192~;\\SYNs\\ESC\\195\\178\\190\\ESC\\236E\\\"\\222\\191\\227@\\167cd$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\198\\138\\219\\167\\DC36\\158\\245\\EOTN\\129/\\bB\\155\\135%\\153+Z\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\ETB\\177\\145\\206e/\\185\\212\\196m\\EOTL\\241\\US)kv\\DEL)snS#\\152tP\\DC3\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\205\\186\\DC4l4\\230u)\\154\\149\\161T?\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\171\\ACK\\162\\230\\a\\224\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152H~\\218_\\a\\177C\\155r\\195*\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT8K3hs\\DC2\\205\\216\\\"r\\SO\\149\\151B%o\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"1_!\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\";\\171FO\\210\\&2.\\167\\NUL\\227\\198\\145\\183\\254-\\231\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229s\\176\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"1D\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\135\\227z\\228R\\235\\162K\\156:<9au\\DC1\\ACK\\165\\STX\\143^e\\217\\&6T\\251\\&2\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"A\\211Z\\133\\DLEG\\156\\\"\\230_\\CAN\\206K\\ACKi\\255]\\153\\197\\213#^mo\\253\\251\\223]\\140S$\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\162-\\SYNr.*g+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185j\\244\\ETB\\183\\DC1y\\247z=\\215\\179n\\169\\157`\\133\\195\\202?\\184#\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1538404381"],"tag":"AbiUInt"},{"contents":[256,"103956057267151639245686507753684518954300655484369188205050220460792277"],"tag":"AbiUInt"},{"contents":[256,"1543495883"],"tag":"AbiUInt"},{"contents":[256,"63721512155078497661751801700802099758964850246251946830750245044644599373018"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636336"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638934"],"tag":"AbiUInt"},{"contents":[256,"31890770156779032420959957809868633819954938439805508041013515028725607783307"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"46039334539165317596438477189300662677655592259915265601131853111310628618625"],"tag":"AbiUInt"},{"contents":[256,"2000000"],"tag":"AbiUInt"},{"contents":[256,"47971305947813032440235507839841353647976366125063897069593727824383219733608"],"tag":"AbiUInt"},{"contents":[256,"66680883259859341643489419274718878636005661111989006651918197721884024629284"],"tag":"AbiUInt"},{"contents":[256,"217891552130460709762414555572010080066"],"tag":"AbiUInt"},{"contents":[256,"98034640761177774142967061570300965454379674644511498322495947499141909921639"],"tag":"AbiUInt"},{"contents":[256,"29952321125572475504095396461920041288569883186014933699675342090362364407927"],"tag":"AbiUInt"},{"contents":[256,"1534522808"],"tag":"AbiUInt"},{"contents":[256,"16656555576164524299540602590540438307273873321716715134934874400984334614650"],"tag":"AbiUInt"},{"contents":[256,"39844590046881537221286161137215331065274010878753251891739599497319961400222"],"tag":"AbiUInt"},{"contents":[256,"46825692589754362025847271713425022788117669291307571433901317451964105271687"],"tag":"AbiUInt"},{"contents":[256,"998"],"tag":"AbiUInt"},{"contents":[256,"89678542910350252896977688479357681103310231942433540707312719203564861682227"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"86879675721877690857800512197151197482583354400508984256003127974694525024016"],"tag":"AbiUInt"},{"contents":[256,"1001"],"tag":"AbiUInt"},{"contents":[256,"81242697042222272393026390432979924984389898172371777017815326460788099873597"],"tag":"AbiUInt"},{"contents":[256,"82832855788749633837702136705112203766095005089114146143744700431875272840265"],"tag":"AbiUInt"},{"contents":[256,"3567347095852346736721864925974775204544103721245548105713168494255881282448"],"tag":"AbiUInt"},{"contents":[256,"90373787314198650662471135047993101423949460104423823261181960403895682378033"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1061619941813344982341347552709622258941291"],"tag":"AbiUInt"},{"contents":[256,"48"],"tag":"AbiUInt"},{"contents":[256,"40862598177328456474317781682447929928165638581466376160981358551313946162577"],"tag":"AbiUInt"},{"contents":[256,"17362752793419134601492214057763125517000539895120998695778683651247895182604"],"tag":"AbiUInt"},{"contents":[256,"17362752793419134601492214057763125517000539895120998695778683651247895182604"],"tag":"AbiUInt"},{"contents":[256,"17362752793419134601492214057763125517000539895120998695778683651247895182604"],"tag":"AbiUInt"},{"contents":[256,"17362752793419134601492214057763125517000539895120998695778683651247895182604"],"tag":"AbiUInt"},{"contents":[256,"17362752793419134601492214057763125517000539895120998695778683651247895182604"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635935"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"113066618796789830070779344681742067017389751211910196890660409566049516585074"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638937"],"tag":"AbiUInt"},{"contents":[256,"61"],"tag":"AbiUInt"},{"contents":[256,"25531786429206832825340629"],"tag":"AbiUInt"},{"contents":[256,"66842976147183986070801764599950315290615333359874886777113816135014812034514"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639033"],"tag":"AbiUInt"},{"contents":[256,"3"],"tag":"AbiUInt"},{"contents":[256,"962"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634938"],"tag":"AbiUInt"},{"contents":[256,"1536629113"],"tag":"AbiUInt"},{"contents":[256,"106841512087374141972063680997706949020209893769410667446223155414516766211219"],"tag":"AbiUInt"},{"contents":[256,"70831790286992187149102966843689558417996558728429352212189736669089365596705"],"tag":"AbiUInt"},{"contents":[256,"27821597117259115645737194561645657523287591023388893564366040361344262173602"],"tag":"AbiUInt"},{"contents":[256,"39774010836743927805973224"],"tag":"AbiUInt"},{"contents":[256,"11692123846071139397536896779318746291896439177540730656697919679416936913006"],"tag":"AbiUInt"},{"contents":[256,"43889060157419704335756552751053798124559549150566685680972184634507401241864"],"tag":"AbiUInt"},{"contents":[256,"312849282470405450838511513948486298285"],"tag":"AbiUInt"},{"contents":[256,"10000"],"tag":"AbiUInt"},{"contents":[256,"11873412091602549277260479356247775371661166089349041830342482450577550508425"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"104143356014826028055730469983126755995797594469515207817582294666013012314077"],"tag":"AbiUInt"},{"contents":[256,"91590214320636875975540760431856854380168980168879417211262887971506688614775"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"7608860231494061505263774"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639874"],"tag":"AbiUInt"},{"contents":[256,"101"],"tag":"AbiUInt"},{"contents":[256,"51665580414945909619562536152907683508155239400822506768896928261452446878305"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628419"],"tag":"AbiUInt"},{"contents":[256,"44846408551967500440441533247362617515453839605377273483677286298503106701793"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731853"],"tag":"AbiUInt"},{"contents":[256,"19276754969296828314775867868276117410956997028758275324555292653063260800927"],"tag":"AbiUInt"},{"contents":[256,"11026742157975261600839243288645136240890018069214396978526866070561072329441"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950335"],"tag":"AbiUInt"},{"contents":[256,"55278415618396472269795879176614217602602865857937302916282329229413276428808"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"26009318098112655391124753344943509092941066014166672223300496883208062998927"],"tag":"AbiUInt"},{"contents":[256,"23238981637547892998750397438780478117863782699907033333523193215347716059499"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1531167526"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048a23","0x000000000000000000000000000000000000000000000000000000000000138f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"28572441870508335754265849343864076078744035561725739223904762470760197944037"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005408b","0x0000000000000000000000000000000000000000000000000000000000001fb2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639924"],"tag":"AbiUInt"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000077","0x0000000000000000000000000000000000000000000000000000000000001388"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639435"],"tag":"AbiUInt"},{"contents":[256,"44887155150338349210185520870392124603513123103795036929800036287349389531398"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001051","0x0000000000000000000000000000000000000000000000000000000000003c08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007bd42","0x000000000000000000000000000000000000000000000000000000000000e7dd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731854"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003256a","0x00000000000000000000000000000000000000000000000000000000000009c1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\255\\214\\ETX1X\\135O\\211v\\135\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183^\\r\\196B\\149\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS`\\178\\&2\\EOTe+\\129\\144=q\\249\\230\\ENQ\\203F\\132aB\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\157\\ENQ\\165\\152\\216\\246\\226\\227\\255@\\STX\"","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"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\194l,\\203I\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\174\\148\\166\\135\\210\\214\\241\\181\\242\\228\\FS;\\ACK\\133\\233\\170+\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\227\\227\\160:\\254d6\\145z\\216\\154s\\252S\\214)\\173\\CAN\\240\\DEL\\160+\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\178\\161\\145\\172kFpR\\237s\\148\\228\\152\\DC4\\r\\242\\171B\\168\\159\\174^s\\134\\236\\ENQ\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN \\GS\\147\\&8\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\185\\246\\171\\253\\142n\\RSxU\\130\\204\\233\\145n\\234\\162Kx\\175\\145\\131\\225\\EOTk\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\ETB\\209\\135\\SYN\\188$\\185\\204\\215clJ*Oy\\178\\196\\131\\249\\180\\&9\\DLEF\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\"","tag":"AbiBytesDynamic"},{"contents":"\".\\190D\\b\\206\\141\\248\\187\\&0\\238=\\252UG\\209:\\GS3\\134\\202\\133\\129\\130\\SOH\\254\\SUBr\\SUB\\159Y|\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\DC4\\226IJ\\253C\\EOT\\182\\210\\198\\DC2Jm#\\184\\DLE\\242\\195\\141\\218\\222\\NAKd\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\161\\&5\\230C\\252\\168\\199\\225\\RS\\132\\226\\131\\187(7|\\233\\153\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254B\\243\\251O\\133\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\224\\164\\222\\221r\\132\\ENQ\\135+\\176\\164\\255\\180\\161\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245E{3\\197\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\207\\228\\DC4\\220\\176\\ENQ\\147\\210\\135\\240\\NUL#\\253^\\197f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSx\\GSV\\US\\212\\US\\t\\b\\DC3G\\240L\\DC4\\157\\&9\\243\\140\\DC1Z3\\186\\138\\217\\208\\242\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\154k\\134b\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\183\\&2`\\188\\144\\b\\EM\\DC1\\199yt\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165eC\\185[]\\141\\230\\178\\188\\EOT,`:%\\233\\213\\169\\v\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\179\\254\\209E\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\209\\132\\192\\164\\SYNo\\165\\226T\\248\\NAK\\223\\n\\185$\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\175EmRO:w!\\140\\181\\225\\202\\&5\\224\\231^\\228\\244\\252\\&2\\143\\168d\\202\\159\\198\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212x\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\184\\147\\DC1\\ACK\\n\\199\\229N^\\165\\140\\175\\231o\\228k\\175\\168\\238\\246\\229\\248\\DC3\\249\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\186+\\238\\206\\DEL\\151\\240\\165,Y\\164jP!m5\\211\\207f\\244\\163\\r\\134c\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\160\\173J\\NUL\\183J\\232\\NAKk3$4\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\161\\210\\176N\\179\\NUL\\132cM\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\145x,W\\DC2\\v\\\"\\155\\US\\215\\219uA\\233.\\213\\EOTB\\141\\228e\\191\\209\\173G\"","tag":"AbiBytesDynamic"},{"contents":"\"3R\\164\\217T\\DELBM\\218\\248j\\a6\\131_S\\235N\\tMI|\\179\\176\\130\\217P\\187`\\SIy\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\185@\\SYN\\134\\DEL\\FSR-\\213\\NUL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202Y\\151$UA\\233\\221\\190\\196\\155j2\\179\\a\\135\\155Qj1\\163PR\\f-\\240\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"IiJt\\ACK`H\\b\\207\\201\\128g2MC\\175<\\171\\228\\NAK\\237e\\249;\\ETB,\\SOH&\\137\\137\\167\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"<vN\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\202ib\\\\\\223IA\\164C\\218\\149\\165\\NAK\\STX\\196\\201\\249\\251\\235@d\\STX\\177(*TH\\SO\\178\\155\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\NAK\\226\\227\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\181\\FStS\\236\\171\\177\\ETX\\132\\178\\241\\184\\SYN\\\\\\242=:\\159\\159\\v\\221\\222\\160}\\213\\184\\135bE;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\195\\237}!\\190\\178=/\\133\\157\\&3\\r(\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"Uv\\243\\131\\139m\\151a\\205n\\205\\&3\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\178\\153\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\182\\243\\128\\134v\\r\\141`\\223\\206u\\187\\151&\\237\\f\\151y\\253\\156\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252A\\NAK\\SYN\\243.\\CAN\\148\\233\\a\\215\\196O\\157\\183\\&5\\182[~\\NUL\\227\\184E!\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\181\\130\\\\\\216n\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\130\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DEL\\138/\\DC1\\132\\254GJrqi\\161\\248\\EOT\\155}\\170\\141\\217\\178\\f\\230\\193>\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\237\\136v@\\150\\152\\247B\\189\\SOHr\\186c-\\188\\165\\143\\248*\\141P\\SUBw\\rc\\221L\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\t\\155\\224'R\\f\\SOH\\199\\158C\\253\\236P\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\155\\GS\\202*\\149\\f(\"","tag":"AbiBytesDynamic"},{"contents":"\"JSj\\235\\SYNk\\147\\219\\205\\148\\141c5\\133_\\246,\\254\\196\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESCK\\rj\\227Mu\\213\\DC3\\247\\b\\134\\ETXV\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134tY\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\156g\\a\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"U{\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"[q\\242\\&1\\153\\183\\146\\ENQ\\163F\\159\\233\\129\\137u\\219\\&1|9\\148\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\191N\\143\\SI\\140y\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\RS\\188\\182\\190\\DC3>\\200\\203\\182`\\227\\230\\159\\&1\\167o\\131G\\143+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\162(\\233\\&8-\\171@p\\146\\232\\SI\\GS\\172\\133\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\219\\NULI\\178\\t\\252N?w\\191\\&22\"","tag":"AbiBytesDynamic"},{"contents":"\"cY\\160\\DC4$~\\DC3r(\\155\\158\\135\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\227\\159\\171\\220\\DEL\\176q\\SYN3\\ETB\\255\\182\\137(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\186!l%h\\134\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\138\\237\\SIZ\\a\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\149\\233\\248^\\238\\179\\224\\235\\&1\\213>g\\254\\152\\\\t\\231\\vP\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\196 Cl\\139\\154\\141\\226\\179\\225,\\222\\215\\206O\\216\\135\\bJ%~\\248\\235\\157\\212-:\\246\\253\\226`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\169\\155\\143+a\\171\\f\\184>\\244\\RS\\137)>\\170\\135\\ETX\\DC4\\232\\137\\234\\247T~\\161\\231\\NULi^\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245C\\175\\DC4\\186\\244\\195\\228\\CAN1\\140\\132jdl\\165\\163\\223\\DLE\\ESC\\178\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\136mx\\USz\\ENQ\\153\\196\\\"\\180\\211\\241\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\n\\230\\236\\138\\141\\186\\EOT\\206\\163*\\DC1\\135?\\204\\150M*\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149p@HH\\201->#\\188\\131\\&6UC\\ACK\\157\\220\\164N\\211_\\135j\\205\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\163\\189\\238\\ETX\\185\\DC4\\235o\\193\\252\\SYN\\234E.\\SOH-\\237\\213\\172\\136\\143\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\131\\148%\\174\\208v%\\SOHP\\NAK\\193\\207@\\180s~\\SUBQ\\219\\&9\\228S\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\DC4\\239T%\\229r\\230\\&2\\SUBI;\\161\\202\\n\\145\\219\\181\\170\\132\\158\\DC2l\\253\\219\\CAN\\RSy\\182\\169\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\188\\202\\152Q2\\168/t%\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209/\\SUB\\234\\v\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179R\\153\\211\\&1:'\\DLE\\141\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\156\\208\\236:\\192U\\195L\\149c\\131P\\246\\175\\200J\\197\\176wT\\DC3!\\213\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219/\\\\I\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132jm\\194\\131QG\\155\\209MpQ\\168 \\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\209\\139\\DC2\\139@\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\243\\168hz\\128?\\ESC\\136\\ETB\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"lR\\144\\212cC\\145\\141\\154\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160Io\\211\\247\\&3q\\247\\238\\174\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\NAK6\\145O2\\DC4\\183Y\\128\\&4\\235\\165\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\221\\169\\217\\213jU\"","tag":"AbiBytesDynamic"},{"contents":"\"0+\\176\\b\\214R\\218\\177\\244~3\\v-\\174\\180\\247\\SOH\\168f\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\142\\ETX\\179\\212\\&0[\\134\\t_\\177\\243\\227\\222\\131T\\FS&\\176\\188\\150\\191\\186\\194\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\226\\230\\188\\198\\181\\r\\133\\226\\210\\237\\f\\SUB%\\167\\211\\v|,O\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\DC2\\248\\GSxB4~\\217\\142\\164\\159%\\RSu\\185)\\ETX\\225W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185Y#\\234\\180\\174\\233\\236z~\\130y\\166\\201b\\245\\a\\150\\141'7K\\217\\220\\211\\244\\216{\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\ACK\\144-\\\\\\188\\175\\203K\\170\\129\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\SI\\ETB:\\136\\150\\159\\NUL\\v\\232\\226\\&9\\204\\EM\\175\\195\\250\\252\\\"\\141\\241\\160\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\224\\244\\244\\DEL\\160\\173\\145\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\f\\155\\240\\202\\199\\229\\208\\221a\\179\\225\\142\\131eA\\b\\253&\\217\\146\\193\\DC3)\\243\\191\\132v\\139\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\249\\EOT\\NUL28\\231\\DC2s\\185~yx\\158\\254n\\135eG\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\211\\160\\140\\143\\166\\245\\177\\DEL\\US\\153\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\STX0\\145\\245jfdE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\248rI\\rn\\146t\\173.:\\229\\\"\\192M\\US\\221\\181\\237\\191i\\182\\150=L\\200w\\132\\232\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129A\\GS\\205j?\\142#\\241<Dr\\190\\SUBA\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\192\\251\\DC3\\ETB\\247\\162\\145\\242\\178\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\CAN\\232z\\201\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\f_~E\\154\\189x2\\189\\244\\NUL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USnd\\153\\196\\181!\\f\\228\\171pA\\170\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"s]I0\\239_&\\204\\174\\209=\\149\\154\\177\\157\\247\\f\\246\\181\\151\\226\\202\\175\\DEL\\232W6\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEyw{\\248,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USJ\\SO\\185\\170\\t\\175'U\\135\\238\\&3p=Bb\\247\\149\\213\\n7\\170[\\b\\199\\138\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\233\\165\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\132RLl\\244]\\189\\206\\179\\ETX\\214\\ETB,f\\151\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\";JhU\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"h\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\143\\157w\\136]\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\ENQ\\251\\166P\\NUL\\130\\134\\172\\&3\\ETB\\192f\\240.\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\">\\GS\\172\\169\\135\\&2\\168o\\207\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\207,\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\243D\\\\\\201\\132F\\188\\152J\\148\\198U\\150knf\\161\\161Z\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\131e.\\232tF[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215s\\US\\161p\\198\\&1\\162o\\nx\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\178\\150\\210\\197\\247\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\183\\&0\\STX\\157#'X\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\139\\\\\\SI\\190~\\NAK(0\\186T\\236\\ACK$\\232]\\238\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\160C\\252\\201\\215\\151h8q\\189\\t\\184a\\194\\ETX@jE\\164\\&7\\229\\EM\\r\\159\\212\\253x\\190\\153\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\183\\228\\US\\rL\\FS\\214)\\196\\151\\176\\144\\225\\ACK\\224\\143^\\143\\DEL\\149\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\228\\196\\255\\&7\\ACK[\\238\\223\\185M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202~\\148\\rpw\\207ms\\232pi\\SOH\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"2\\160a\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\224\\DEL\\182\\174s\\r\\132\\184\\133r\\208\\172\\148\\228\\188\\181\\211\\155\\171J9\\RS\\178\\208\\167\\166g\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\141\\ETBc\\229\\166\\DC1_#\\243\\171R\\SO\\131\\218\\212\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\220\\205\\173}\\172\\150Q\\CAN$\\r\\129\\ACK\\158\\238\\SO\\164=\\156u\\167\\235e\\f\\197&b\\166\\132\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\143T\\187\\172,{\\178s\\196\\202&\\193Nz\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167}\\177\\162{\\178.'x<0#1/\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\247u\\212\\133\\189\\251\\&2&'\\246z\\132\\219\\136\\RS\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"F`\\247\\DC4\\208_:\\155Y\\247_!\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\224g\\181\\204\\219\\205\\187\\EM5\\164p\\234\\255\\223.\\140\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191[\\207l\\195\\239\\SOH\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC42\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\201r\\171\\a\\178\\247\\177\\184\\&1\\187*\\EM\\f#BH\\157\\188h\\146\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\153\\r\\232R\\NUL\\176+\\168?\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\190\\204\\218\\158\\198z\\151\\GS8\\250\\135\\DC4\\185\\RS\\212}\\150\\173\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\203\\163\\ad\\DLE\\252\\248\\EOT\\254\\DEL\\171\\&1\\t\\172N\\180\\&9\\STX\\251m\\155\\137\\157v\\214\\150'l\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\f\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168ql\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\228\\136\\fI\\t\\154\\150\\EOT\\248\\DC2\\227\\144\\&9X<\\183X\\185\\212\\SUB\\RS\\155N\\149\\224\\215\\202/\\ESC\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\216]\\168\\&6\\129\\191\\DLE\\RS\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\223\\203\\237\\188r\\EOT#\\212\\SUB\\190\\ETXc\\146\\244\\SUB-Vd\\187\\SO\\bQ\\206$\\161|\\180\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"tkZq\\ETX+N\\179(P\\199<\\SYN\\DC2\\211F\\175r\\247\\210\\252Y\\SOH\\206\\200a=\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\DLE\\210\\ETX;\\215`)_=b\\DC2\\133\\161\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\185\\251^pH|\\244n\\r|\\DLE\\153\\t\\r~\\215\\131{\\241\\201\\147\\135\\253\\GS\\153\\155\\227X\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\203\\143*\\135\\DEL\\213e\\SOH\\190\\223st\\vfL\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\135f~\\253Y\\190\\190TZ\\196\\184zQ\\204\\167\\194\\175V\\219r[*\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\193\\FS\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\154d\\233\\198\\164\\ETBZJ\\245\\180\\233(\\183vs\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254(\\177\\181\\240\\210\\147\\139\\128Dg\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\191\\193\\142\\DC1\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\190\\197\\221c\\197(t$d\\148*\\243cbo\\250W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\227\\227)\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\DC2\\248\\231\\236\\177}\\SUB\\a\\224\\&4\\195\\DC2\\253\\DLE\\155\\200T\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\166\\149\\170n\\187A\\210\\228m$L\\SOH\\204\\166\\203Z\\169HQ\\185\\218R\\207<\\v\\184$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\DC1\\242AH]A^\\220F\\138\\233?>\\DEL\\218\\RS\\218\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\f\\245\\NUL\\208\\207\\165\\f\\244\\RS\\237u\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181V\\148\\166\\SI0$\\215\\a\\US\\DC1\\224\\222za^K\\190}y\\b\\159[\\ENQ\\238T\\184\\233\\153\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\196#\\201\\212\\197l[\\a\\ACKqNf\\195\\&1\\160\\172\\252\\176\\&9U\\ACK\\205\\251dS\\153K\\136x\\135v\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\166XF_\\vRj76^\\161\\154`\\t\\203\\241.\\187\\&2d\\231\\STX\\SOH\\141\\227~\\GSk\\142\\217I\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\244\\USn\\173\\193t\\EOT\\162\\184\\202\\\"\\217\\rR\\146\\145\\GS\\192.\\230\\164P\\158\\\\\\DEL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"89786745574995266259698472388168377174446182226151056098318054548794815856229"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011519"],"tag":"AbiUInt"},{"contents":[256,"220"],"tag":"AbiUInt"},{"contents":[256,"1539963781"],"tag":"AbiUInt"},{"contents":[256,"748"],"tag":"AbiUInt"},{"contents":[256,"1548345267"],"tag":"AbiUInt"},{"contents":[256,"62335085082536229541175214720390857875255922600247814788550754820882926011953"],"tag":"AbiUInt"},{"contents":[256,"46256656464746661502884968073878515921476662423610938320044578673893486510450"],"tag":"AbiUInt"},{"contents":[256,"1532482319"],"tag":"AbiUInt"},{"contents":[256,"159413245974986782123526"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639832"],"tag":"AbiUInt"},{"contents":[256,"1529560015"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639439"],"tag":"AbiUInt"},{"contents":[256,"14249803712836430773978734585033160287509261477837041507356819199240183678295"],"tag":"AbiUInt"},{"contents":[256,"9965385735676721666396923889127179473019900674596085091200884558431405396567"],"tag":"AbiUInt"},{"contents":[256,"92822788704509714341559914913682050927612476091088843207783618223788823543753"],"tag":"AbiUInt"},{"contents":[256,"3282603590541259246281702163989429990783077061785438882075272331157882719425"],"tag":"AbiUInt"},{"contents":[256,"34150888478134945504412142588198434943249130376363221965556197544792753075153"],"tag":"AbiUInt"},{"contents":[256,"34844276103645124147910622019679361799388684718698868497449261995258034136849"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636332"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1534522808"],"tag":"AbiUInt"},{"contents":[256,"56277218053539172025087012982626993447211981910925921749936692250361541448200"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639831"],"tag":"AbiUInt"},{"contents":[256,"1539831104"],"tag":"AbiUInt"},{"contents":[256,"29860355284511396551960978882862843128789694377784"],"tag":"AbiUInt"},{"contents":[256,"1544510434"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747169"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"3598"],"tag":"AbiUInt"},{"contents":[256,"468"],"tag":"AbiUInt"},{"contents":[256,"68775766893786611673890013320690454340107323824141098486743026642839658635321"],"tag":"AbiUInt"},{"contents":[256,"164"],"tag":"AbiUInt"},{"contents":[256,"37662385055056280236168304270892279613264007482858520538417955368352709529215"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"302"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"11005236731592081495942352469614648518128233642520094230"],"tag":"AbiUInt"},{"contents":[256,"65586418094486952360428707206045878231373108922028305672566433933847575111651"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"98302140764413667746899373176155675628959911034347165287841846711137409345578"],"tag":"AbiUInt"},{"contents":[256,"13110884956608130346727000070876916737"],"tag":"AbiUInt"},{"contents":[256,"153922408159787191857245333873849481874200979955"],"tag":"AbiUInt"},{"contents":[256,"54143155612139134671068730767896463812232219530215351620865960321430393036399"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"47948304836348139823886072352882306193761558057009276782218492718882726260394"],"tag":"AbiUInt"},{"contents":[256,"3601"],"tag":"AbiUInt"},{"contents":[256,"1533970508"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"59262417693404444636036829965405924723385175404246193236980332665909906953340"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088324"],"tag":"AbiUInt"},{"contents":[256,"99252911273850724052257493652820754341805511982382672141525906890250077059015"],"tag":"AbiUInt"},{"contents":[256,"1524785991"],"tag":"AbiUInt"},{"contents":[256,"817"],"tag":"AbiUInt"},{"contents":[256,"77048334244378822950998905236581393478089926836490676739679306584243026865504"],"tag":"AbiUInt"},{"contents":[256,"56989522716637951926811373189968728279049611147441658861719704466810633285507"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"108881278277581885271776955076412908827868778587957402178509552134527808877885"],"tag":"AbiUInt"},{"contents":[256,"94306511372813111106502732076709974536998335652226144318728551951679949178759"],"tag":"AbiUInt"},{"contents":[256,"290"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eace","0x000000000000000000000000000000000000000000000000000000000000d9d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\CAN\\249\\248\\228#n\\187\\FS\\132o\\DC1w5J\\175\\190\\233\\240\\199\\178*\\SI\\ETB\\220\\254\\188\\236\\159\\159\"","tag":"AbiBytesDynamic"},{"contents":"\",xD\\ETX\\172\\215\\186I\\172\\USr+\\203\\192\\&3o\\198P2\\GS\\177\\168\\v\\SYNb\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\185\\&0\\196\\250\\200\\142\\226E~U\\CAN\\236\\145\\144?\\181e\\186\\181\\GS\\223\\ti\\183$\\EM\\164\\186\\228\\235S\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201`oV\\135\\147\\133\\186\\249\\a\\206\\190\\134\\&6VD!\\210\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"vd)g\\254\\193\\212^\\\"\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226Fl\\217\\233\\236\\183V\\209\\152\\232\\254\\179\\b#\\160\\200\\GS\\SO\\196\\145dkZ\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\133:i\\150Q\\128\\\\\\ESCr\"","tag":"AbiBytesDynamic"},{"contents":"\"Cl\\131q_\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\\\\\206+V\\190\\GS\\161\\194RT\\234\\228\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"<Z\\247\\239I\\246\\NAK\\164\\233g\\227-~\\243p\\135\\DC2\\251\\t\\202Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\249}j\\190\\CAN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"O*\\243\\\"\\240\\189(\\146?v\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\n\\171bhN\\146\\227]\\221\\202\\&1\\220IN0\\ENQw\\145\\215\\t,Yqy\\205;\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Wk7\\144\\141\\DC4\\151\\154\\DC3D+B\\128a\\212\\171\\220\\148sU\\180C\\247\\179]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\129\\186\\134\\SUB\\239\\190]\\132d\\130\\226\\232\\135\\255s\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\143\\172\\ENQ\\206S\\SYN\\213\\184\\GS \\214J\\132*\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\171\\252<\\179\\217\\\"\\136h-\\178\\193\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\DLE\\208\\b#\\249\\171\\220\\DC3\\254\\v\\208U\\242ID&L\\209`\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"B1\\148\\FS[\\237\\193\\239\\173\\197\\&0\\249\\DC1/\\154\\243\\DC4\\250\\198\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\rpZ\\190\\USB\\194%\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\SUB\\STX=4\\ESC\\152\\234\\185\\a\\203j\\218\\136\\255\\131?\\ENQ\\255N\\252\\192+\\ETB\\153\\145\\CAN%s\\212LN\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181X\\218\\231\\224e6\\231B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\171\\232\\218\\150\\229\\SOC\\208\\227i\\189\\248\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\t\\209\\RS\\246b\\131\\175by~\\164\\173@\"","tag":"AbiBytesDynamic"},{"contents":"\"$c\\141\\vl&\\EM>\\204\\&5\\DC3\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\229\\220\\233\\253+\\240n+\\DC2\\152\\201e\\NAK\\NAK\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"{Z\\NAK\\SUB\\184&@J\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\223\\&7\\187g\\167p\\148\\215\\161\\135v\\190\\SUBv\\177\\170\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\USw\\US\\158\\190\\139\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK`\\ACK\\147'EO\\189=\\RS\\241rea\\143\\171_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\211\\192[\\rC<7T\\213\\224D\\248L\\t\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\231\\209:\\182\\210\\163\\CAN.0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\131r\\173\\207\\186\\233\\150'\\206\\182 ,\\DC2(hOg$3\\225\\186\\147\\224x\\250\\221\\159\\138]\\239\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\156\\196\\172\\184\\163$7dK]B\\188j\\172\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"`*\\210\\ACK\\217F\\t\\135%\\160\\247\\218\\234r\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"E\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHR+\\ACK\\194q\\155\\157\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\204l\\ETX\\b\\237Or\\NULv \\234\\&7\\177\\184\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\253\\161z\\198\\215\\223\\173+\\234ms\\r\\241 \\194\\149\\187\\NUL\\GS\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"0Y}\\132\\141\\&4\\GSI\\173\\236\\DEL\\SUB\\139\\183\\213z\\206\\162\\&1\\206\\244d\\201h\\166ki\\160z\\175\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\219\\NUL\\250\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"Q:y\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\DC1\\131\\245B A\\ETX\\134\\214\\146\\189\\145\\229m6\\216`\\199\\\\\\188d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\209\\244\\170\\160\\&3\\191X\\176\\EOT\\178\\DC4{\\144\\&7\\167\\220\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\172wNs\\171\\158\\139\\226\\207{</\\170\\141\\\\\\228.J2\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\219\\233u!\\242r\\RS4h\\221\\143,%TA\\146zm\\t2\\EOT\\128\\171\\233\\139\\149izb\\218\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"`z\\232\\230#wc\\243\\146\\219\\248\\186\\&9n\\146+\\251H\\179E\\196\\&6\\166])\\169\\134=\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\196\\188\\ENQ\\234e\\230H\\144[\\168\\ACK\\237G#\\185\\155\\228\\144\\204\\171~p9\\229\\ACK\\243\\195\\144\\128\\145\\244X\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\132\\194\\218@\\206\\203\\222`\\147\\223\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\" \\NUL\\190\\168n\\136\\189_Sy\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\165\\211\\ETB\\254P\\135\\168=;\\151\\191&\\212p\\DLE\\v0{\\SI\\224zn#Y\\172B&F\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\151\\190\\209\\&7\\SYNB\\130\\206+\\ENQ\\205c\\254@\\220\\145\\&2l\\r\\233e\\FS\\230\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244.\\ETB6j\\173\\159m[=[\\STX\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\v\\221\\DEL\\247\\RS\\226V\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"%\\212\\&7\\205\\176L\\EOT8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\131\\165\\135D\\SI?o\\DC4\\207Z\\254\\v\\173\\225n\\197H\\ACK\\251\\142n5S6$\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\217\\200\\200\\230~\\225?\\227\\&5cE\\ENQ3\\167\\182\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\192\\213H\\132f\\ETB\\192jbKO\\208\\227\\136\\189\\237\\&1\\174\\178\\161CA\\140\\144Tf\\SI\\250\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197s\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\";\\159\\215\\174%R\\226[v\\152\\242\\134\\&7j{\\DEL\\DC2\\221\\162F\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\159`\\252JQ\\176\\f\\201\\135\\149\\197<\\139\\157\\&3m\\DC3;\\t,\\188\\154\\159\\ETB\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\233\\242\\207\\193\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\239\\212G\\235P\\232&r4(\\231\\NAK\\SOH\\199\\128\\248ue\\190\\225\\241\\211\\238\\252\\200\\180\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SIr\\EM\\212\\f\\183\\184\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\137\\168\\142V\\228\\f\\GS\\ETB\\SIr\\254\\238\\134\\140\\214G\\ACK\\180^\\167\\208f\\212\\176\\250^\\218?H\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\201\\aY\\249\\216/\\229\\236+\\236\\229\\219\\136,\\234\\210I[\\139\\184\\164\\SUB\\160\\239\\226\\&2OR\"","tag":"AbiBytesDynamic"},{"contents":"\"?_ &hz\\207\\180\\f\\242\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229}\\RS(lvDz4\\170y<\\239^\\165a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\r\\216\\239\\t\\243\\168\\&6o\\241 \\149\\176r\\252\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249R,\\233n\\144#\\169\\140\\&6\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\150\\161\\147|\\243\\STX+\\SUBW\\243\\206\\226\\204\\SOH\\138\\219\\215\\248Dkn\\226\\NUL\\t\\183\\235\\242\\189\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\ETX\\129\\SYN\\182\\131\\212zw\\225BM\\252&\\129M\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\144\\239Loec;\\EOT\\224\\249\\133T\\NAK\\to\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\217J=\\188\\209\\241[~\\222i\\228\\\\\\DC3z\\184\\216x\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\NUL\\208\\231\\253\\204\\191\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"Od\\227\\131\\DEL\\166\\a]\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160{?\\177\\185\\156\\203\\174\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189O,\\180\\&5h\\248\\155\\244\\200\\244\\157\\FS9\\STXa\\201\\140B\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"X~R\\DC1Y\\169\\223\\ae^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212`\\221\\GS\\157\\164^jQx\\189zc\\159\\aT\\238{\\DC1\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\211\\186\\135\\NAK\\187\\ACK)\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149XQz\\193\\GSa\\199\\184\\&2$\\SO\\205\\r\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"J^\\226\\236\\t\\210\\218\\247\\143\\DC4/\\237D_\\140e\\231\\243\\238.\\207\\201\\130\\201m\\b\\151fl\\184H\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\EOT\\176\\t6\\SUB\\171^\\150u\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\246\\180(\\198\\163\\206\\160=<boI\\EOT\\DC1\\SYN\\185\\135\\niIE\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN.\\223u,*g\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\183C\\217\\222\\146\\213\\243$\\234f\\248\\DLE\\v\\138\\207\\244\\233\\207J\\168o_$\\ETBY\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\239\\153\\162\\DC2\\211R\\GS\\239la\\147\\178A\\207<\\240\\247\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\129{]C\\234\\&9yo\\163tB\"","tag":"AbiBytesDynamic"},{"contents":"\">7\\130\\170\\231\\140\\212\\207\\186m\\185\\158\\240\\157v\\138\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\SYN\\174g\\192_\\197\\133\\174^X\\SI\\147p\\149\\206\\137\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\252mn\\134\\ACKj\\t\\245\\132}w\\225{\\249W\\170\\136\\b$\\174\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183i%&\\143aa\\EM0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148g\\alH\\ACK=\\214<\\241L\\183\\159\\209?\\t\\185\\132\\252\\244Q\\145IO<u&\\227\\248\\158\\250\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"vcS\\f*\\137\\252\\SYN\\206\\164.\\DEL\\171d\\145\\164\\206\\199?s\\NUL\\216\\248\\140\\226r\\166\\&3K\\144U\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\171\\244;\\243\\DC44X\\218\\\"\\136+6/>*\\144\\&0\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\160\\&1\\173\\ACK\\155\\ETX\\DC1L\\n\\199c\\177zD\\217\\193\\181e,\\174\\185\\129*\\135\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\195i\\174\\216l\\SUB\\148s\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\&0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\151\\226\\245\\EM\\220\\US\\231\\136\\131\\164\\226\\148wW\\182\\218Bgt\\v\\165\\a\\163\\183g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\DEL<'=\\US\\US\\141\\248\\&7~P\\138\\187\\CAN\\152%\\160\\251\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250wZXQa?\\207\\217E\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150!!\\145\\246\\151RK\\249\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\251\\DC1\\218\\168\\226<\\187,\\n/\\161\\&1\\ESC\\t\\186CG\\145q\\239u\\ra\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\200t\\SYN\\SUB\\b\\229f\\235\\&5eLtv\\203\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\203\\246\\128X\\223\\157\\163\\236\\ESC\\204vneb'\\SUB_0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160a\\168\\159\\f\\146\\224\\134bx\\216}\\185\\193\\205\\DC1!\\251\\144\\v\\129?C\\151bG\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"dK\\205\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\\\x\\169\\158\\160\\162\\SOH\\130\\224\\245\\141\\&8\\DLE\\237I\\213\\231\\129\\193\\243\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM_R\\134e`#S\\149\\&5C\\SOHC\\r\\f\\164\\220\\175\\&0\\DC26\\\"w\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\142\\198\\129-\\217\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\230M\\171\\233\\210q\\ESC\\168x\\NULS\\191\\232\\151u\\206\\246\\214\\129H\\178Lg\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\255\\CAN:\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\166\\165\\DLE\\253\\240O\\131\\223\\&3U\\167\\ETXM\\229\\167QK\\162\\&7\\139>\\234\\148\\244xvS\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\230\\t\\EOT\\204\\CAN\\165\\t;\\188r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248c\\251\\137x\\235\\140\\185\\DC2>\\136>\\141\\184\\146\\183z\\147\\195\\141\\146\\170\\154\\&5\\b2+i\\172\\211`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224 \\143\\129|%\\207\\214\\&8\\145^L!\\180N0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\217,\\201\\SYN\\248i\\254\\131\\&7\\253\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v!\\248\\226nu\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\vAR\\234b\\157\\&1_\\213L^\\250\\&1\\151-:\\138i\\144\\245\\159i3\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"K\\ETX\\247\\US%\\250\\135\\254B\\219\\174\\211\\153{\\241\\GS1^\\235\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"KF 2\\169EJW\\216\\v\\173/Xo\\210\\194\\f\\232\\162V\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160/\\134\\147D\\237\\ETX`\\132\\&4\\195Nu1\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\140\\167\\216\\159\\&6\\220\\221}\\223p\\220\\143\\n\\216\\n\\ESC\\159Mq\\249\\GS\\195{\\ACK&\\129\\149)\\202\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182F\\DC3\\255\\234\\USn\\143V\\190\\242m\\190\\149\\213\\135\\205\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236G!fw\\215\\t\\252 \"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\191n1 \\213jI3\\161\\242\\GS\\147\\159\\213\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\&1~bH\\210\\&5S\\185FB\\220\\STX\\229\\185\\n\\SUB\\SO\\v\\214F\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\DC2\\191*J:5k4\\b\\afh\\148+\\207\\195\\133\\181\\DC1(Hc=\\232W\\158\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\160\\163\\ENQ}0T\\188sW\\190~\\214[\\251\\254p\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\190\\\\o\\DC1(c\\137\\175^_u<.\\156q#\\158t\\131d\\248\\247+\\219\\248\\160\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187q\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\228\\207u(\\ESC`y\\171^\\SI\\164\\222\\223\\196\\\"\\136\\160\\164H\\185\\185#{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\RSp\\231GJ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\255\\206\\148U\\149\\193\\178\\249\\178\\161\\201\\&7-\\147\\128Zm\\SOq)\\162\\215\\174)3@\\214\\173\\\\\\205\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\191\\187\\DC3\\nP\\219\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\156\\239\\ETX_T,X=\\n\\SYN\\237(\\171\\176\\196s\\ETB;\\FS\\217\\139Z\\192T\\236\\164m\\213\\233\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\129\\222\\171\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"VA\\239\\EM\\238\\205E\\ad\\169u\\138\\DEL\\183'\\192\\170\\201<\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\133C\\t\\240\\vl\\DEL\\255;\\208\\DC3URC382I\\250\\248H\\EM\\206x\\170;\\188\\209<\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\237\\172_\\248L\\220\\DC2a\\244!\\163\\DC2\\152\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\229\\ETX\\SYN\\143j]%\\197\\192\\SI\\ESC\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\ACK\\ESCG\\SO3\\147\\137f\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"]\\135\\146\\128\\135\\246\\230ER\\v\\a\\181\\246\\150j:\\162j\\188\\ETXk\\150\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\139J\\208\\131\\SI\\172%\\174\\135\\163\\&8\\242\\219; N\"","tag":"AbiBytesDynamic"},{"contents":"\"(v\\161K\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\245\\ESC\\188\\197\\129r\\206\\255\\210\\210\\255\\176\\174\\NAK\\ACK\\148\\a\\135\\231\\b!V \\195\\195\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\")\\193X\\201\\232\\t*\\GS\\164p\\136\\&9\\143)5a\\247IS\\131\\252B\\169\\v&\\162\\161lw\\DEL\\213\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212g-\\nl5\\CAN\\SO@\\CAN\\217\\234\\153\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\147\\191RG\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\225f\\251\\233G\\171\\NUL4\"","tag":"AbiBytesDynamic"},{"contents":"\"xq\\181\\GS\\168\\a\\SOryT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vR#\\STX\\190=\\190qE\\DC3-\\220\\231!#\\RS\\142\\188\\STX\\146\\191\\139\\146(\\137x\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\DC1;\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\SUB^8\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\208\\248\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\171W\\201\\219\\206Oa\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\212\\163\\US\\175\\184\\SIy\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144lq\\DLEy\\250\\\\\\224\\154n\\DC1\\229\\FS\\172\\235\\CANE\\173\\&5\\RS\\175doa\\\\\\153\\244\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167d\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\217\\148\\211\\229'\"","tag":"AbiBytesDynamic"},{"contents":"\"/}ET\\132\\182\\169\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\169\\&0\\CAN\\162i\\244\\243.\\186S`7#L\\216Y\\194p\\224\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218V\\173\\RS\\224g{\\197B\\247\\&4\\143\\v\\204\\226U\\167\\145W\\152\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"zD\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL*t\\241s\\178e\\251r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146w\\201\\&1f\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\167R\\250\\240\\192%\\SI/\\215\\EOT-v\\132\\242\\213\\197\\187\\147L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221U\\155\\155X=\\231\\\\J\\246\\243YEr_\\223f\\148i8\\RSB\\ACK\\137E\\248\\200\\&7\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"BG8 \\208HE\\135\\231\\&2\\208\\179\\&9\\150V\\176\\169J\\235\\199'\\247\\193\\204\\RS\\ENQ\\174\\144\\156\\DEL\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\148\\252\\223\\214\\140\\138\\166\\225^\\144\\134Y\\\\\\243\\&3\\232\\214\\RS\\243\\253i\\nBN\\147$5\\173iy\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\NUL\\158\\199\\&3\\DEL\\214\\DLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\182\\165\\250\\249\\137|l%\\143\\ESC\\197e\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\214\\201\\228\\144|,\\DC3\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173?n\\130\\151\\230hG\\176^\\194^L\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\166\\CAN\\164x\\238FB:I\\147\\128\\248)\\240U\\179\\135M\\163\\&2\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216 \\DLE,\\138\\n\\192\\134$\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\234\\244\\219\\144\\211\\220\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"W>\\215\\252\\USG\\a'1,\\178\\174\\207\\208(\\159p\\245\\239/\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"84683406984715541393904845520593092971382140761286491757622490163654132395392"],"tag":"AbiUInt"},{"contents":[256,"76068076160566097868423716645761870175528071530570639062285408298682311448423"],"tag":"AbiUInt"},{"contents":[256,"298"],"tag":"AbiUInt"},{"contents":[256,"66341902429814355463267957856697108213926051399167720182791942027083880093473"],"tag":"AbiUInt"},{"contents":[256,"94"],"tag":"AbiUInt"},{"contents":[256,"283"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011521"],"tag":"AbiUInt"},{"contents":[256,"445"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"5123080815960708266972882096544618686218301631129466423371231840815971038433"],"tag":"AbiUInt"},{"contents":[256,"9000"],"tag":"AbiUInt"},{"contents":[256,"946"],"tag":"AbiUInt"},{"contents":[256,"31253561247499423663225386143349460993956873748083660878472660139702928338051"],"tag":"AbiUInt"},{"contents":[256,"14655025811975118821885978796211344472449852873109581132538186410334432967049"],"tag":"AbiUInt"},{"contents":[256,"14655025811975118821885978796211344472449852873109581132538186410334432967049"],"tag":"AbiUInt"},{"contents":[256,"14655025811975118821885978796211344472449852873109581132538186410334432967049"],"tag":"AbiUInt"},{"contents":[256,"14655025811975118821885978796211344472449852873109581132538186410334432967049"],"tag":"AbiUInt"},{"contents":[256,"14655025811975118821885978796211344472449852873109581132538186410334432967049"],"tag":"AbiUInt"},{"contents":[256,"14655025811975118821885978796211344472449852873109581132538186410334432967049"],"tag":"AbiUInt"},{"contents":[256,"14655025811975118821885978796211344472449852873109581132538186410334432967049"],"tag":"AbiUInt"},{"contents":[256,"14655025811975118821885978796211344472449852873109581132538186410334432967049"],"tag":"AbiUInt"},{"contents":[256,"1002"],"tag":"AbiUInt"},{"contents":[256,"50591138916938788318515614151481506944922069823716997953646788150599067033598"],"tag":"AbiUInt"},{"contents":[256,"109137898260762395423764235747664112914080310182403705854725356050101673717214"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"102865391820268642332799008500417113878692255284424027654065162449529438047931"],"tag":"AbiUInt"},{"contents":[256,"1539831104"],"tag":"AbiUInt"},{"contents":[256,"34900090945836155612031585242894314275440438869509887984825265490824513411004"],"tag":"AbiUInt"},{"contents":[256,"1542734122"],"tag":"AbiUInt"},{"contents":[256,"77333761292764523062106239196092460413179546815160031183865045706261014529382"],"tag":"AbiUInt"},{"contents":[256,"39861803940735432511761942966530009925333769285885669490861541327633401014210"],"tag":"AbiUInt"},{"contents":[256,"92794354814084323456256731932373428770247609996918692499378287656405010585421"],"tag":"AbiUInt"},{"contents":[256,"64726636787889156628512476437293533709656789426256160031004374621896841578073"],"tag":"AbiUInt"},{"contents":[256,"1531071468"],"tag":"AbiUInt"},{"contents":[256,"59558650574964876190827529457069635236128993631741094371179216612855517117656"],"tag":"AbiUInt"},{"contents":[256,"5459017952731690451508276788739267004707319327330486782438067249109046337823"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639939"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858882"],"tag":"AbiUInt"},{"contents":[256,"438"],"tag":"AbiUInt"},{"contents":[256,"893"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"74106214192619645671781948262071065549352481906004147646287767830041574988402"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781054"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577599"],"tag":"AbiUInt"},{"contents":[256,"1534735297"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637934"],"tag":"AbiUInt"},{"contents":[256,"48550858882781654384421655134849735218305417220288353504720257068165583401258"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"40878024634984469029989708398802467850593273029491710075806312797433643377067"],"tag":"AbiUInt"},{"contents":[256,"40878024634984469029989708398802467850593273029491710075806312797433643377067"],"tag":"AbiUInt"},{"contents":[256,"40878024634984469029989708398802467850593273029491710075806312797433643377067"],"tag":"AbiUInt"},{"contents":[256,"40878024634984469029989708398802467850593273029491710075806312797433643377067"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639889"],"tag":"AbiUInt"},{"contents":[256,"9570407392079918138041828969306524740680972069663568281277490575853305763020"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637933"],"tag":"AbiUInt"},{"contents":[256,"25917420736519554758695119299373262438655008558790104909464959347065121897704"],"tag":"AbiUInt"},{"contents":[256,"14740094163561336493425688896745629328986296253625026344726632470411310341021"],"tag":"AbiUInt"},{"contents":[256,"30117162905898052614028003700457878544754334775950756682130991178011189372725"],"tag":"AbiUInt"},{"contents":[256,"12951482406708844910259897924621791909187447979584353798992840691574405725064"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062336"],"tag":"AbiUInt"},{"contents":[256,"112710909685961364354281806621898745879852797810884171598059061590334377166509"],"tag":"AbiUInt"},{"contents":[256,"821"],"tag":"AbiUInt"},{"contents":[256,"78115021069377531641490650947706174169924241529737591645441329379243574653461"],"tag":"AbiUInt"},{"contents":[256,"15768018208598157048579205513957989695991771127505359941496090436994797735357"],"tag":"AbiUInt"},{"contents":[256,"67416955951908926794325674958556286937547189408450255126759540539868837645763"],"tag":"AbiUInt"},{"contents":[256,"58950167161727248139605273646695477754955275856935334251733483980573576671989"],"tag":"AbiUInt"},{"contents":[256,"73996364760503616941997359"],"tag":"AbiUInt"},{"contents":[256,"983"],"tag":"AbiUInt"},{"contents":[256,"9087797343261956462198589488162368839061808678575686089540714782649182122080"],"tag":"AbiUInt"},{"contents":[256,"2002"],"tag":"AbiUInt"},{"contents":[256,"46"],"tag":"AbiUInt"},{"contents":[256,"78650432673660042028589823610978399757436403628399486543174740778900407398140"],"tag":"AbiUInt"},{"contents":[256,"102797269002233831227497678208015482364932358182524609181170524088576683983246"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639919"],"tag":"AbiUInt"},{"contents":[256,"3620898151512406317698915645402732936515899871673265035751554247837358780411"],"tag":"AbiUInt"},{"contents":[256,"69354579650491781490693560270359203978832721148013471041389948268270267741610"],"tag":"AbiUInt"},{"contents":[256,"573"],"tag":"AbiUInt"},{"contents":[256,"900"],"tag":"AbiUInt"},{"contents":[256,"1534535900"],"tag":"AbiUInt"},{"contents":[256,"33214336458021536771561588006528833317637013562538652474544210795746037228132"],"tag":"AbiUInt"},{"contents":[256,"64"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"68466193343413029127658569923012645450873274647931371036577371800561089320700"],"tag":"AbiUInt"},{"contents":[256,"53"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088323"],"tag":"AbiUInt"},{"contents":[256,"55906024161695388260218195000372225554302653457642960990183777934350614048994"],"tag":"AbiUInt"},{"contents":[256,"1543232022"],"tag":"AbiUInt"},{"contents":[256,"20798224692051066087957941608434588964045396989905447341352032887200474696666"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689600"],"tag":"AbiUInt"},{"contents":[256,"9635510688342701981082971891832479300056920604335226428806833988307680041201"],"tag":"AbiUInt"},{"contents":[256,"93595910178851416428041180616421810458291102627819352355908897540853651194842"],"tag":"AbiUInt"},{"contents":[256,"66206904384077346641861634112264216405897120160467477435256217975508092380619"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639437"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff7","0x0000000000000000000000000000000000000000000000000000000000009aa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005900d","0x00000000000000000000000000000000000000000000000000000000000003d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000039f51c3dc45719809"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"8230444547363503871421690340269155203251199493489500974273699824177161706306"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81d","0x0000000000000000000000000000000000000000000000000000000000001277"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"11"],"tag":"AbiUInt"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ff","0x0000000000000000000000000000000000000000000000000000000000000fb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c4","0x0000000000000000000000000000000000000000000000000000000000000100"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"37"],"tag":"AbiUInt"},{"contents":[8,"62"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf5","0x0000000000000000000000000000000000000000000000000000000000000061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":[256,"100771285332757053754806197463212133096034016104339895282148840732668042122003"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb00","0x0000000000000000000000000000000000000000000000000000000000001390"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"1534579091"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000582b0","0x0000000000000000000000000000000000000000000000000000000000001358"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"8894529073167036401304250756459807488392399490947219758605056579648539834272"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001cae0","0x0000000000000000000000000000000000000000000000000000000000000078"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce4f","0x000000000000000000000000000000000000000000000000000000000000be5d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"18106142668351202193831351454338436077043670375888611026349264663043792379081"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008c41c","0x0000000000000000000000000000000000000000000000000000000000002ea6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]