[{"call":{"contents":["asset_approve",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[128,"21325657677925050527972092664721777099"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087daf","0x0000000000000000000000000000000000000000000000000000000000000035"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000463e6","0x0000000000000000000000000000000000000000000000000000000000000025"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"56125347308734671437134389338609442517261686026044926566606356354404415531836"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000006","0x0000000000000000000000000000000000000000000000000000000000000013"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e762","0x000000000000000000000000000000000000000000000000000000000000004b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"1061537"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea17","0x0000000000000000000000000000000000000000000000000000000000000054"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211775"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000057267","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"112902664590370587965581560132627863705562162914797448477423940202480275875847"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ad","0x0000000000000000000000000000000000000000000000000000000000003301"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"242"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c43a","0x0000000000000000000000000000000000000000000000000000000000007e4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"5772661533064884350248552063129853143131080365167921990181684402276356544342"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074e30","0x0000000000000000000000000000000000000000000000000000000000007e4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"44199947623027869881280600367227560810456896284413503914198367142770093394356"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077396","0x000000000000000000000000000000000000000000000000000000000000cf13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"65187818119711423426883673793815849527691760352444905502559818306384859551454"],"tag":"AbiUInt"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008db32","0x0000000000000000000000000000000000000000000000000000000000000315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"60044560174112264227338786427231845959778345969078870443729928973501328496382"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0d","0x0000000000000000000000000000000000000000000000000000000000000015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"190492205738671"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb45","0x000000000000000000000000000000000000000000000000000000000000b6c9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"16956590717394664581796781170162118005069911235519246972980871772838270932490"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f7c2","0x0000000000000000000000000000000000000000000000000000000000000024"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x0000000000000000000000000000000000000000000000000000000000000011"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"60099842190759694213698500371152159607025112473127262521899960767660419523092"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002326","0x0000000000000000000000000000000000000000000000000000000000001395"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"58675089828701566076546941223569172877528738079012898088678731082689934352851"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e5ae","0x000000000000000000000000000000000000000000000000000000000000d853"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b1","0x000000000000000000000000000000000000000000000000000000000000ea96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f39","0x000000000000000000000000000000000000000000000000000000000000c4e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"16342207698041444230497580511981423465718808194905968863176083900956053905409"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000053fa7","0x000000000000000000000000000000000000000000000000000000000000824b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"58817617236939109430909648815205691087066615504782432191170885931500629494624"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabe","0x0000000000000000000000000000000000000000000000000000000000000062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014b55","0x0000000000000000000000000000000000000000000000000000000000005c24"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"155"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001387","0x000000000000000000000000000000000000000000000000000000000000d065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"40120920255396428270562457485448140897881920126816438198453092127101114401586"],"tag":"AbiUInt"},{"contents":[256,"4631711780279466560670382912529246441805525469835934731770008163965638556133"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b056","0x00000000000000000000000000000000000000000000000000000000000041e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"641120763013443105339161603920999319905331257"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005dde9","0x0000000000000000000000000000000000000000000000000000000000007fff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"2003"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d52","0x0000000000000000000000000000000000000000000000000000000000006ddc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c5dc","0x000000000000000000000000000000000000000000000000000000000000500a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea46","0x000000000000000000000000000000000000000000000000000000000000c633"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ab45","0x00000000000000000000000000000000000000000000000000000000000026ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"1531565548"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0d","0x0000000000000000000000000000000000000000000000000000000000001340"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"79797905692465204479041258864482137921"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002db32","0x000000000000000000000000000000000000000000000000000000000000d0cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"5016096848751619405189775521946655054263416184752574479206492483374115878023"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002f","0x00000000000000000000000000000000000000000000000000000000000001f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639701"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd38","0x0000000000000000000000000000000000000000000000000000000000001c55"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"18421043469732256261719883078567889039865901897075556084769633807321856943899"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5e","0x00000000000000000000000000000000000000000000000000000000000013bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006aae2","0x0000000000000000000000000000000000000000000000000000000000000315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":[256,"46162195747494830444879760554654273257999618465916135405511542245841276555853"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffa","0x00000000000000000000000000000000000000000000000000000000000048c2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"28"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061a35","0x0000000000000000000000000000000000000000000000000000000000006243"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000746d7","0x0000000000000000000000000000000000000000000000000000000000000011"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":[256,"21097491394126227365895698931785972396573217234708320592953044542172434387415"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe4","0x000000000000000000000000000000000000000000000000000000000000a291"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c983","0x0000000000000000000000000000000000000000000000000000000000007e4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"22776540598249431923310476310984674686156584548911566237877909"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000027f","0x0000000000000000000000000000000000000000000000000000000000007117"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"21528359924129070783521369239484621488867673061259587154410966304961859053264"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e353","0x0000000000000000000000000000000000000000000000000000000000001368"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[8,"100"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb11","0x000000000000000000000000000000000000000000000000000000000000c063"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"18446744073709551616"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b6a","0x000000000000000000000000000000000000000000000000000000000000ca07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046cd0","0x000000000000000000000000000000000000000000000000000000000000139b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031da1","0x000000000000000000000000000000000000000000000000000000000000dcba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"37502535684014750034479793933509416291429037754798591870273309903537590482040"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000050039","0x000000000000000000000000000000000000000000000000000000000000012e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"41"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580af","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"101183010665641442647102579302921852359300774976861502872665598591710127143533"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb25","0x0000000000000000000000000000000000000000000000000000000000002710"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b1fb","0x0000000000000000000000000000000000000000000000000000000000001356"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"28662029741409105354923245732348137844227176398872154758285886241623981757285"],"tag":"AbiUInt"},{"contents":[256,"53031067028380355314196329446020608272674734970757657592257199318734493816301"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003256a","0x000000000000000000000000000000000000000000000000000000000000b71c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"120"],"tag":"AbiUInt"},{"contents":[8,"141"],"tag":"AbiUInt"},{"contents":[8,"98"],"tag":"AbiUInt"},{"contents":[8,"226"],"tag":"AbiUInt"},{"contents":[8,"14"],"tag":"AbiUInt"},{"contents":[8,"15"],"tag":"AbiUInt"},{"contents":[8,"72"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"116"],"tag":"AbiUInt"},{"contents":[8,"40"],"tag":"AbiUInt"},{"contents":[8,"200"],"tag":"AbiUInt"},{"contents":[8,"105"],"tag":"AbiUInt"},{"contents":[8,"85"],"tag":"AbiUInt"},{"contents":[8,"57"],"tag":"AbiUInt"},{"contents":[8,"107"],"tag":"AbiUInt"},{"contents":[8,"117"],"tag":"AbiUInt"},{"contents":[8,"37"],"tag":"AbiUInt"},{"contents":[8,"147"],"tag":"AbiUInt"},{"contents":[8,"232"],"tag":"AbiUInt"},{"contents":[8,"157"],"tag":"AbiUInt"},{"contents":[8,"103"],"tag":"AbiUInt"},{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[8,"46"],"tag":"AbiUInt"},{"contents":[8,"251"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f4","0x0000000000000000000000000000000000000000000000000000000000009eb0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ad","0x000000000000000000000000000000000000000000000000000000000000614b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae5","0x0000000000000000000000000000000000000000000000000000000000000087"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"4908992402579684389945161676835945915985239896539687612507133299492515454388"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e350","0x00000000000000000000000000000000000000000000000000000000000003b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"37663389742449394582906165505191475975017188959224218186958126432013942146079"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bda","0x00000000000000000000000000000000000000000000000000000000000011aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"14130828445649159128277568023041627016939026846936914536204739136774021576452"],"tag":"AbiUInt"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd36","0x0000000000000000000000000000000000000000000000000000000000000f3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639915"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c3dc","0x00000000000000000000000000000000000000000000000000000000000003ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":[256,"1526786861"],"tag":"AbiUInt"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":[256,"65"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000045","0x0000000000000000000000000000000000000000000000000000000000000064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008479c","0x00000000000000000000000000000000000000000000000000000000000007cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"36"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000151a4","0x000000000000000000000000000000000000000000000000000000000000137f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"41794136397336400054779912366103199834530927763585235045898019006923156714381"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d1","0x0000000000000000000000000000000000000000000000000000000000007b34"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":[256,"57"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3b","0x000000000000000000000000000000000000000000000000000000000000c062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008b7ba","0x000000000000000000000000000000000000000000000000000000000000d9d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000788d7","0x000000000000000000000000000000000000000000000000000000000000d893"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000055","0x000000000000000000000000000000000000000000000000000000000000270d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdc","0x000000000000000000000000000000000000000000000000000000000000d8b4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000026","0x00000000000000000000000000000000000000000000000000000000000017d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"90"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046512","0x0000000000000000000000000000000000000000000000000000000000008fd3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"18867274313313842040772602604487831322557476765952713523025524685597904784266"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a458","0x00000000000000000000000000000000000000000000000000000000000095b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"\"\\198\\181\\&00<nYYYY\\200\\210O\\169\\246\\231\\228\\235\\133\\239\\196\\186\\178\\211\\EM3\\138\\170\\201\\NAK\\155\\CAN\\206\"","tag":"AbiString"},{"contents":"\"\\136\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":"0x1C310426202C49BD70225A9A660dA6019422FFcA","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"6405955926978932886319211184094378809787643018159002471966993232366552488162"],"tag":"AbiUInt"},{"contents":[256,"80437751681515330546115618906503639343710570577623821296449408272340382970071"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"503"],"tag":"AbiUInt"},{"contents":[256,"58386976774784404085614970085068790373306744170826039917951133217149623211977"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fb","0x0000000000000000000000000000000000000000000000000000000000000048"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"39132111718191553235257111822501239908822775591542695036206456008573369618302"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ffff","0x000000000000000000000000000000000000000000000000000000000000031f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x1C310426202C49BD70225A9A660dA6019422FFcA","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000044967","0x000000000000000000000000000000000000000000000000000000000000008b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"101176263354391672685399215115704838050191276174729521446366364414621567044105"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a515","0x0000000000000000000000000000000000000000000000000000000000001360"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"34"],"tag":"AbiUInt"},{"contents":[8,"87"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f9a","0x000000000000000000000000000000000000000000000000000000000000ca22"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"\"\\\"\\NUL\\191y\\247\\FS\\253t\\DC1\\224\\241\"","tag":"AbiString"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiString"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"76435669361359372353407341839527319062932675034393271727416450747298458478013"],"tag":"AbiUInt"},{"contents":[256,"30854377484599255788584497321369259554223169472833501557200691215789816068261"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"226"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055773","0x000000000000000000000000000000000000000000000000000000000000137e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068d3f","0x0000000000000000000000000000000000000000000000000000000000000012"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"85"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580ae","0x0000000000000000000000000000000000000000000000000000000000006a28"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0xC082D5F54430e6Cd6Dfc7D409dcE2F2fA9330698","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c4","0x0000000000000000000000000000000000000000000000000000000000007cd4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"5092987206440970230981862804615288743543115079813492389731831850927063017764"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c616","0x000000000000000000000000000000000000000000000000000000000000e346"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"863"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e350","0x0000000000000000000000000000000000000000000000000000000000008f77"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"1534261662"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000016ac4","0x0000000000000000000000000000000000000000000000000000000000008197"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a41e","0x00000000000000000000000000000000000000000000000000000000000031ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"100000000000000000000000001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000166","0x000000000000000000000000000000000000000000000000000000000000a647"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003c9de","0x0000000000000000000000000000000000000000000000000000000000007116"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a9","0x000000000000000000000000000000000000000000000000000000000000ca0b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xED1785b65896022A79B55D3EbaFD6Ab7C6560e92","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1c","0x0000000000000000000000000000000000000000000000000000000000007115"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ETB&\\nv\\SOHF\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\SOH\\163 )mG#1r\\\"\\131\\188\\150\\217\\STX\\239\\226WdB\\US\\246p\\STXi\\135\\197W\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\ACK\\249X\\185\\231\\\"=\\250^\\FS\\139/T\\242\\191\\184z\\184u\\171\\v\\203k\\183\\ETX\\167\\145\\EM\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\EOT\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\166@H\\DC2\\249M,\\171;?\\\\$\\n\\DC1\\138\\182\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f`\\160\\231\\172\\248\\v\\ETBf\\234\\155\\253x\\155\\b\\144Kj\\159\\v\\SI\\EM\\156J\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\186\\DC2\\ENQU\\170i\\128H1\\211;\\t\\b\\159*\\r\\183\\219\\185\\215\\151\\168\\143\\&9\\GSp\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\240\\214\\158\\167x\\154\\&1w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"fv\\240{\\153]\\239%?qw\\182\\188O\\181\\EM\\137\\201l\"","tag":"AbiBytesDynamic"},{"contents":"\" B\\199\\147q\\137\\ESCF\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\184\\ETB\\182\\219Sy\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\155\\ETX\\234\\238D\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\182e\\133\\146\\ENQ,\\193\\225\\182\\DC1!\\190\\196\\205\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\199\\194\\213\\211tv\\230\\192\\165y\\216\\143|R3\\CAN\\237?\\DC3r[\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"N\\190\\f\\208\\199\\158\\175\\197\\175\\203\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\253\\249\\&0\\128\\180\\235\\166e\\DC3\\244s/>\\130\\204\\167\\\"\\152\\FSl\\175\\133\\233Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\128\\132\\170\\231\\239\\158\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\243x\\f\\216~\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"8LN\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\NAK\\SUB>S\\221\\218^O\\247\\195\\237;\\151\\151N\\221_\\189=\\254v|\\167^\\ETXJ\\208'\\191\\235\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205)j\\v}Q\\DC1H\\STX\\NAK\\227,\\205\\254z\\164\\231WM \\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\154m\\DEL\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\158&\\245\\186\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\";\\203\\213\\170\\228\\181C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\207M!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\ETB-\\DC3\\212\\SO\\241\\251\\ETB\\145n\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\ETB\\SO\\210\\&2\\ETX\\233\\ACK\\202\\147\\164$\\188\\238\\217\\175\\180T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\DC2\\245\\ESCvp\\239XBe\\196\\b#}\\SYN\\162\\SOH\\150\\184\\255\\a\\DC4\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214=\\181\\255\\219\\DC3\\174\\176\\192\\195\\171\\246\\186\\US\\206\\254\\ETX\\DC1\\191\\229\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159J\\DLE%\\152\\EOT\\204\\228\\149\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DELm\\135N\\249\\128\\r\\228\\aB\\248\\174\\174\\194e[\\145\\214\\222\\251\\t\\212F\\204\\\\\\151]\\198\\144[uR\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\194\\168\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\175n\\EM\\162\\175\\183\\254\\155\\DEL\\RS\\160\\&3Xo*x#\\225\\NAKc]P;\\164\\n\\t\\147x\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\195r\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"O3\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169y\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\fFhNz\\144\\187X\\ETX\\147J\\167\\251\\146\\241\\254o\\240\\220vg[\\192\\202*^\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211B\\141sp\\245\\231`C\\195\\238n\\DC3\\190\\248/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STXf2\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\163\\216\\236 F\\242\\228q\\NAK\\212L\\216\\176r\\224\\138\\185\\DC3\\176\\140OO/+\\161\\174plr\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\b\\226\\252\\202\\EM\\147\\151\\132.\\247z\\213\\212\\207I=\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"2p}\\FS\\153\\209\\SO\\DLEH\\218\\&22\\SO-\\209\\248\\v8<r\\t\\168\\241\\209\\DC2m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145|M]VhgW\\244\\234]\\173\\167`vD\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\187 _D\\141\\ETXb_~\\197e\\158p\\225b\\220\\SOHr\\DLE\\187\\&1;\\ETXv\\173\\&5\\141\\134\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\163\\251C\\165\\251P\\189#\\146\\165\\187\\225\\131n[t\\225OK\\246\\190\\149p\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"4A\\218\\&9'1\\238\\138\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\190\\168\\r\\197\\219\\135\\143\\180\\168\\150\\EM\\213\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209#\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\225>\\183!\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229i\\255\\ETB\\SUB\\207\\243\\188\\224\\137\\182\\144\\185SM\\NUL\\200\\EM\\147~\\184\\&2<\\148\\152\\rt\\161n\\198t\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\214\\155w\\236\\203\\255\\ESCx\\200\\169\\205\\DLE\\b\\202\\ESC\\212\\US\\NAKB\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"qZ\\211>\\176\\145\\189_\\b\\233\\&0Z\\a\\251t\\129\\168\\224\\212\\216\\144\\182\\197AUd\\191S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193F>5\\147p\\156m\\171\\&7x\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\161WK|\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\US\\221\\216\\251\\SIL\\139\\205\\216c\\235`\\228ge\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\221\\DC2\\235\\249\\188\\153\\198\\f\\151\\GS\\205Q\\250F\\248C\\143)it\\207w\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145s2\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\157\\DC1_\\186\\SOH\\207\\255\\181\\197\\168p\\207Z\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"[L\\186\\bz)\\228\\138y\\178\\194\\216\\189U\\188\\221A\\ETB\\135\\&9}\\154\\191\\\"\\195\\189^\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\\"\\211}\\190\\150@\\r\\199\\SOH\\246\\188\\146\\152oW\\SUB\\246\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\196\\231\\STX\\243\\131\\190<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\207\\ETX9w\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f>\\194\\236\\140;Z\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207J\\185\\ACKC\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\241mmW\\220)\\173b\\129\\SI#\\DC4\\224Hq\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\213K\\211\\153\\204\\DLE\\146\\245\\197\\183*\\vHh\\153\\ETXsd\\247)\\192\\178/\\NAK?\\183\\231t\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\172\\&8BvY\\165^6\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"l/\\243\\&9DG\\139\\134\\145\\169\\210\\202\\194\\221]\\240\\&6%M\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\245[vxuB\\244t\\CAN\\200\\164\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\255\\189\\232\\148]z^v8\\140B\\152\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"XG`t\\140\\&5G\\196\\&4D\\219tFqPq(\\142(\\168L2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\147\\DLE\\DLE\\227\\231\\160!\\222\\232\\220\\DLE\\DC3:9\\252\\249(U{\\254\\214;\\158\\228>\\STX\\200\\141\\253\\231\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143E\\DC3\\208\\ETB\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\EOT\\212$(\\208n=\\169 \\202\\141s\\227\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\ETB\\130\\SOSdG\\183\\207\\&1o\\172\\232\\167\\DC1\\161\\SO\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\194\\ESC\\223v\\146\\236\\144\\v\\180\\230pJ\\SYN\\214\\160\\&6\\142\\203(z\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\DC2\\251\\173c\\nUS\\ACK\\210-\\163\\166\\144\\222\\231\\a\\215~\\205\\150\\143\\188}\\178\\f}<\\249\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\t\\164\\160\\ETB@\\DC48\\140\\r\\SO\\189m8\\141l\\214\\EOT\\171\\\"\\254\\&1\\219d\\167L\\128K\\249\\ESC\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\234\\138\\SYN\\165\\CAN\\217\\v\\200~\\DC1#\\168_rQ\\242-T\\148\\ACK\\b4q}\\ENQ\\236\\216k\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\233Y\\175wm\\206U\\147t\\190\\130\\&9\\253e\\215\\218\\US%\\230x'%\\254\\SO\\199/W\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\191\\NAK<g1\\237\\STX\\a\\192i\\217\\&0\\218\\153\\240\\187\\DC4\\248\\223*C\\236\\&4\\225:X&S).\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\ETB\\SUBJ7\\229n\\135*\\SI\\172\\210O\\244\\SYN\\132\\177\\FSg\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\177wA\\FS\\186\\200\\151%\\182\\222\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\217\\DLE\\164\\226\\US\\USZ\\215\\234rD\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"`t\\DC3\\195\\n\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\251#\\205$(\\244\\\"\\223u#\\184\\157mF\\131\\160l\\133\\188]\\SYN\\128\\228E\\230\\v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209nT\\GS&\\222{\\161T\\211\\202\\135[\\194*\\STX\\172?R\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173t*\\ESC0:\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\151(\\146Kf\\250t\\161\\DC3\\154\\159\\215\\203b4\\222\\&09\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\198id\\247\\&63\\191\\232d\\228\\FS\\SOHY\\229\\EOT\\219Z\\t?\\n\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\203e\\185^\\244\\204O\\t\\184\\n\\142\\255\\191\\241\\210T\\228\\225\\242\\EM\\240\\ETBs\\179x\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\203@c\\206\\RS\\ETB\\174t\\154\\DC1\\212Q}\\200\\161U:j\\165A\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143+N\\DC1\\207\\227\\SUB\\ETX\\167\\221Ua\\181\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\130\\205\\&7\\245\\ETBK(:ee\\NAK?c!\\188\\244\\ETX\\229&\\167\\178\\135!<*\\157S\\STX\\196\\198\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\161Y\\219n\\197z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204@n\\218m\\130\\249=\\249BSL\\231*\\245\\170\\246%\\USeF\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\235\\NAKfQ\\249\\150\\EOT#\\ENQ5\\239ZD\\162\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\vc\\175)\\209\\212\\ETB\\204 \"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\223\\SYNP\\226B\\236\\EM\\205-\\191@\\234\\209\\143\\212q\\245\\252\\DLE\\151\\EOT\\211n4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\167\\189p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\ESC\\CANe3\\DLEV,\\203\\176yLQZ~\\DEL\\n\\250I\\196\\232\\237J\\170#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\156\\215\\154\\180\\167\\174\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\139\\168\\FS\\204\\aW\\167v\\CAN\\224\\164ubH\\128Q\\156\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"Eo\\224n\\224\\ETB0\\ACK#L\\154\\166f\\164=A\\191J\\254\\169\\\"\\157'\\226\\138\\146\\169\\DC1\\150\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\201Y\\171\\193\\156\\224\\162B.\\SYN6\\202\\&9n?sT\\245\\178)&\\196\\140\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166/\\218\\&4\\222s\\NULB\\172\\242\\153\\243p\\146\\169\\237\\157\\ETX\\129\\225\\251\\222\\253O\\SOH\\181\\223]\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\",J\\248UDj\\DC3<R7)y?}>U\\228\\213z\\250g\\225\\211\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"tS\\191\\189-\\ENQ\\233P\"","tag":"AbiBytesDynamic"},{"contents":"\"y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\147U!H\\DC2PP\\237\\US\\226\\ETBz\\NUL\\220\\193\\182\\243\\&75\\237\\253\\128\\222\\185\\152\\228Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\\"\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\&33\\152<~H\\197A\\216H\\213-1\\153\\207\\174\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\139\\200\\197]\\249\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\129\\SYN.1ht\\191\\194\\149\\150\\&5\\231\\157\\231GB\\138\\250Wz\\175N\\251\\186\\ENQ\\US4C\"","tag":"AbiBytesDynamic"},{"contents":"\"Wt\\234\\151\\233#\\137\\139\\DC3\\160\\134J\\143\\130-\\184p\\SYN\\b\\136\\143\\238\\251\\204\\137\\244\\tC\\228x\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\146Xlk\\165`\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\196\\167\\139a\\216R\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\SOH\\242\\145\\133\\143\\143 \\248si\\145\\STX\\216\\242\\214\\CANT\\210\\242\\&8\\ETB\\142\\214RM\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\204U\\134\\199(\\145\\176\\197\\f\\DC1\\247\\NAK\\173\\204\\&1\\248\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\144\\ACK\\183\\179o5*CUU\\204\\139\\145Q\\241\\131>\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\230\\r\\254\\170\\255\\211\\254\\234zw\\211\\a\\202y\\SYN:\\tDS\\157\\129T\\225\\165\\164\\SYNs\\197\\252\\247\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"~f\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH2\\162\\DEL\\193e\\223\\212\\238|\\fxk\\148\\190_\\140O\\212\\v\\DLE\\253\\NAK\\158\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SUB\\136\\EM\\\"\\155d\\226\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\DEL\\155(\\138\\197\\182^\\DC2\\225Z\\138\\193E\\227z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129a5S7tum_\\212bk\\DLE\\176\\206\\ACK\\190\\186~e\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"rZ\\DLE\\182T/\\139\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\130\\234\\201(\\188CL}p\\157\\223\\242\\EM4\\203\\165mO\\202\\187\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\132\\\"j\\230\\188\\207\\229M\\200`\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224yC\\ENQH\\STX\\133\\172\\147L4\\161\\136\\160zj\\151\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"5\\ACK\\DC3On\\251C\\\"\\142\\131\\DC1!/\\133\\225\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\\\A\\249i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\STX\\NUL\\208\\144\\USc\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180/^J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\ESCg\\139\\US\\247a\\238\\202\\DLE\\201\\208\\fAB\\ESC?\\136@\\152\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\174\\221m\\\"\\142\\200to\\SI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\189P2\\247\\188\\US\\231a\\167\\149\\EMO\\221\\179\\163o\\214\\162\\217X\\DC2\\195Gk\\152\\212\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187m\\ENQ\\143\\ETB\\194f\\DEL0D\\138\\151.ck(1\\143\\134\\237\\176\\179\\223zU\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f#K\\255\\ACKl\\SOH|\\ETB\\249\\175/\\221L\\210\\SOwv;\\156\\198\\&9f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\211\\250\\251|\\155\\161zfk%\\162\\205a\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\129\\STX\\154?\\EOT\\133\\236@\\ETX\\131\\147\\155\\166\\137\\150YBV\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\ENQ \\158\\186P\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\&8\\229\\190\\133\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\169e\\132\\249\\219\\246\\213,b&0q\\198\\196\\182D\\140Ox\\178\\174\\213CK\\ETX\\a\\240\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\223\\168\\214i\\200R\\159F\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\251\\224I\\186l\\246R\\203\\SI\\US\\158\\245\\218^\\167\\196\\DC1vq\\240s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\158M\\USy\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\179 t7\\167\\SYN\\147\\175\\206\\203\\ETX{\\216\\221&\\255\\151\\201\\NUL1\\182\\142lI\\DEL\\143,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\158m\\169f\\186\\150\\SO;\\222H'\\SYN\\NAK\\DC2e\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTw;C0\\191\\149\\134\\DLE\\143\\144.Q\\162\\151z\\NAK\\192\\229X\\180\\182\\240ne\\142t\\211\\242\\163\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145s\\190\\a\\197k\\DLE\\210TN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174B\\192L\\a\\193\\&7\\218su\\215s\\180\\f\\204\\233\\132\\215V\\248\\a\\215\\143\\DEL\\206\\189\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"F=i\\179</\\DC3w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\bb%a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\181\\221h4\\251\\SOH\\a\\162b\\130%h\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"J+o\\186m\\STX\\n\\vF(\\ETB\\187\\&9\\209\\231\\190:\\134z\\243\\209i&\\156+\\206\\238\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\251\\159\\208\\220\\246\\&1\\236I\\156\\138^\"","tag":"AbiBytesDynamic"},{"contents":"\".\\NUL=\\174u\\229h\\193\\153\\fH)\\146\\203\\236\\237\\227\\170\\241,dp#\\152\\&3@\\154JCc\\177\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\138S \\221\\251\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\184y\\142)\\194cNLp\\SI\\228\\184\\252\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\246~\\185\\156\\249\\246\\\"\\251\\238\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153BD6[\\245\\171\\236\"","tag":"AbiBytesDynamic"},{"contents":"\")\\218\\233\\RS\\197\\199\\244\\225\\t_G\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\US\\231\\&1cN2\\227Q\\167\\245\\US\\175\\162\\221%rY\\160k_\\USW\\220^(\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\194\\&8\\CAN\\217}\\DC2\\140\\f\\250\\236\\&2&x\\f\\218\\155\\225D\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\196\\NUL\\242\\173\\172%\\146b\\250\\SI\\246\\&0\\168\\US\\140\\230\\&6vV\\158\\\"\\fA\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206l\\t\\SYN\\DLE\\135\\RSt\\251\\161X\\198\\250\\&0\\177\\DC3\\210\\137qC\\218A\\EM\\225\\193\\214\\184b^\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\163\\186\\177\\186\\trR&7\\176\\198\\UScK\\248\\231\\211\\215\\DEL\\239\\205\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\ESCf{;5\\200F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\SI\\223\\149bu3z\\\\\\232\\207\\208\\157\\136\\190lV\\159\\&1\\205\\222\\142\\154\\154\\&5\\205\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159V\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\236\\&6\\128\\243'\\254_\\\"\\225\\DEL\\128\\147R%+\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\DC4k\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\DC1}\\ETX/\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\164\\202w\\198`\\135\\241\\187\\252\\v\\188\\188[;N\\200\\ENQ\\SUB\\232\\148c\\ESC\\249\\187\\&85\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\206\\216\\DLEq\\202\\182\\179u\\144\\241\\173Z\\233N\\208\\174\\213\\169\\194\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\234\\201\\249\\151\\221\\SUB\\234\\136:\\144\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130+1\\252\\&57\\RS\\239&\\226\\189$y\\137P\\NAK\\205uk\\248\\f\\ETB\\DC1\\192\\144\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"`k\\195_&K*\\188\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Bb\\252\\207z\\145\\234\\140\\RS\\237\\RST\\ACK\\219|2R\\197\\&9&\\218\\\\\\246\\168\\206H\\\\c;\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251Mm\\212\\130\\156\\va\\187\\DLE\\141\\135D\\131\\&4y\\ENQ\\220p\\221\\ESCN|\"","tag":"AbiBytesDynamic"},{"contents":"\";\\188\\&5\\207D\\184Z\\141w`\\237c\\196\\EM\\216\\232\\n\\138\\245\\228;\\197\\v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\140\\242Q\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130u\\168\\219\\158\\174\\160\\SOL\\218\\CANa\\166\\130\\149\\SUBGG>\\219\\143\\243pV\\\"F\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\239\\&92cD\\a\\239\\190\\&02\\193\\144\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\\\\\226\\152ZW\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\196\\t\\173\\253\\FSc\\228\\197\\249\\137\\&3\\223d\\196\\GS$W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\ETB\\231\\239\\138\\139\\n\\\"\\253(\\169\\DELoD\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\251\\r<B\\158\\155\\184\\168\\225R\\197\\CAN:\\128\\205\\ETB\\251\\180\\132Wp\\ACK\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\220(\\226\\a\\152\\165\\182VD\\212\\174\\DC4\\235\\SO\\151Q\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\180\\175s\\DC2o#\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\149\\213\\170\\235I\\DC2\\\\\\175\\175\\&0\\184\\DC1\\152F\\240\\DC2\\nI\\153\\130y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247U\\245\\188\\164\\FS\\201\\158\\r\\242\\171BB\\196\\177<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKI'2\\216\\RS\\148]~\\134Q\\133\\228\\198L\\138\\191\\152J(\\174\\238\\213U\\228\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\155\\244\\204\\250\\137w\\230S\\DC2\\n\\165[E\\232x\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\151Y\\ESC\\255\\157t\\140k8uDJs\\233=\\162\\ESC\\GS\\192\\200\\222\\183\\166\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\f\\DC3\\226\\135\\nt\\202\\245z\\DC1\\168b\\136\\NAK3\\252X\\138\\218\\212s\\228\\219\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\t\\157\\f]\\SI\\246\\248A\\249\\239\\FS\\232\\234\\GS\\202:N\\169\\SOH\\229\\230\\235\\186\\175\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"'\\US\\211\\178\\160\\240j<\\185#\\160\\196 \\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254/\\SI\\167'\\130O\\161\\169.\\137\\253\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\160!\\241\\174\\162\\164\\185\\136e\\220\\235\\225\\196|L\\161\\155u\\FS\\SOHe\\148\\187\\223\\240\\150\\201H7\\242.\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1530949101"],"tag":"AbiUInt"},{"contents":[256,"45301849050112974035993465030894373812452129275706726874562833879892484036365"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088319"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637938"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428161"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639938"],"tag":"AbiUInt"},{"contents":[256,"40810287141819354872057506211074595507465819694394804231166898271156545916124"],"tag":"AbiUInt"},{"contents":[256,"572245918178541104200927179950995410441376522255331964948165599150667586802"],"tag":"AbiUInt"},{"contents":[256,"63362517505282504984932624242113254721765537329463760707168281911863793929893"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639881"],"tag":"AbiUInt"},{"contents":[256,"105377664088758624325644652793463718883103945718696732442164245853789182888445"],"tag":"AbiUInt"},{"contents":[256,"52758989723751916629561626365449471723832503147712114315448631624468458825311"],"tag":"AbiUInt"},{"contents":[256,"134"],"tag":"AbiUInt"},{"contents":[256,"92972762157517572514914993989419368380059638697285277481500997464992494054218"],"tag":"AbiUInt"},{"contents":[256,"1527954871"],"tag":"AbiUInt"},{"contents":[256,"107001701198233313915040515893944842648834218149747294243257086101977990875686"],"tag":"AbiUInt"},{"contents":[256,"48514055052756325504309969177595276210712191627493666599753242781169185903209"],"tag":"AbiUInt"},{"contents":[256,"48554825443898190336978958046039753494695986933868258890172504744065801444277"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629939"],"tag":"AbiUInt"},{"contents":[256,"101895293621430895617964428005523831028446173365779903810911863778097633932121"],"tag":"AbiUInt"},{"contents":[256,"76033268079748807713361600013907892228366097970321174299004862240881300033425"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639851"],"tag":"AbiUInt"},{"contents":[256,"114379516033680026019096220840445065502079929231446234086117034141882566870982"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577599"],"tag":"AbiUInt"},{"contents":[256,"18044604858923221569269570156952331733441265368201021221447477690337811206268"],"tag":"AbiUInt"},{"contents":[256,"947"],"tag":"AbiUInt"},{"contents":[256,"27548976539238841169644141809412015678332243052889026729786625994950439016415"],"tag":"AbiUInt"},{"contents":[256,"1000"],"tag":"AbiUInt"},{"contents":[256,"91956484636864313714603662371809705080353001441998112414624435098964279598626"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"58148378986372976474852168564007378587608593281085741574108391075249305065480"],"tag":"AbiUInt"},{"contents":[256,"60668890899475205650782829226742988307796681671765985002580102608707897154299"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639917"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"135516974517488354953753925"],"tag":"AbiUInt"},{"contents":[256,"1525633997"],"tag":"AbiUInt"},{"contents":[256,"15638292762958838230288881596306570516478630209988713878486726383569330291497"],"tag":"AbiUInt"},{"contents":[256,"19328694211443651079571987751195105326514765689714106662794783605763706561050"],"tag":"AbiUInt"},{"contents":[256,"99999999"],"tag":"AbiUInt"},{"contents":[256,"30000790517734233024210886411551324743589756958158703822428390036726408942197"],"tag":"AbiUInt"},{"contents":[256,"1530386452"],"tag":"AbiUInt"},{"contents":[256,"10002"],"tag":"AbiUInt"},{"contents":[256,"39415236260721143653527297594276078191932023364475428810317279549265123607530"],"tag":"AbiUInt"},{"contents":[256,"50718961455803026677812283522501291565269681829450648404406012252637909395312"],"tag":"AbiUInt"},{"contents":[256,"113247885484652823422278132754695483441580443245605742719169394388982865473905"],"tag":"AbiUInt"},{"contents":[256,"43919494122880785057302680181390486184839060845951319062118535382389552114"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"92426767394593891559447621884050166771041327558644048884382298054344246212677"],"tag":"AbiUInt"},{"contents":[256,"96563387753973843954828057328094607582428017562017485112301973258310696789642"],"tag":"AbiUInt"},{"contents":[256,"110608888674333360543202618209461683396825904529314979188098911314391763102675"],"tag":"AbiUInt"},{"contents":[256,"107249861911639840728109585986790140421850650382136569750398996238403262857904"],"tag":"AbiUInt"},{"contents":[256,"1529541138"],"tag":"AbiUInt"},{"contents":[256,"152489216725684077009498382048144138471"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb49","0x000000000000000000000000000000000000000000000000000000000000ec37"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"9287442764849208488299909507291130521230075417403378116245909653112463138394"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0d","0x000000000000000000000000000000000000000000000000000000000000720e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[8,"8"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd34","0x0000000000000000000000000000000000000000000000000000000000000fb8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e8","0x00000000000000000000000000000000000000000000000000000000000084ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639867"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001cae0","0x0000000000000000000000000000000000000000000000000000000000001021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"109490070540342850596472578141071526450357497668830504133480450020824984709137"],"tag":"AbiUInt"},{"contents":[256,"77243495059951580501443900581824696978643376914450071279759674219664189998115"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a61","0x0000000000000000000000000000000000000000000000000000000000000055"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"79813645879951636018559543046165764276528292582949911323244705774251136419374"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014c55","0x000000000000000000000000000000000000000000000000000000000000bdcf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfc","0x000000000000000000000000000000000000000000000000000000000000614e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce50","0x000000000000000000000000000000000000000000000000000000000000131a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000031","0x0000000000000000000000000000000000000000000000000000000000008ffb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"1\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4b","0x0000000000000000000000000000000000000000000000000000000000000001"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076bb6","0x000000000000000000000000000000000000000000000000000000000000058e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0xC082D5F54430e6Cd6Dfc7D409dcE2F2fA9330698","tag":"AbiAddress"},{"contents":[256,"1532339520"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb12","0x00000000000000000000000000000000000000000000000000000000000044a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]