[{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae7","0x0000000000000000000000000000000000000000000000000000000000005d4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7be","0x0000000000000000000000000000000000000000000000000000000000001276"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"24055309081319681688056236471199332773098663193258172663176329317406898988499"],"tag":"AbiUInt"},{"contents":[256,"103"],"tag":"AbiUInt"},{"contents":[256,"19533629933177940786509928267312712675273853931100326824156582922493653037462"],"tag":"AbiUInt"},{"contents":[256,"53338776946590279974734585947295767662543611777909856209177530449514106779085"],"tag":"AbiUInt"},{"contents":[256,"8192845517656790000354545885166512300282593308798963316749411556256388411909"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628416"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"100000000"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639800"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"31173916441027176668561797513230301364741973345723627778503269421184441851199"],"tag":"AbiUInt"},{"contents":[256,"610"],"tag":"AbiUInt"},{"contents":[256,"89304643605015773332519886154087957202260389035051039054306330895788202070209"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030338"],"tag":"AbiUInt"},{"contents":[256,"48882823498486278230542943510271758713900204050865190944089321923521439878917"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639883"],"tag":"AbiUInt"},{"contents":[256,"946"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000602c0","0x0000000000000000000000000000000000000000000000000000000000000bd2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000000c5f51b770436bde7"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e12","0x000000000000000000000000000000000000000000000000000000000000ca07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"38"],"tag":"AbiUInt"},{"contents":[256,"109728970353622578759513347832334057236732062071463293586194815389745397963461"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2a","0x0000000000000000000000000000000000000000000000000000000000008ecc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":[8,"142"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa1","0x0000000000000000000000000000000000000000000000000000000000001ed1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000a","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"26596186902878190521190684268674944175720335202394262279632781800740279542957"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000523ff","0x000000000000000000000000000000000000000000000000000000000000018a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e704","0x0000000000000000000000000000000000000000000000000000000000006a24"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"161225379918115"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bd0","0x00000000000000000000000000000000000000000000000000000000000026ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"7358410994932757383846213368134681681565975935923175611691609639844129765687"],"tag":"AbiUInt"},{"contents":[256,"375"],"tag":"AbiUInt"},{"contents":[256,"254"],"tag":"AbiUInt"},{"contents":[256,"22413284689576991780260828620329853470"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"48777078764342906477843405614369643977472150539843570949375777316939335942380"],"tag":"AbiUInt"},{"contents":[256,"34990208388156898699157332493672857478608680188463086444283909178418521205232"],"tag":"AbiUInt"},{"contents":[256,"79518032397274262619083503393909171595062721026458982814208264575096362154473"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858882"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062337"],"tag":"AbiUInt"},{"contents":[256,"69948209449271169429568784187096100929237975615808150100759513100158164048873"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639632"],"tag":"AbiUInt"},{"contents":[256,"895"],"tag":"AbiUInt"},{"contents":[256,"69477816824318419101587363496140065730678195292910206225578425151939516230129"],"tag":"AbiUInt"},{"contents":[256,"69292712826188639016401033197718677434139188885841623980142314130174683847238"],"tag":"AbiUInt"},{"contents":[256,"483"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892766"],"tag":"AbiUInt"},{"contents":[256,"29270080603989593457089164007971315672944975896118145013583236605981935143856"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747170"],"tag":"AbiUInt"},{"contents":[256,"9682462760296649258712322004230338564210998283495012147528885942694954842643"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639814"],"tag":"AbiUInt"},{"contents":[256,"102759503027525173471083009322781049778792346030818187535775721671985861350206"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639889"],"tag":"AbiUInt"},{"contents":[256,"104253488603032842013777531997022606621744905936719606589351109452855801738970"],"tag":"AbiUInt"},{"contents":[256,"1532987554"],"tag":"AbiUInt"},{"contents":[256,"40680011582351912133211496662349127595538501361124543299495963365322428748196"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639843"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628418"],"tag":"AbiUInt"},{"contents":[256,"25827129442698046781377052533181243373334861732133428651270946694747167675234"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000001"],"tag":"AbiUInt"},{"contents":[256,"15731939484907449128359857178687225418396891401563286838143869464864675704873"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"701"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639863"],"tag":"AbiUInt"},{"contents":[256,"230"],"tag":"AbiUInt"},{"contents":[256,"13932188843461163843218205981108232436130420406555628556693231299141854532739"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639639"],"tag":"AbiUInt"},{"contents":[256,"104"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428161"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f37","0x000000000000000000000000000000000000000000000000000000000000231e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000032"},{"call":{"contents":["asset_approve",[{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":[128,"23684057392386703898236427138752136561"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce51","0x000000000000000000000000000000000000000000000000000000000000c38a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000523ff","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b6a","0x0000000000000000000000000000000000000000000000000000000000000bd1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c5dc","0x00000000000000000000000000000000000000000000000000000000000012a4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000355","0x0000000000000000000000000000000000000000000000000000000000005b6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069115","0x0000000000000000000000000000000000000000000000000000000000000049"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"113073563549770948888580348200721411484493662147061611018012721754741806465531"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb13","0x0000000000000000000000000000000000000000000000000000000000009ee9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009308","0x00000000000000000000000000000000000000000000000000000000000058fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"64619636790713356169877664574313256640163439059680002028966845345885511006999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000004","0x000000000000000000000000000000000000000000000000000000000000daab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"74211816121514855360723779196300844919803620212919117424960558167491451979051"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ea15","0x00000000000000000000000000000000000000000000000000000000000007d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"27504152288278389540565263515170593757494945986182377580205335293389696538806"],"tag":"AbiUInt"},{"contents":[256,"100996161676813118250004397888954771884716044206767706974114798010952510570293"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000840f0","0x000000000000000000000000000000000000000000000000000000000000db3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae9","0x000000000000000000000000000000000000000000000000000000000000136e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bd04","0x0000000000000000000000000000000000000000000000000000000000002bc0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000079d1b","0x000000000000000000000000000000000000000000000000000000000000c6b2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"31665009685255055639623114130524152869913502017519181204549611238621943400570"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040dd7","0x0000000000000000000000000000000000000000000000000000000000007e4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"231"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":[256,"110796382150083530186702541857663706560466465905162825237319924822648339110570"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000079d4e","0x0000000000000000000000000000000000000000000000000000000000000502"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\230\\225\\242\\242\\207\\170>\\ESC\\192\\192Z\\172\\244r\\NUL\\DEL\\SO\\242\\GSZ\\SI\\229%=\\b\\DC4,\\DLEX\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"Zw\\\\\\185z\\235\\207\\US\\203\\219\\128\\227\\220\\GS\\128\\154\\171\\160\\188u\\139k\\196\\138{Ur\\200GR#T\"","tag":"AbiBytesDynamic"},{"contents":"\"he\\ACK\\250\\FS\\216\\157\\171\\201\\184\\DEL\\154\\SUBa]\\166}3\\211\\165\\n\\199\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"msZ\\DC3ov\\154_[D\\235\\212\\242\\SUB;~\\215}\\180\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196FI\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\227\\&5\\176\\153\\246!\\212\\210q\\DC1\\bC\\a\\178\\214I\\224f\\205\\DC1a^\\EM\\214\\RS\\226|\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vd\\143c\\a\\222i9\\n@P9\\146\\222\\179\\172xe\\195\\SUB\\232e\\230q\\ACK\\200\\185<\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\163v\\168\\152\\SYN\\239\\176'\\237\\199\\209|,\\225\\189c\\247B\\131\\153\\253d\\141r\\128\\176;\\SYN@\\141V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\252\\143P-\\ESC\\192\\152\\250\\199\\239\\225^\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"/uQ}\\240:\\161\\207<\\231\\161\\131\\254\\176 \\181\\142\\&4\\n\\r\\ESC\\f\\EM\\157\\SO\\228+c}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\149\\253\\165\\n\\217\\163\\220\\175\\179fu\\224mH\\220Ja\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"wO\\183\\224\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1y\\245|w_0\"","tag":"AbiBytesDynamic"},{"contents":"\"e,u(\\DLE\\DLEz\\142H5\\227\\187\\b4C,A\\252\\171'P\\188G\\199%\\235\\US\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\n\\152\\235\\189\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"3q\\247\\235\\208\\t\\a\\NAK\\240\\US\\EM-\\242|\\\"\\148\\vm\\224\\238^?,r\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\215G\\153 o\\132}h5\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\212M<B\\190\\SUB\\228<\\159bM\\234\\ETB\\196\\&1\\231\\245\\ACK\\163\\210\\&7~\\151?&\"","tag":"AbiBytesDynamic"},{"contents":"\"U]\\ETB\\128\\236\\164\\140@\\244b\\236\\151\\EM\\187|\\136K\\221\\255fi\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\230\\200g\\236\\\\}\\167\\DC2\\174\\135\\227\\253W\\155L)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\149\\214K\\203A\\175\\142\\220\\v\\156\\194en\\243y+\\146\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"jy\\179\\176:\\243\\t\\222GT\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201i+9\\NUL\\244CI\\n\\226n\\180hGav\\204\\164\\231\\224D\\205\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\221p\\175&U\\207\\&2\\194\\145\\149\\200\\157z\\238\\231)\\162*t\\CAN;\\209B\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\r\\202\\173\\233\\170\\US\\209\\140&\\US\\SUB\\211\\195\\EM\\229M\\252r4\\187<g\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\146\\204VC3\\203\\157W\\fp\\f-y\\FS\\130\\135\\242\\220=\\187K(\\174\\r\\227e\\219;\\223]\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\167*\\134\\&5\\223\\&9\\141M\"","tag":"AbiBytesDynamic"},{"contents":"\"=Wa\\249\\151a2@J\\204\\131<\\212\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\219\\166L\\r\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"T\\SOH\\f\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\ENQ\\RS\\233\\SOH\\193\\&3\\158\\SUB\\142'I\\226\\189p\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\236n\\194Hc1\\167Ab\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\CANzrk\\\"k\\161\\191D\\vk,i\\171`\\193\\174*@\\137\\154b\\186u\\166yG\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\224cP\\DC4?w}!o\\139\\185p7\\138[[\\DC2\\252\\&2'*\\135\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\162*\\186\\142@\\226\\&2\\222\\192o\\SYN\\239\\US\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206)!4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\139\\n^\\134\\176\\234\\220\\155\\235s\\130\\ENQ\\245\\DLE>\\173\\153\\169\\227\\133\\186<\\192\\166,\\193\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"sJ\\154\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\DC4[\\228{k/\\ETX\\134\\227\\193\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\237F\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241>\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"2@z\\SOH\\133gl\\150u\\207\\ENQ\\ETX2\\181e\\142\\239\\242\\&3~\\183\\ETX'\\SI\\172 \\141\\152\\243c\\180\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243r\\SYN\\143\\242\\212\\217?\\DC2\\254\\143-\\234jW\\206,\\192}\\202\\DLE\\218=\\232\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189QX!-(&G\\ETB4^\\248\\184-\\225\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\150\\215>\\220nbd'\\135\\220\\167Y\\164\\175\\146\\RS\\191wc\\\"iO\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202[t^\\244\\176Y\\185\\250kz\\171\\RS\\250A\\180\\211\\159%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\219S3Y\\240?X\\236\\v\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\162\\244\\253/#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\242\\185\\204\\130\\196\\139\\218\\SO@\\253J\\224Q\\DC1n>\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\251\\NAK\\ETB\\234\\139#\\213\\250\\152#M|v?,\\161\\v\\184\\157\\232[\\136\\234\\&8\\173\\DEL\\DC4\\210\\166\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"&q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\219\\130\\239\\161\\146\\203\\ak\\250K\\201\\202\\219]\\224\\169m\\ETBR\\ESCt\\139-\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\US`Z.g\\DELw\\209\\169\\199U\\187I\\240\\219\\155\\166XZ\\DC4\\n8\\128\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"']*\\183i\\192K\\145\\174=\\157\\199P\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\157,\\DC4L6\\145\\147{\\208\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\153k\\STXS\\GS.\\145\\169\\185\\ETX+\\ETB\\182\\&1q*\\215M>\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"5s\\SOBU\\234\\155a\\aq\\132fX6\\168\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"l!\\192\\USw3\\250{)k\\174\\DELC\\230\\NUL\\215\\179\\152\\170\\137\\NUL\\197\\150b\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\196\\178\\242\\163\\ACKD_\\vW?t\\v\\219\\223\\131\\171hoCX\\DLEn\\173L\\249F\\193\\211\\129\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\243\\246X\\GS\\155\\217T\\217\\252\\146RQ\\129\\171\\143\\NUL\\138\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"o_\\194\\DC2\\167\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208ZO\\STXM\\160Qy\\DC4\\200\\215\\DC3\\ETX\\138\\SIx\\DC4\\246'\\250\\226(\\r\\US\\174\\154\\STX\\185\\182]\\195\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\r\\t9\\201\\SI\\181\\140j\\RS5\\169\\NAKab\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ}\\209h\\131\\\"\\234\\248\\241k\\160\\fM\\239\\NUL\\DELU\\202\\237\\SUB;\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\132\\186\\245}\\214\\161(l\\146@Fo\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169l~y\\177\\GS\\128\\ETX\\187\\NAKbk\\205\\SUB\\217\\162`4\\169\\207\\144\\253Z\\189\\161\\187\\212\\191\\201\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148O\\241\\247C\\189\\140uQu\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\186\\STXU\\234\\189\\160\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"1G!\\167\\220%l\\255\\168\\&1\\162w\\164\\129>Y\\SOH\\NAK)=\\236~\\253f\\189\\143\\169~\\228\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209m\\204^\\143z\\132\\f^\\187P\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\246\\252\\236x\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\215\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\148\\SI\\196\\242\\229e\\DLE\\ETB\\247ZY\\201zD\\247\\&88a!1\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\182\\234\\144\\ACK\\159\\210L\\167\\223\\254\\151\\ESCJ\\ETB\\150>+\\191>\\170\\194\\170X\\180\\ENQ\\190c\\235\\190\\144\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139>\\\\;\\220\\186\\&24&\\DLE\\212\\137\\181\\227f\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\166\\138\\242%\\STXL\\210\\191\\206\\133Jc!\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\166\\184\\187\\208L\\161\\193P\\163\\221 y~T\\243ta\\SUB.\\151\\162\\234\\233\\170P\\186%mK\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\146YK\\185V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\219\\SYN\\GShs\\154\\252\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\221\\158\\190^\\215\\138\\&48bH\\209\\194\\FS\\148\\254 \\170\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\132\\243\\214\\144\\166\\ACK\\236\\245\\156f\\RS!\\NAK/\\132pj\\197|?M\\164\\169\\137\\185WP\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\239&d\\215$\\243\\GS\\187\\&2p\\212\\246\\216#\\243\\175\\149D\\236a\\218\\201'`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\182\\207\\231\\186\\&3\\138\\243\\224\\141\\RS(\\139\\&4\\147&^~\\179ai\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\228\\204'\\252\\230K)Q\\177I\\129Md\\178\\247a\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\242Q\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214<\\168\\ESC\\144v\\DEL.\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\DEL\\NAKA\\147`,\\238g\\250\\206\\226\\244\\214\\224\\&7\\172_\\EOT\\164\\158G\\212l\\146\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\209\\160\\176W\\199\\241\\173\\152i\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\231\\213\\&5b\\206\\240\\242`\\RS?\\131\\144\\243\\188&r1\\173\\220\\158p\\192\\243Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\223\\148PB\\207\\156m\\135lM\\227?\\141\\175\\&8\\SOI\\254\\DELW\\245\\ETBr\\163~\\193}\\ACK\\r\\SOH\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\EOT\\164\\255\\195\\DC4\\SYN\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\159\\178\\243\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242J\\NAK-!\\178\\166\\NULk\\v\\229\\199\\NUL\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\201\\128\\184\\143\\ESC-\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\249\\\\g\\145V\\170k\\234h\\188<,\\217\\178,\\178xJ\\221\\NAK\\US\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\r\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\al\\247\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\&0\\150\\239\\164\\147P[er@)\\252 r\\ETB\\207\\154\\186*\\222o\\183\\162\\n\\GS\\252,c\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\133\\203\\191\\DC1O&~;\\FS\\166r\\132\\204\\162\\199\\ajA\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168+X\\141\\DC3\\bUWp(\\180J\\ACK\\158 \\132\\184\\SUB\\252\\b%\\202\\f#\\DC4\\247yV\\164\\132C\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\156wBw\\252\\201\\232YR\\246J\\200\\139f\\182S\\203\\214\\236\\197\\184\\190q\\144\\ETX\\171R\\253SOs\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\v\\218\\193\\183\\229\\242A\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\bm\\DEL\\DLER\\251\\FS<\\246\\160\\177\\220i.\\253\\241\\&8\\STX\\SOH\\159\\CAN\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\221^\\247\\204OS\\194)u\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\208_\\SO\\131\\166\\&4\\153r\\SUB\\196\\230)\\DC4N\\SO\\130\\DC4\\v\\234\\186\\&6\\140\\161\\157\\155\\237\\224\\182\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\208A\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\222\\202\\167\\166-\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB#\\145JE\\SI/7\\140\\170\\&28%!\\216\\175\\167\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214.\\252\\137\\217\\219\\233w\\ESC\\174\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\170\\ENQ\\228nN\\ACKi\\149q\\f\\135{\\239\\\\f\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"}{=\\NULS\\159\\165\\&3.\\161\\253\\&9\\186\\NUL8U?XJ\\163&NMp}6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\216\\131\\&1\\227\\163WH\\210gtZ\\228\\202\\151\\r\\\\\\t+@\\146k\\192\\144\\220\\202I\\168\\157\\178\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\253VY\\253\\238\\164L=U\\DC1n\\215\\181,\\ETB3\\244G\\247\\137\\195\\191\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161]v\\215\\139\\138$\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"FE=\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163Ls\\173=\\186\\137^\\252\\212\\196`#\\156\\151tn{Z\\177\\249\\175M\\FS\\150\\EM\\215\\&3\\ETB\\180\\&0/\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247i\\SO\\158\\246$r'\\179\\149@\\133{=\\182I\\230\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\229\\154\\255\\199)\\196\\208@W{\\US\\240E8/\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CAN\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\196\\178_e\\242j\\245@(\\216;7\\ETB ?\\157\\EOTA\\229\\167G\\133\\DC4\\216\\230'\\246d\\197\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULR\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\216!\\239\\166A\\162^\\184\\&5\\157\\184\\235?\\213\\243\\233Bf5fP\\145\\177\\144\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL8=\\245\\152\\151p\"","tag":"AbiBytesDynamic"},{"contents":"\"l,\\231A5\\180\\\"\\234\\t\\vP\\251U-\\144\\r\\ETBm(\\153\\165\\DEL\\165\\189~o\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\NUL>\\149%\\243\\187@\\226\\131\\228~\\NUL\\187\\GS!]\\198\\182\\179\\NAK\\143\\SOH\\171d\\195k\\172(\\n\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\169\\197L\\222\\SI\\227dn\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\240\\132\\DC4\\194\\DC2Tx\\159(#\\181<^\\t\\\\9\\a\\140\\US\\DC1\\ETBj\\179\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\141\\165\\255o\\202\\253\\217\\143\\152\\181\\EOT13\\DLE\\210\\202\\&3\\240\\162\\DC1oV\\178\\RS')\\175+\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\196\\145\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\176flW\\ACKF\\155\\159\\205\\196\\232Q7C-\"","tag":"AbiBytesDynamic"},{"contents":"\"6+I/\\150\\239h}G\\GSq\\\"\\209\\172\\ETX\\249\\208\\157\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\247|J\\139[9y\\210\\233\\220D(`\\226\\ACKT:\\t\\174\\248i_\\ETX\\228\\217Z\\226G\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\168gO*\\SUB\\233\\193\\142K\"","tag":"AbiBytesDynamic"},{"contents":"\",\\150u[\\EOT^\\150\\220r\\255\\151\\152\\168\\172\\194\\163\\DC4\\NAK\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"aGKm\\130\\245\\&4\\FS\\141>{[q$\\228\\231\\200\\176\\235\\168=\\172X\\192S\\SOH\\146\\197\\FS\\143\\197j\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\DLE\\181\\182\\193TP\\149*s\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\227\\EOT\\r\\162\\223YM\\232\\RS\\178\\130n#\\135>\\SYN\\203\\203\\SI\\203C\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\219\\143\\158\\244\\DC2rS\\141,\\164G/H.\\170t\\EMP\\249\\135\\188\\173Z\\140\\241\\n\\171e\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168qZ\\SI<\\211\\138\\222\\178\\STX\\137\\211X\\177'/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\bp\\133e?\\245\\222\\202\\183\\143\\168\\202V\\251n`\\170h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\202?\\156\\144\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"Sq\\220\\134?\\245\\158J0RP\\US6\\254F\\162\\215JEV\\129dw+\\234;z\\138\\157\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\226P{\\166\\248\\SUB\\SUB\\184~\\181\\128j\\EOT\\196H\\255U9\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\bOy_\\DC2\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"n\\203\\247\\206\\212{\\DC3\\255\\ETB\\200B\\137/j\\EM\\SOH\\241\\186\\159\\240\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\165\\166Y\\214T\\FS3\\245;]\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\237f\\t\\FSa\\171{<\\158N;]C\\249S\\220\\US\\v2\\\"o\\203\\ACK>S\\151zo\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\220\\fD\\GSPefu*.\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"ZK\\130\\197\\221<\\aSW\\EOTI\\254\\189\\234N\\\\\\138L\\SUB\\157\\233u\\175\\140\\232]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\a\\251\\130\\&9\\132Gw\\SYN{\\163\\EM %\\152\\191w\\208\\217\\162\\138\\&4{_\\217\\174\\&0\\SYNk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\241\\251Oa\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\237\\168\\RS7k\\nh\\194\\146m}\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\227\\241\\240K\\232\\250\\218\\&9\\142\\211*K\\SUBaZ\\178\\&3\\\\jK\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\241\\&3OF\\145nR\\175\\&37\\247\\158\\136\\166\\128N\\188\\192\\206E\\177\\223\\135\\190\\214\\205\\146\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\179\\&8\\239\\n\\251\\148rj\\138\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\139\\&7\\255\\227z\\222g\\\\\\195(\\DEL\\235|\\254\\147\\t\\187BX\\t\\238`\\165X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166a\\253{_\\164\\227\\\\\\182k\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\156E\\238\\\"\\220r\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL \\DC1\\175\\EM\\209\\141[\\141\\177i\\tU\\206;\\168-\\DC3\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DLE\\150\\133:\\a\\213\\ESC\\147o\\148\\205\\128I\\169\\243S\\167\\&4\\DLEl\\132\\211M1\\244!\\201\\205@r\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\NULB\\239G\\US1f\\227\\SO2\\246\\DLEM\\187\\169\\SO\\239*\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181>u\\b^jZ(\\167\\230\\EOT\\154\\r\\DC2k\\NUL\\245\\190@\\223\\200\\212=E8c\\244C\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\222\\ESC2:\\DELLj\\US\\176$\\132\\US\\211R\\US\\NAK@e?f\\183v\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244)\\198e\\NAK.\\207\\t/8Q$\\b\\156-\\215x=\\164\\130\\144C\\209cD/\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\141F\\226\\167\\CAN\\191\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\222O\\211\\EM'%\\165\\152\\SOHi-\\201\\as\\140\\227\\STX\\205m\"","tag":"AbiBytesDynamic"},{"contents":"\"P#\\217?\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"RVe\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\204@g\\221\\229\\166<\\185~\\206u\\182\\&2\\148p=\\236\\222\\130fQ\\190]}\\137/o\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\244\\182La\\174\\145\\241[)#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\DC3\\FS\\238v\\194\\218\\171\\185\\198\\165\\139\\201m\\151\\163O?\\150\\v\\DC2\\180\\186\\164M\\225\\150\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"13579340868853787724608469272682221242820000729448158361416210951122399269844"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035137"],"tag":"AbiUInt"},{"contents":[256,"15"],"tag":"AbiUInt"},{"contents":[256,"41758811758422936111834386031607503682590919736281776242625255052207836136361"],"tag":"AbiUInt"},{"contents":[256,"64251217518987079375518350737285277939905150701604888084424526722130141137091"],"tag":"AbiUInt"},{"contents":[256,"89408332871745078841463256634197703940417730959297057335573127701017129647430"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"9379359177400332008838462539911377150999424993651064865624576618910971619739"],"tag":"AbiUInt"},{"contents":[256,"316333530881056079498490166260152310406"],"tag":"AbiUInt"},{"contents":[256,"24689329442721950392985115816764723199666632309685510383861187512041274092317"],"tag":"AbiUInt"},{"contents":[256,"88176362539904294296057946900571971120856337691549275855914086042174688468431"],"tag":"AbiUInt"},{"contents":[256,"51028267706575674203771802797916242227451711380438521398157785943949932184423"],"tag":"AbiUInt"},{"contents":[256,"87553710630704321149028211763614401372758299426416239222430709988718296943731"],"tag":"AbiUInt"},{"contents":[256,"1526852639"],"tag":"AbiUInt"},{"contents":[256,"11816241252950002412753914619474835284518362332518580403165169248250533029713"],"tag":"AbiUInt"},{"contents":[256,"1536637868"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"15579671794542225786812419561389790043039937391292672645373093682416254715656"],"tag":"AbiUInt"},{"contents":[256,"74532826538359738152786010070184414026201877403944200684021043531364006814591"],"tag":"AbiUInt"},{"contents":[256,"80391929788349766554121595920470784432663354082713717693214035693280520175670"],"tag":"AbiUInt"},{"contents":[256,"1533718690"],"tag":"AbiUInt"},{"contents":[256,"163"],"tag":"AbiUInt"},{"contents":[256,"3601"],"tag":"AbiUInt"},{"contents":[256,"1527890108"],"tag":"AbiUInt"},{"contents":[256,"22102395034423133162408169093991063438236449765855963295464990911359269442268"],"tag":"AbiUInt"},{"contents":[256,"604800"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115778804953593146463769094471583965734466269583803394896694329418514667604991"],"tag":"AbiUInt"},{"contents":[256,"1533933123"],"tag":"AbiUInt"},{"contents":[256,"223"],"tag":"AbiUInt"},{"contents":[256,"66458590401147399161523702889021177059579918318820209900334211211128680907558"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637936"],"tag":"AbiUInt"},{"contents":[256,"89030111316329850206624792961549803518395170879561517067484667871484444186247"],"tag":"AbiUInt"},{"contents":[256,"89030111316329850206624792961549803518395170879561517067484667871484444186247"],"tag":"AbiUInt"},{"contents":[256,"89030111316329850206624792961549803518395170879561517067484667871484444186247"],"tag":"AbiUInt"},{"contents":[256,"89030111316329850206624792961549803518395170879561517067484667871484444186247"],"tag":"AbiUInt"},{"contents":[256,"89030111316329850206624792961549803518395170879561517067484667871484444186247"],"tag":"AbiUInt"},{"contents":[256,"89030111316329850206624792961549803518395170879561517067484667871484444186247"],"tag":"AbiUInt"},{"contents":[256,"89030111316329850206624792961549803518395170879561517067484667871484444186247"],"tag":"AbiUInt"},{"contents":[256,"89030111316329850206624792961549803518395170879561517067484667871484444186247"],"tag":"AbiUInt"},{"contents":[256,"89030111316329850206624792961549803518395170879561517067484667871484444186247"],"tag":"AbiUInt"},{"contents":[256,"89030111316329850206624792961549803518395170879561517067484667871484444186247"],"tag":"AbiUInt"},{"contents":[256,"89030111316329850206624792961549803518395170879561517067484667871484444186247"],"tag":"AbiUInt"},{"contents":[256,"89030111316329850206624792961549803518395170879561517067484667871484444186247"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1531641795"],"tag":"AbiUInt"},{"contents":[256,"56193167958451762134435872593006439255196245109255995609975825592240687825404"],"tag":"AbiUInt"},{"contents":[256,"1526449596"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062334"],"tag":"AbiUInt"},{"contents":[256,"947"],"tag":"AbiUInt"},{"contents":[256,"88344618954008334745862230427946363484581144050177047328019697591915135528684"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577601"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"226"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"6297257173194822665298290300928138615576142920245747420636978695060262144264"],"tag":"AbiUInt"},{"contents":[256,"60110530619352658337995158437134837720416353899163293714780774259646011109612"],"tag":"AbiUInt"},{"contents":[256,"1526645642"],"tag":"AbiUInt"},{"contents":[256,"43712644465980984852992381811309725732922401606096622515794369216349812739507"],"tag":"AbiUInt"},{"contents":[256,"1525353942"],"tag":"AbiUInt"},{"contents":[256,"3855021979563579985550195396493512763260015383575336662028673241875658429875"],"tag":"AbiUInt"},{"contents":[256,"40793448865067984956487063577168829769853347673092216435186573193580900907046"],"tag":"AbiUInt"},{"contents":[256,"94815690898420889836847875348414376799309674375138538216078381813034083170186"],"tag":"AbiUInt"},{"contents":[256,"1533686457"],"tag":"AbiUInt"},{"contents":[256,"6705978963534460514197921567307400776263951477669424211919082322241206104844"],"tag":"AbiUInt"},{"contents":[256,"1526036373"],"tag":"AbiUInt"},{"contents":[256,"83110542649670652724801090964889170520008782063051552723632703471896553306018"],"tag":"AbiUInt"},{"contents":[256,"1526641873"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"58192036992715721668867690575758002843679827102910666147099889777854228990710"],"tag":"AbiUInt"},{"contents":[256,"7526201441584590413296560087344600007823882887832700950681529355959542158873"],"tag":"AbiUInt"},{"contents":[256,"104723636848292330246923148970035883345326223967095988141302802795892981127353"],"tag":"AbiUInt"},{"contents":[256,"23162544286562276314948683219516088158887568241262496933936826834517279395871"],"tag":"AbiUInt"},{"contents":[256,"8825673952835090512616659483776883577205105120385112789716743752277888908821"],"tag":"AbiUInt"},{"contents":[256,"1530062091"],"tag":"AbiUInt"},{"contents":[256,"399"],"tag":"AbiUInt"},{"contents":[256,"94896626484043206210060142056415315612318695171862044665655332660962525282072"],"tag":"AbiUInt"},{"contents":[256,"57223509161556931912403457668133530495341160910632761284356378881233896941889"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639437"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428162"],"tag":"AbiUInt"},{"contents":[256,"33675981325950502880267800358876978121968094057515666288188612758218790479073"],"tag":"AbiUInt"},{"contents":[256,"105783558679298748434151961357111510446866293571746650123352891407553867944840"],"tag":"AbiUInt"},{"contents":[256,"12570728292170863931086987054277894297187102238823299854575160386106485849358"],"tag":"AbiUInt"},{"contents":[256,"66"],"tag":"AbiUInt"},{"contents":[256,"89091088918079116768915617816567211198972841501494567015918784120151002415103"],"tag":"AbiUInt"},{"contents":[256,"49843689008359749084681973456574180142927348246161732420525866443378518353497"],"tag":"AbiUInt"},{"contents":[256,"61964481690301565974842145629225492771715393794769631149188016604300094086800"],"tag":"AbiUInt"},{"contents":[256,"195"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731853"],"tag":"AbiUInt"},{"contents":[256,"44584816929678340348985736448328840177723927187367235577630703160838204855326"],"tag":"AbiUInt"},{"contents":[256,"114421773117087690907665052130814963729918956189180853550712771954785230228985"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"143"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638935"],"tag":"AbiUInt"},{"contents":[256,"9998"],"tag":"AbiUInt"},{"contents":[256,"391"],"tag":"AbiUInt"},{"contents":[256,"4384635626062987412550208785054344930787508750917787"],"tag":"AbiUInt"},{"contents":[256,"20"],"tag":"AbiUInt"},{"contents":[256,"94133365454229144845797994621032550246411023645290617886315916834732646908951"],"tag":"AbiUInt"},{"contents":[256,"1526980462"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609600"],"tag":"AbiUInt"},{"contents":[256,"254234090833914452369932346762965274523"],"tag":"AbiUInt"},{"contents":[256,"46"],"tag":"AbiUInt"},{"contents":[256,"1191698532848348310"],"tag":"AbiUInt"},{"contents":[256,"52937332529179658901660966089588062721698415158699356877144199398739042873163"],"tag":"AbiUInt"},{"contents":[256,"91521304109802022333731919293946838715"],"tag":"AbiUInt"},{"contents":[256,"101139192"],"tag":"AbiUInt"},{"contents":[256,"30992888700676826496261948894984130135275818557852234727873222184432165992063"],"tag":"AbiUInt"},{"contents":[256,"72647102099135187250106126888286889534895551841243391107619884245364386472711"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689600"],"tag":"AbiUInt"},{"contents":[256,"139"],"tag":"AbiUInt"},{"contents":[256,"98293791541145010808039586014602198178370611000595226556310470547128314160506"],"tag":"AbiUInt"},{"contents":[256,"15554552732271104230163451535924208580986586962235201022887898180037717340963"],"tag":"AbiUInt"},{"contents":[256,"4972981325291756615582817308754753538984730602423847398544747970423113376962"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747171"],"tag":"AbiUInt"},{"contents":[256,"98118755645242618264638395604229734684266864913434710863191178331366476687128"],"tag":"AbiUInt"},{"contents":[256,"1535557011"],"tag":"AbiUInt"},{"contents":[256,"22781592295536043420050555325734941052102229070595413274604223331791828510789"],"tag":"AbiUInt"},{"contents":[256,"329426763266141358280579589309419007533"],"tag":"AbiUInt"},{"contents":[256,"1527219528"],"tag":"AbiUInt"},{"contents":[256,"90405874479844398482122152675441619664468801482833498551944997935018464959191"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063720","0x0000000000000000000000000000000000000000000000000000000000001f0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"123219299440840890846683294"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb28","0x0000000000000000000000000000000000000000000000000000000000000062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"30638678118240978245611687817292133118512289994475775335791953246025100370453"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e378","0x0000000000000000000000000000000000000000000000000000000000001021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"1529257642"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002253d","0x000000000000000000000000000000000000000000000000000000000000411e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"2201312163"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081573","0x000000000000000000000000000000000000000000000000000000000000305a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061526","0x0000000000000000000000000000000000000000000000000000000000001361"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"54499473542932854223692748378283845500651892063958517824413511100323607557"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000697d8","0x0000000000000000000000000000000000000000000000000000000000006e55"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"\"+2\"","tag":"AbiString"},{"contents":"\"\\229\\160^\\199a8\\162\\DC2888888\\173\\&8886\\208\\212\\221\\&8\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"67063219733323372374078240551027281405661750840367917126027656963671239800488"],"tag":"AbiUInt"},{"contents":[256,"8998"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"69716422648043844252861151417049534753868309684275239161208430800597914830392"],"tag":"AbiUInt"},{"contents":[256,"26006262263992035881713723585919227776402858304942501974754767855223289457520"],"tag":"AbiUInt"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069115","0x0000000000000000000000000000000000000000000000000000000000003ed9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"21797260549864626285448012671998594502323572150712065580915827060759341894092"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e92a","0x000000000000000000000000000000000000000000000000000000000000d9d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"303"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000632d2","0x0000000000000000000000000000000000000000000000000000000000002712"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001c","0x00000000000000000000000000000000000000000000000000000000000063f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":[256,"1526256034"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f0aa","0x000000000000000000000000000000000000000000000000000000000000d399"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"7"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb2","0x0000000000000000000000000000000000000000000000000000000000000e0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000fbfc","0x0000000000000000000000000000000000000000000000000000000000008ae3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001d16d","0x00000000000000000000000000000000000000000000000000000000000066ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"1531097065"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000042","0x000000000000000000000000000000000000000000000000000000000000e59f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065373","0x0000000000000000000000000000000000000000000000000000000000000502"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004daf5","0x0000000000000000000000000000000000000000000000000000000000000004"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003dc95","0x000000000000000000000000000000000000000000000000000000000000d9db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"70157486715199333657780540570699550328877492147945281878482073088570615946723"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000416e8","0x0000000000000000000000000000000000000000000000000000000000000093"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000077af","0x000000000000000000000000000000000000000000000000000000000000131b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":[256,"5001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000632ce","0x0000000000000000000000000000000000000000000000000000000000008b95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"9855890846952112310536520596580690610024438457913517653574019085653781229745"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d464","0x0000000000000000000000000000000000000000000000000000000000003a9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"46929825169001472255807752817386914467829177314502738252324515136042499280901"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017b46","0x00000000000000000000000000000000000000000000000000000000000056bf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"32471663735258368467108533205335528685208460581011443994766829171049287188983"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000021","0x00000000000000000000000000000000000000000000000000000000000014a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"1531717002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffb","0x0000000000000000000000000000000000000000000000000000000000007e30"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":[256,"840"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022d45","0x0000000000000000000000000000000000000000000000000000000000009195"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"119170844529699103998794870873774026117"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068d43","0x000000000000000000000000000000000000000000000000000000000000812c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b9b8","0x0000000000000000000000000000000000000000000000000000000000002c13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"1156916"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000019","0x0000000000000000000000000000000000000000000000000000000000000d45"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270d","0x0000000000000000000000000000000000000000000000000000000000003365"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"193416290303438708686200"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008a","0x000000000000000000000000000000000000000000000000000000000000a2dd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639864"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005743e","0x000000000000000000000000000000000000000000000000000000000000b275"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"TREASURY\\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":["0x000000000000000000000000000000000000000000000000000000000004cc12","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c43a","0x000000000000000000000000000000000000000000000000000000000000a475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006cce7","0x0000000000000000000000000000000000000000000000000000000000006a4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"1529633143"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012c","0x0000000000000000000000000000000000000000000000000000000000002ec2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"31187445585972820255862979836839198521848540895264565315098706435130882626902"],"tag":"AbiUInt"},{"contents":[256,"20764897442472680506942911181450705142467541137438513787573071619491762532482"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000036f8c","0x0000000000000000000000000000000000000000000000000000000000009205"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[256,"1527971797"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000629dd","0x00000000000000000000000000000000000000000000000000000000000004b2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b1","0x000000000000000000000000000000000000000000000000000000000000c31f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"27926825213719202896292864641334715337788075884289129857392060883067333902491"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005d","0x0000000000000000000000000000000000000000000000000000000000001cad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb45","0x0000000000000000000000000000000000000000000000000000000000000001"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e8","0x000000000000000000000000000000000000000000000000000000000000d6f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085b27","0x00000000000000000000000000000000000000000000000000000000000069ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5c","0x00000000000000000000000000000000000000000000000000000000000009d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085cbf","0x0000000000000000000000000000000000000000000000000000000000002674"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x3450a15Dc9cbDD5C0e28cC22474D88AD7e2695A3","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"K-\\159\\233+\\131|\\253\\DC3\\143\\134\\157\\184\\235G\\203\\213JO\\180V\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236+\\ACK\\177\\177\\232j.!Yw\\159vP\\251\\178fa\\154\\235\\201+\\151\\210:\\DC4\\215\\165g,V\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\200\\EOT&qN\\ACK\\143\\235d\\204$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\209GhGx\\EOT\\EOT\\171\\231\\209\\219E\\177\\193\\&0\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\253\\255\\220\\255\\&9\\198\\160\\219\\192\\ACK\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\250\\179\\249\\219\\158}\\205\\129zsS\\157v\\bx\\DC3\\166\\226\\132\\208\\222\\235\\NAK\\217:\\244\\197b\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\246G\\171B\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vnA\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\210\\132\\238\\175\\186(R\\232:\\bF6\\236\\SI.8\\STXQ\\137\\182\\233V\\169Z\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\251\\245\\234\\213-tV\\251o\\193\\176C\\212\\232<\\242\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\174\\&6\\174.X\\217\\230BL\\180J\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\152\\251\\149B\\247x\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195O<P\\ETB\\157b\\a\\210\\&7(\\211a\\a\\238\\196e\\159\\150\\132\\252\\&7\\f%\\158n\\231\\&4)m\\245R\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\206#\\t\\ETX\\206\\242\\160\\211\\216_Y\\224\\144\\223z\\DC2&\\199C\\197U9\\rO\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"{l-\\144l6P\\135o*;\\247\\DC3\\196\\142?;\\190?\\213f\\204\\198\\174Da\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152q\\244l\\207\\ETB\\211t\\163'3\\251\\179\\a\\138\\145\\226\\225\\231\\DC3r/\\133\\ACKT\\220K\\173\\178\\150\\205Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\SI\\235\\213\\185xJ\\RS\\140G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\247OO\\158\\236\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\136\\193\\249/I\\148P`\\241\\RS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"L]6\\168\\221\\156\\144\\ENQ\\a\\212\\DC4\\146v\\172!\\NULo\\219S\\205^\\254\\249^\\US\\DEL\\173\\233e\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\ESC\\244\\234\\174\\242\\206\\237=\\238\\234 \\168\\147\\133\\240\\a\\219Q\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\":f\\SYN489\\221~\\235\\245\\137\\146\\248\\228\\162{\\176,\\232g\\138\\230\\ETB\\197u\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"CB\\ACK%\\205#\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\177\\137<{\\247\\233\\255!\\189 a\\234\\133\\252\\181'\\195G\\233\\254C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\244\\146\\135\\SOF\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\SYNi\\149\\129\\163\\159\\177\\128\\&1\\GSF\\ESCL\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\175\\RS\\n\\192Pt\\221\\178Y\\181mC{\\186%\\173\\214\\234}\\191\\185\\163\\200\\EM\\142\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188K\\252\\244\\253*\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\NUL\\155L\\210\\241\\190\\f\\240w\\182\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"Vx\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\226:\\143|\\250\\151v\\242\\193\\177\\212\\173\\212\\ETB\\f\\169#Yn5\\171\\148\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\208 H{p\\173\\208\\164\\161V\\222f\\ETX%gZ\\SUBR\\227F$i\\161\\SOeTy\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\b\\196\\248\\216h\\251\\153\\&4\\254=T\\193\\SI'o\\224\\\"\\172\\n\\233\\&6$*{\"","tag":"AbiBytesDynamic"},{"contents":"\"~??\\DLE\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\197\\210\\181Y\\203#`i[H\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\GS\\141\\198\\208\\164\\185n\\255^\\\"\\SYN \\173\\189\\189\\233\\184\\157w\\192T\\ESCT\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175 D\\147AS\\174P\\166=Ui\\142\\140]G\\\"\\176\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\154\\173\\166\\252+zpj\\192\\189\\219\\199\\217\\250y\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\180\\175\\194\\172\\185_\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\240%vl\\FS\\143\\166m(v\\NAK\\137;\\161\\140\\246\\235P/\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\217,\\188\\DC1\\v8\\158%\\192zy\\238XTa\\171`\\187h\\239\\FS\\156p\\201\\212\\154\\211w\\153m\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188o\\169)\\225nOx\\208\\SOHkX\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\149[\\b\\202t\\191\\ESC\\232e\\250_$=\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\145\\166V\\237\\168e\\200a\\215\\217\\229\\n)\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254$\\129\\236.\\\\\\222\\r<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\GS\\141\\198\\208\\164\\185n\\255^\\\"\\SYN \\173\\189\\189\\233\\184\\157w\\192T\\ESCT\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175 D\\147AS\\174P\\166=Ui\\142\\140]G\\\"\\176\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\154\\173\\166\\252+zpj\\192\\189\\219\\199\\217\\250y\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\180\\175\\194\\172\\185_\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\240%vl\\FS\\143\\166m(v\\NAK\\137;\\161\\140\\246\\235P/\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\217,\\188\\DC1\\v8\\158%\\192zy\\238XTa\\171`\\187h\\239\\FS\\156p\\201\\212\\154\\211w\\153m\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188o\\169)\\225nOx\\208\\SOHkX\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\149[\\b\\202t\\191\\ESC\\232e\\250_$=\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\145\\166V\\237\\168e\\200a\\215\\217\\229\\n)\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254$\\129\\236.\\\\\\222\\r<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\GS\\141\\198\\208\\164\\185n\\255^\\\"\\SYN \\173\\189\\189\\233\\184\\157w\\192T\\ESCT\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175 D\\147AS\\174P\\166=Ui\\142\\140]G\\\"\\176\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\154\\173\\166\\252+zpj\\192\\189\\219\\199\\217\\250y\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\180\\175\\194\\172\\185_\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\240%vl\\FS\\143\\166m(v\\NAK\\137;\\161\\140\\246\\235P/\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\217,\\188\\DC1\\v8\\158%\\192zy\\238XTa\\171`\\187h\\239\\FS\\156p\\201\\212\\154\\211w\\153m\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188o\\169)\\225nOx\\208\\SOHkX\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\149[\\b\\202t\\191\\ESC\\232e\\250_$=\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\145\\166V\\237\\168e\\200a\\215\\217\\229\\n)\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254$\\129\\236.\\\\\\222\\r<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\GS\\141\\198\\208\\164\\185n\\255^\\\"\\SYN \\173\\189\\189\\233\\184\\157w\\192T\\ESCT\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175 D\\147AS\\174P\\166=Ui\\142\\140]G\\\"\\176\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\154\\173\\166\\252+zpj\\192\\189\\219\\199\\217\\250y\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\180\\175\\194\\172\\185_\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\240%vl\\FS\\143\\166m(v\\NAK\\137;\\161\\140\\246\\235P/\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\217,\\188\\DC1\\v8\\158%\\192zy\\238XTa\\171`\\187h\\239\\FS\\156p\\201\\212\\154\\211w\\153m\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188o\\169)\\225nOx\\208\\SOHkX\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\149[\\b\\202t\\191\\ESC\\232e\\250_$=\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\145\\166V\\237\\168e\\200a\\215\\217\\229\\n)\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254$\\129\\236.\\\\\\222\\r<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\GS\\141\\198\\208\\164\\185n\\255^\\\"\\SYN \\173\\189\\189\\233\\184\\157w\\192T\\ESCT\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175 D\\147AS\\174P\\166=Ui\\142\\140]G\\\"\\176\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\154\\173\\166\\252+zpj\\192\\189\\219\\199\\217\\250y\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\180\\175\\194\\172\\185_\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\240%vl\\FS\\143\\166m(v\\NAK\\137;\\161\\140\\246\\235P/\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\217,\\188\\DC1\\v8\\158%\\192zy\\238XTa\\171`\\187h\\239\\FS\\156p\\201\\212\\154\\211w\\153m\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188o\\169)\\225nOx\\208\\SOHkX\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\149[\\b\\202t\\191\\ESC\\232e\\250_$=\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\145\\166V\\237\\168e\\200a\\215\\217\\229\\n)\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254$\\129\\236.\\\\\\222\\r<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\GS\\141\\198\\208\\164\\185n\\255^\\\"\\SYN \\173\\189\\189\\233\\184\\157w\\192T\\ESCT\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175 D\\147AS\\174P\\166=Ui\\142\\140]G\\\"\\176\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\154\\173\\166\\252+zpj\\192\\189\\219\\199\\217\\250y\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\180\\175\\194\\172\\185_\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\240%vl\\FS\\143\\166m(v\\NAK\\137;\\161\\140\\246\\235P/\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\217,\\188\\DC1\\v8\\158%\\192zy\\238XTa\\171`\\187h\\239\\FS\\156p\\201\\212\\154\\211w\\153m\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188o\\169)\\225nOx\\208\\SOHkX\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\149[\\b\\202t\\191\\ESC\\232e\\250_$=\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\145\\166V\\237\\168e\\200a\\215\\217\\229\\n)\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254$\\129\\236.\\\\\\222\\r<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\GS\\141\\198\\208\\164\\185n\\255^\\\"\\SYN \\173\\189\\189\\233\\184\\157w\\192T\\ESCT\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175 D\\147AS\\174P\\166=Ui\\142\\140]G\\\"\\176\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\154\\173\\166\\252+zpj\\192\\189\\219\\199\\217\\250y\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\180\\175\\194\\172\\185_\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\240%vl\\FS\\143\\166m(v\\NAK\\137;\\161\\140\\246\\235P/\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\217,\\188\\DC1\\v8\\158%\\192zy\\238XTa\\171`\\187h\\239\\FS\\156p\\201\\212\\154\\211w\\153m\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188o\\169)\\225nOx\\208\\SOHkX\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\149[\\b\\202t\\191\\ESC\\232e\\250_$=\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\145\\166V\\237\\168e\\200a\\215\\217\\229\\n)\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254$\\129\\236.\\\\\\222\\r<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\246}&H\\208,\\173\\137Dk$[|\\165\\238\\156\\241\\217P\\188\\166\\191\\197U\\187\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\SI@\\SOH\\n,\\EM\\185\\210\\191\\SOH\\166\\&3.\\199Z=\\SOHEs\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\246zh\\CAN2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\189\\222\\239\\204\\&4m\\205K\\SUB\\DC4\\217\\180n\\144\\159\\230\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\211\\178$\\215\\236\\253L\\223\\161!K={\\SO\\234\\191\\244\\&9\\245\\219\\224\\&7\\170\\201\\213B\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\254\\207\\233\\210\\192\\SI\\247\\243(\\227\\238c\\STX4\\138\\164&<\\173^\\181\\228(N\\230\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\152\\t\\197\\200\\250\\DC3\\142\\RS\\236\\v\\248\\STXi\\f\\166\\232\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\145\\DC1\\183\\134\\182K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\191\\166`\\193\\226G\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\243\\241\\\"\\f\\247\\236\\152\\&1\\150\\\\\\CAN\\242\\243\\SUB\\191\\222\\185\\&1w<4%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\146\\173\\177p4KzqII\\158 #=\\222\\205\\207\\155j\\160\\183X`^\\223\\246\\ru\\189\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\177Jz4\\220\\128\\150\\244&\\188\\SYN\\DC2\\224|\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\GSQn\\201\\231\\174\\142\\183\\164\\SI\\250\\224`\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\200a\\\\\\176\\133\\234\\a\\174<Zj\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\200\\EOT\\r\\190%\\130\\201jz\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\188)\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164v\\\"Y\\CANJ&\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GSR\\245\\178aC\\175\\EM\\187\\197\\156[\\234`\\212\\177-[\\142\\STX\\133[\\215V\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\&2h\\195v>\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\216\\218\\240\\135m\\RS\\212E~&\\222;\\252\\DLE\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"61/\\219\\250\\138\\DC3\\202)&\\SYNos\\182\\221Q:\\223\\SO\\253\\EOT\\176\\159>\\151\\181\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243Fq\\159)\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\v\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\242\\255\\139\\ETB\\224w\\227S\\147\\207W\\147\\140\\170\\149\\SO\\133\\130\\&3\\DC1\\153\\193\\179vr\\167\\148\\194\\182\\216\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\177lSQ\\177ps\\182\\f\\GS\\SOH\\236\\216\\135\\138k\\b\\249\\&88\\162\\245n\\SI\\251\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4U\\r\\\\\\EM.J\\SI?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150&\\EOT\\\"1\\143\\211\\201\\&0\\FS\\162\\240\\216\\ETXk\\168b$\\217X\\175\\DLE\\161\\af\\251\\v\\197F\\153)\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\159G\\171\\NAKt\\217\\SO\\241\\222\\SOH+F5\\185\\163?\\219\\130\\206\\216$\\234P\\ACKc\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\175\\181\\231\\217\\200\\222Kjb0\\194\\ETB\\133G\\223\\211d\\US\\151@\\USg5\\204D\\222\\166\\131\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"Bi\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\&1\\237\\147\\158B\\168\\138l,\\133\\176\\161\\156\\160\\182\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\ETB\\232\\DC3\\181\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vaO#\\130jM.P\\213&\\FS\\211Q\\143Q\\128L`r3\\166\\155`\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167_\\219d6\\150\\rFp\\234\\182\\NUL]\\147\\208\\158w\\193\\229\\205E\\197\\f\\194\\SUB\\252o\\225\\215h\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\149\\SYN\\174h+3.B7\\223\\182R\\175H\\ESC#k\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\NAK\\DLETe\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\241\\214\\237\\186\\231*m(\\244\\ENQF\\f\\170\\140]\\250\\DC1NcG\\200\\147f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"}|\\156\\&0\\161\\168\\134\\ETB'\\193H\\t\\185F\\\"\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\158~\\240)\\151[\\SUB\\182\\b*!\\211\\SO\\SYN5\\158\\179\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227)5MD]\\ACK\\205\\159\\187--x\\129\\DC4\\249\\141\\239\\RSB\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\ETB\\STX\\174Z\\221\\206\\ACK4\\232\\228\\ETBw\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\STX\\204\\ETX]S|\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\156\\240\\219\\241BL7\\DLE\\235c\\211Z\\DC3\\241\\157#=p\\GS\\138\\EMU\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187y\\254\\204\\189)\\233-\\204\\161\\163\\131\\199\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB5gP\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"z@\\STX\\250\\206\\132\\134\\US\\225\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"8P\\203m\\237y\\196\\172\\ETB\\DC4\\130\\246V\\168\\174\\164Oc\\164h\\138\\\\\\b\\234\\245\\250\\231|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\193\\180t\\DEL\\STX\\203\\132\\167\\238\\SUB\\161}\\212C\\b\\170\\215\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"IT\\241\\FSM\\255\\FS\\129\\186\"","tag":"AbiBytesDynamic"},{"contents":"\")\\181+\\202\\&4\\241](\\209\\133\\198+,\\\\\\146s!\\142\\ENQ\\214\\&1\\157G\\181\\219\\226\\ETXR\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\198}\\STX\\237\\250\\222\\175?\\SOH\\214\\139\\254\\&2-+4\\DC2\\194\\vv\\131\\US\\148\\184\\&4}\\231.l:`\"","tag":"AbiBytesDynamic"},{"contents":"\"~Y\\226\\152Z\\208\\SOH\\ENQ\\153\\175\\206\\212\\196\\DC1\\157\\NUL\\225\\211\\bd\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\ETXu\\183\\FSP\\174\\154\\ETX\\175\\152\\156\\152\\&8\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\245mM\\SOO\\176\\246\\255V\\196\\214\\208{\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"^wIl\\235H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\212\\141HO\\CANEm\\235\\ETB'Q\\164\\224\\231lJR\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\CANh\\129\\a\\214\\STXN\\CAN\\185h\\238\\CAN\\157\\CANZ\\DC3\\240\\184\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\144\\255\\174\\221\\&0\\148\\212r\\201\\RS\\185o\\f\\227(n\\227B\\166\\DC4l\\164\\245\\240y\\ETXM\\252\\EOT\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\224\\244\\176\\n\\164,\\147&\\168t<1\\133\\136y\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\132\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\EOT3N\\161:)\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\RSC\\216\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\193\\145\\251\\230#\\DLE}\\183,\\fS\\168\\200\\165\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\FS\\198K>UG\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149s\\224\\147c\\148\\DC4\\STX|*\\161lM\\175]\\f\\223E\"","tag":"AbiBytesDynamic"},{"contents":"\"SL\\ESC\\134.\\156\\\\\\230\\&4N51\\133\\166) \\ETBon$\\238=\\238\\230\\207\\241\\SUB\\163/C\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\188C\\SOH^\\210\\245\\US\\128\\192\\247z\\246GQ\\188\\ETBr?\\215\\&2\\242\\250\\171\\191,\\131\\168\\173\\188q\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\142\\254\\188\\197Uer\\213\\253\\r\\219c\\DLE\\176I\\151\\198\\DELh&\\DC3\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"vL\\228\\STX\\206\\232Mba\\146\\189\\196\\ENQ\\242\\137@\\229#\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217%\\194\\159\\182\\207\\248\\218\\DC1\\DEL\\164n\\196\\252\\157\\253U\\157!\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"Mm@\\157\\133\\&5\\173\\193\\\\\\167%\\SYN\\171\\233\\143\\208\\183NE`\\172\\244\\245s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167@lS\\131\\211\\194\\144\\200#5\\174\\189\\a\\185\\f\\187%\\ETB\\214\\235l\\SO\\161\\190J\\246D\\195\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\152\\137\\176\\237\\&8\\170\\168\\f\\135\\EOT\\210\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\238L\\130\\158*\\156\\t;\\228\\186\\130\\157\\180\\142\\215^\\135\\245\\243I\\128\\255V\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"5f\\148\\184\\202zd\\208,V0\\166\\f\\149-\\202lb\\226\\231\\245\\197d\\138*\\217\\154\\a\\202=d\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"[OW\\131\\SI|\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\US\\167\\148\\232\\t\\199A\\232\\174>\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\206U^\\SO\\189\\&7,\\a\\183yK\\225(\\206\\166\\DC2\\130\\176\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\159\\GS\\216(\\RS\\142M=e\\131\\152@\\240\\166\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\250\\229#\\231Gz\\216b\\215\\227\\228\\FS\\225K\\137\\193\\&8\\176\\FS}Q\\241\\247\\152\\FS\\140\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"7g\\209\\150\\205\\NUL\\bvYZP\\NAK\\171D\\nd\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159i\\ESC\\225\\193\\153\\183\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"HO\\182\\177\\193\\195?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\CAN\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\230\\155\\216_\\254I\\224\\175\\SUB\\234\\214\\147\\203\\NULm\\237\\SIA\\234\\209\\\"z\\189\\166\\221\\CAN\\202\\161F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX6\\210\\188\\198\\243o\\189\\181T\\191\\237\\239\\CAN\\248?\\190\\&6\\164\\&4\\183\\168\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\208\\v{\\205\\132\\143\\&7v\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\146\\143\\232\\r\\133E\\198\\234\\ACK.\\172\\150f8/\\235\\DEL\\219\\243f\\205\\166\\ENQ\\137\\148\\169\\141\\244\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133a\\142\\DC3\\197d5\\\\\\FS\\176\\157\\152\\145\\192\\195\\190\\215\\DC2\\v\\157\\235N\\129\\192\\NULV>M\\245\\173\\GS\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\207k\\249\\NAK\\195\\ACK]\\155<t\\213\\160\\254\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\ESC \\164\\STX|\\212\\208\\132G!\\153\\181z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\223]\\198\\244j\\232\\249\\221X\\201\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\243\\215N\\195\\&7o]ml\\ETBzR\\142\\148`2\\\"\\ACK\\136\\215E\\130\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"l\\136\\233G\\EOT\\138\\&3e\\194X\\150\\220\\EOT\\235\\EMX\\215U\\155\\DC3(d~\\161\\150`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\154<\\135\\219\\203g\\DELj\\175\\171jcC\\187B\\245\\n\\DC4\\NAK\\164T\\229\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\168\\128\\DLE\\DC4\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\212y\\235\\219\\190L\\198{\\172\\173\\v\\252Y(u\\STX\\199\\DC4\\SO}z\\DC4\\r\\249\\186\\166\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165<\\213\\169?\\128t\\220\\234\\134p\\234g\\161z\\140\\188\\146l\\211\\v\\164\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\205t\\250Z\\226\\250\\160H&\\GS\\236\\206,\\227\\&1\\212\\170\\DEL\\253\\133=\\148\\174j}q^\\213\\&3\\196\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\148h\\SOhqP\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\132\\206\\&4\\r\\201\\223]\\148\\175\\234v\\141\\232N\\134\\152\\DC2\\228Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249^\\252\\252\\202\\172\\211\\251\\t/\\179\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\161\\220\\224\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"'f1\\ENQ\\131\\180\\&9\\163F\\131\\188\\CAN\\215\\131\\252\\SYNA>@\\128\\226x1\\128\\174\\f@\\191\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215c\\141\\189\\&4\\DC1'\\214\\233\\FS2\\225\\172\\184\\&9,\\193\\&0\\r\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\223\\142O \\143\\129\\246\\b\\164\\152E\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQG.Z\\171\\a4\\r\\172\\228\\221Up\\221\\255\\205\\155\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\191\\224A4qj[\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\239\\191\\SUB\\217\\DC4CY\\244\\218?\\138\\237\\DC3\\239\\181}V\\195\\160\\241\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\138\\238\\153\\212 Xad\\RS\\192\\182\\133~\\174\\241\\199\\SUB\\254=J\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\186%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\220&\\226<_=B\\DC2\\156\\249\\199\\134T\\DC4U\\234b}\\237\\&4\\141\\253\\153{\\168\\255\\251}\\228\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\r\\169\\154\\227\\135b\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\245\\RSR\\DLE\\159\\141\\196\\&2\\161\\158\\160\\247\\211\\\"\\DEL\\153\\250\\246<\\f\\153\\181\\193\\128\\&6\\232\\197\\243\\\\\\169\\239n\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\SI|=\\172\\152\\SI@d/!J\\202\\173S\\152Q\\147\\207VD\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252E\\219\\129N,.\\184\\129\\ETX\\245\\219\\DEL\\132\\169\\tx\\251O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI^1\\251\\SOce]\\194s\\SYNs\\244\\131\\ETB\\131\\&2\\151\\212W~\\US9k!\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182eOd\\ENQ'\\204\\196^\\153\\223ZV\\167\\SYN\\aS\\232\\fXI\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\233\\USY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\225n\\199\\199J3\\131Mx\\NUL\\165@\\150\\159z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\n\\211?\\201\\139$\\207\\216H\\f\\a\\190\\179&\\173\\164wr\\252\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\162\\167\\219:\\245\\168\\216^\\222*\\145\\&4\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"L+\\182\\STX\\SYNj\\CAN\\231\\DC3\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\";\\DC3\\NUL\\139S\\250\\237c\\159W\\201+\\145O\\SI\\151\\249NS\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\199\\172\\200o2\\232\\230\\v&\\129\\154/\\248KDw\\151\\142R\\157\\188\\254\\&4D\\208[\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\t4\\ETB\\188\\178G$\\169_\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178'U `#p\\174\\158HO{u\\181\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\158\\\"j\\164\\157\\199I\\209\\157\\224\\132|e\\210\\190\\237\\&5\\207\\&4:\\ESC\\248#\\215\\&5\\149\\204\\223\\158\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"-5\\154\\128`U\\175\\174\\169\\r\\185@\\155\\220\\&3\\201\\156\\221\\DC1L\\CAN\\250\\202\\194\\129\\172\\138KG\\226*\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"oS#\\210\\235r\\236\\244\\US\\155\\208\\235\\139\\155xG\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\207\\231\\247BL\\131vN\\DEL\\187\\&1A\\238\\240j\\209\\253(\\184\\158\\166\\224y\\r\\CAN\\178\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\")\\228\\175\\152\\DC1\\ACK\\235\\139\\247\\168\\128^%\\163\\ESCp\\202 \"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"ONB\\181\\134,\\254\\220\\205\\140#E\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\195\\ETX\\ACK.k\\210\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145a_\\166Nn\\214D\\247d\\212\\144\\&6\\f\\151z\\148\\173:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\DC1\\214^\\a\\177\\220Yj\\ETB\\233U+\\162a\\DC2)\\235\\137\\158\\&4\\137\\161\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235=\\139\\226\\208V\\218\\157\\235M\\198PD\\142\\&4\\170\\CAN\\214\\178\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f1i\\228b2\\167\\200\\DELx\\ETX\\203\\ESC\\254\\164\\252\\DC4\\245Q\\152)\\223\\ACK\\NAK\\RS>\\208\\156^\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\233}S\\200(\\138\\130\\ESC\\224\\EM!\\163\\154\\&5Q4\\195\\ETB\\157\\200UJ\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171? \\198\\NAK\\235\\229\\232\\GS#2\\243$\\223\\129\\230H\\219 \\GS\\239\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"-l=9\\221Y9>F\\233\\242\\224\\202X2\\130\\f%5\\215\\DC13>\\246\\141;2\\153\\169`\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\239[\\SO\\SO\\192\\157]'\\225q\\141\\174\\191(\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\\"\\230N\\137\\167\\230s\\128N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\178\\&9\\195\\194\\v5\\250\\192\\137\\153\\253\\136\\208\\205 \\210\\168\\&2\\138\\142\\DLEA\\203+!\\226\\148\\184[L\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\238\\ETB\\130\\226\\204d\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\219\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\137w;\\208F\\171gU\\SYN\\197bq\\254%\\166TY\\165\\169\\210D=Z\\241{\\155\\151-\\212\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"17178440135008274313730722212186045244925869710148321802652004348955286788894"],"tag":"AbiUInt"},{"contents":[256,"46073620742591422847526067604996174532414564528021573748381105735920318369140"],"tag":"AbiUInt"},{"contents":[256,"1526857591"],"tag":"AbiUInt"},{"contents":[256,"887"],"tag":"AbiUInt"},{"contents":[256,"21292615569759147742131978897255195767682408347340387744444712400703620952028"],"tag":"AbiUInt"},{"contents":[256,"70157486715199333657780540570699550328877492147945281878482073088570615946723"],"tag":"AbiUInt"},{"contents":[256,"53863381060919174574294758920001982575917629653441467105131270852990803893261"],"tag":"AbiUInt"},{"contents":[256,"30413658187787210313024782811763155092297607319308921090109356150295125802065"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892771"],"tag":"AbiUInt"},{"contents":[256,"48151894393571701127740869940066511154405924870334053670860665804004038388345"],"tag":"AbiUInt"},{"contents":[256,"20916345429453758508833770850577663842076691207801761611100999866074260168315"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628416"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"1527551761"],"tag":"AbiUInt"},{"contents":[256,"55242681258012074693914218999761483706257349388723080324986121068540648713991"],"tag":"AbiUInt"},{"contents":[256,"26032927375614846131072233100323993373855935310735183136848781517424308247229"],"tag":"AbiUInt"},{"contents":[256,"97931562764128894492695669216825421310533611757927102394847901400955373171244"],"tag":"AbiUInt"},{"contents":[256,"435516349898403"],"tag":"AbiUInt"},{"contents":[256,"1527354200"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"2"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"38196414048555742888764400468448978883985185999839381744059217895856897289357"],"tag":"AbiUInt"},{"contents":[256,"2000002"],"tag":"AbiUInt"},{"contents":[256,"1530990935"],"tag":"AbiUInt"},{"contents":[256,"1533588645"],"tag":"AbiUInt"},{"contents":[256,"3"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628414"],"tag":"AbiUInt"},{"contents":[256,"1531611241"],"tag":"AbiUInt"},{"contents":[256,"67"],"tag":"AbiUInt"},{"contents":[256,"77413928469571960533353685224490559145672869141122540624991447484199910116752"],"tag":"AbiUInt"},{"contents":[256,"873835129"],"tag":"AbiUInt"},{"contents":[256,"111278087076160700448917565426088460352591466682190902139167839021807025425324"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1524785993"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639905"],"tag":"AbiUInt"},{"contents":[256,"4928593020637281264350299519932613909188672307134544528657090666112315285394"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"143"],"tag":"AbiUInt"},{"contents":[256,"1038943298329884301920651320921778857604805350291802309005573826995972690300"],"tag":"AbiUInt"},{"contents":[256,"79588127016572230923394622308698700485232260170424679796754754238301538203443"],"tag":"AbiUInt"},{"contents":[256,"1528457661"],"tag":"AbiUInt"},{"contents":[256,"1531980246"],"tag":"AbiUInt"},{"contents":[256,"42220877661240048834855618301955376462307533672622189905578237238028235652034"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"64017133743296047329896592654952481522632454913982836916094500586393109512308"],"tag":"AbiUInt"},{"contents":[256,"1532294733"],"tag":"AbiUInt"},{"contents":[256,"49284290400253202184550776007509766150174324582434859839131449696944607566788"],"tag":"AbiUInt"},{"contents":[256,"71451307244100998888474959434985327107456661754454354685476453871560551743800"],"tag":"AbiUInt"},{"contents":[256,"55640522546944312464409485613460404047388493268959349958580735807965300682045"],"tag":"AbiUInt"},{"contents":[256,"1528115415"],"tag":"AbiUInt"},{"contents":[256,"1530832919"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b056","0x00000000000000000000000000000000000000000000000000000000000045d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639902"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f19","0x000000000000000000000000000000000000000000000000000000000000134a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062123","0x0000000000000000000000000000000000000000000000000000000000002196"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000007","0x0000000000000000000000000000000000000000000000000000000000002da8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":[256,"5857900879862980992150230337213535611196834617203468159563258241440172256336"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012d","0x00000000000000000000000000000000000000000000000000000000000034e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"106158711969922999267352169663788229976382413772819299718618970519575773328622"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007d","0x0000000000000000000000000000000000000000000000000000000000004777"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"69"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"502"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070f92","0x000000000000000000000000000000000000000000000000000000000000d8d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ab02","0x0000000000000000000000000000000000000000000000000000000000000130"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"66040206158125913060707736503472857257035528327223267926910401978365136562855"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51a","0x0000000000000000000000000000000000000000000000000000000000008b5d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"674"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b6a","0x0000000000000000000000000000000000000000000000000000000000005caa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"56007503888824259949961332092991925615474243576984124894666487619845574586789"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001530f","0x000000000000000000000000000000000000000000000000000000000000b302"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"44212261468968176046919679776555363585275837635826754759416644699749871740254"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000078732","0x0000000000000000000000000000000000000000000000000000000000001270"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"10414162351487250650371473008563199153095094435567471128089560641369801087035"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025d50","0x000000000000000000000000000000000000000000000000000000000000139f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005d","0x0000000000000000000000000000000000000000000000000000000000007b84"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabd","0x000000000000000000000000000000000000000000000000000000000000e7ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":[256,"125"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb34","0x0000000000000000000000000000000000000000000000000000000000002123"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x000000000000000000000000000000000000000000000002627f3fb782282f59"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000041a2","0x000000000000000000000000000000000000000000000000000000000000133e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c5","0x0000000000000000000000000000000000000000000000000000000000000231"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"23113829378582059276095432"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d89a","0x000000000000000000000000000000000000000000000000000000000000132a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639035"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027eff","0x000000000000000000000000000000000000000000000000000000000000d9d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"86"],"tag":"AbiUInt"},{"contents":[256,"65267663679590480736484779125762444130699959808504071421536448017550849745956"],"tag":"AbiUInt"},{"contents":[256,"55784117349147967616806307153750213729820401508015914713538644445149017174675"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000687d6","0x000000000000000000000000000000000000000000000000000000000000b0a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"20378062546924661400198628429278567230442977782388179803866399067135565875686"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e701","0x000000000000000000000000000000000000000000000000000000000000ddd9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054279","0x0000000000000000000000000000000000000000000000000000000000008199"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0e","0x000000000000000000000000000000000000000000000000000000000000d8d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1529536857"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007cf","0x000000000000000000000000000000000000000000000000000000000000bef7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"1533368521"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000255a8","0x000000000000000000000000000000000000000000000000000000000000137b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"64884959100097882123378513263304921308435872261368823007667774794040696038734"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000632ce","0x000000000000000000000000000000000000000000000000000000000000682d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]