[{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e374","0x0000000000000000000000000000000000000000000000000000000000001356"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0d","0x0000000000000000000000000000000000000000000000000000000000000054"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747171"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b056","0x0000000000000000000000000000000000000000000000000000000000005d4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"<\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231q\\191_nA\\158Y\\139\\160\\244\\192\\DEL\\\\V\\192\\213\\242\\138\\225\\USj\\170\\186\\ETBf\\154\\247!\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>?8\\149\\184<\\254D\\157\\200\\179\\245AW/+z\\131\\CANO\\SOH\\231\\244,\\239u\\b2\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\249r\\217\\217\\177M \\134hm\\176\\250j\\142+\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Rd`\\GS\\228\\214\\227\\SUB\\176\\167{\\244\\214Q\\169\\181\\137)\\162\\185\\192\\142<ro[\\139#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135&\\224\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\bl\\243\\&1\\208\\241\\SOHw\\154M8\\192W\\214\\&7\\203(\\153\\221\\223\\143=`\\137\\188\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\203s\\216U\\188'\\145Bgj\\132>\\SUB\\213\\146\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209.\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"T,9/>9\\221F\\NAKU**hg\\STX\\180\\NAK\\b\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"76368539637955121394426527991323738916620133692205132764928589075319934535325"],"tag":"AbiUInt"},{"contents":[256,"76368539637955121394426527991323738916620133692205132764928589075319934535325"],"tag":"AbiUInt"},{"contents":[256,"76368539637955121394426527991323738916620133692205132764928589075319934535325"],"tag":"AbiUInt"},{"contents":[256,"10003394892339300620738673155427519061713028714136763270375185488252998287551"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428158"],"tag":"AbiUInt"},{"contents":[256,"60318181046636098123013681869263144018390096606711154166688562523906676382988"],"tag":"AbiUInt"},{"contents":[256,"99493417936388842410956462181773201604091762887313451995895716714623352302630"],"tag":"AbiUInt"},{"contents":[256,"113143052589514866723249645586904953382267261730641267845701112731625894611406"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"63"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689600"],"tag":"AbiUInt"},{"contents":[256,"111911181361581382725266469900462866770786776271376351242586949310923607322282"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731856"],"tag":"AbiUInt"},{"contents":[256,"97648414655236204518255828554751627019813883074409671099240013137461234934083"],"tag":"AbiUInt"},{"contents":[256,"12082286361188835602381215084408497845468765815165004902590020037044510370370"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"11206443171474911156749315553071828"],"tag":"AbiUInt"},{"contents":[256,"65493116188860552862895183019202864113814285268251554784551008819428059309654"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638936"],"tag":"AbiUInt"},{"contents":[256,"171"],"tag":"AbiUInt"},{"contents":[256,"90094980036065076980570573087740852464524582548833601669701769333548606275557"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132609"],"tag":"AbiUInt"},{"contents":[256,"566"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638936"],"tag":"AbiUInt"},{"contents":[256,"111883944757929762905313123784536790820139925888229520141333019657432438499937"],"tag":"AbiUInt"},{"contents":[256,"11"],"tag":"AbiUInt"},{"contents":[256,"235"],"tag":"AbiUInt"},{"contents":[256,"67943291837784790101982307585264172718461054775126082513402048648200248937039"],"tag":"AbiUInt"},{"contents":[256,"132"],"tag":"AbiUInt"},{"contents":[256,"28843198750472957406421688189371419295843837852193209119738230764929680251898"],"tag":"AbiUInt"},{"contents":[256,"94270852761987860331002951840206932997629982080085936938755796388012641492891"],"tag":"AbiUInt"},{"contents":[256,"15330911223483683568409707187779498442620893695748785056563649120734635605297"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"13583698014143123598849698212298000775316328726264880666020630092910130079404"],"tag":"AbiUInt"},{"contents":[256,"47322990347447930761608309367140410837584468383417463092952832383075317443688"],"tag":"AbiUInt"},{"contents":[256,"43070036399615846427870065543595781387040129377971236973110662825963691981612"],"tag":"AbiUInt"},{"contents":[256,"711674177970612614436550266069165083922378750972411999412516075225169021935"],"tag":"AbiUInt"},{"contents":[256,"10200278613991742650590414531863931445775178645959069931823030595951666065873"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"12689059936376832854514516118623071662535040656953512869694131218496185168131"],"tag":"AbiUInt"},{"contents":[256,"9003"],"tag":"AbiUInt"},{"contents":[256,"96159650146306875913483487752861173203880047155703125657488992135646333723952"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035133"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"2"],"tag":"AbiUInt"},{"contents":[256,"499"],"tag":"AbiUInt"},{"contents":[256,"56533663279518168981287837942215990312782622499502412902718261121720785838453"],"tag":"AbiUInt"},{"contents":[256,"79704878740880155396208969723612189426713287343088651042125864074792982190314"],"tag":"AbiUInt"},{"contents":[256,"67946360698672125856414771808922812141217975201470442111812997796240485039777"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"51479414714375657295903069359856355318299959103097628304455080411049152401079"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639802"],"tag":"AbiUInt"},{"contents":[256,"9739418109909136584737725529606191437724172145565510815713574836842820357722"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858881"],"tag":"AbiUInt"},{"contents":[256,"1999"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639856"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553537"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266893"],"tag":"AbiUInt"},{"contents":[256,"82085783332657077901119367775698855485204065666434337085536020678835503927906"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"66827586268010225681049488880929044807642978742042688331642029559278723370202"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000002"],"tag":"AbiUInt"},{"contents":[256,"29671763240815220312636588467875308183784460365709619959778711900666362347063"],"tag":"AbiUInt"},{"contents":[256,"101178718328761338539346276725671253103097484641182044920856611229999380584622"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"},{"contents":[256,"9002"],"tag":"AbiUInt"},{"contents":[256,"79446148801437930596344654298197462908003985005148371965105266196071482395637"],"tag":"AbiUInt"},{"contents":[256,"13791894033176769921796995397194829733086333669192792493664869993132337667182"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266896"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"3999"],"tag":"AbiUInt"},{"contents":[256,"1999998"],"tag":"AbiUInt"},{"contents":[256,"3685304048967328517286442239719290590248878604105541653024808456507751154593"],"tag":"AbiUInt"},{"contents":[256,"62"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639886"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577600"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"98446997964889416317054658760415271362958601217678609054188789173985965238199"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"11519739378946986653661531279777683990433654136039217859883796608516272119002"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"85304447301372616890307282393585257354553689070784792083989048221842853408980"],"tag":"AbiUInt"},{"contents":[256,"44196215382915102186483507738291929279150469723711144374669712897218573444308"],"tag":"AbiUInt"},{"contents":[256,"8999"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062334"],"tag":"AbiUInt"},{"contents":[256,"318"],"tag":"AbiUInt"},{"contents":[256,"31"],"tag":"AbiUInt"},{"contents":[256,"6138525737036078520123578651394332287128126786000695998546086762148417100647"],"tag":"AbiUInt"},{"contents":[256,"2883483825497072442004336247010777909999062341062015271652505154387895941269"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551615"],"tag":"AbiUInt"},{"contents":[256,"81194815009839244181587086688952177175841278848490161585242264988456021167294"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427c","0x000000000000000000000000000000000000000000000000000000000000ec36"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000077","0x0000000000000000000000000000000000000000000000000000000000006a25"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000004eba666298520e362"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"903"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007a","0x000000000000000000000000000000000000000000000000000000000000138e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000000787b2f5755b907ed"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"99999999999999999999999999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bad","0x0000000000000000000000000000000000000000000000000000000000003f7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"188"],"tag":"AbiUInt"},{"contents":[8,"175"],"tag":"AbiUInt"},{"contents":[8,"41"],"tag":"AbiUInt"},{"contents":[8,"203"],"tag":"AbiUInt"},{"contents":[8,"66"],"tag":"AbiUInt"},{"contents":[8,"234"],"tag":"AbiUInt"},{"contents":[8,"46"],"tag":"AbiUInt"},{"contents":[8,"133"],"tag":"AbiUInt"},{"contents":[8,"93"],"tag":"AbiUInt"},{"contents":[8,"99"],"tag":"AbiUInt"},{"contents":[8,"108"],"tag":"AbiUInt"},{"contents":[8,"62"],"tag":"AbiUInt"},{"contents":[8,"134"],"tag":"AbiUInt"},{"contents":[8,"49"],"tag":"AbiUInt"},{"contents":[8,"204"],"tag":"AbiUInt"},{"contents":[8,"16"],"tag":"AbiUInt"},{"contents":[8,"120"],"tag":"AbiUInt"},{"contents":[8,"8"],"tag":"AbiUInt"},{"contents":[8,"32"],"tag":"AbiUInt"},{"contents":[8,"9"],"tag":"AbiUInt"},{"contents":[8,"181"],"tag":"AbiUInt"},{"contents":[8,"8"],"tag":"AbiUInt"},{"contents":[8,"239"],"tag":"AbiUInt"},{"contents":[8,"30"],"tag":"AbiUInt"},{"contents":[8,"105"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c43a","0x0000000000000000000000000000000000000000000000000000000000001391"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b6e7","0x00000000000000000000000000000000000000000000000000000000000095b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e3","0x00000000000000000000000000000000000000000000000000000000000069fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"63424059129111229792654053954385450825675799700313330894980668835918101214301"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028928","0x0000000000000000000000000000000000000000000000000000000000003c09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":[256,"105261285299056419606361914160484013032418103926256191992780207331923497671887"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000009","0x0000000000000000000000000000000000000000000000000000000000000bcf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"82"],"tag":"AbiUInt"},{"contents":[8,"23"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5e","0x000000000000000000000000000000000000000000000000000000000000002f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003340a","0x00000000000000000000000000000000000000000000000000000000000009de"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639926"],"tag":"AbiUInt"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c9","0x000000000000000000000000000000000000000000000000000000000000001b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f113","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006661c","0x000000000000000000000000000000000000000000000000000000000000b446"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"75523319944004977202212061933792720357945311191606655500439465492928491131261"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6c","0x000000000000000000000000000000000000000000000000000000000000937d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062e05","0x000000000000000000000000000000000000000000000000000000000000dcbf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"rror(string)\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL=\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f2","0x0000000000000000000000000000000000000000000000000000000000000590"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"82"],"tag":"AbiUInt"},{"contents":[8,"23"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007cd","0x0000000000000000000000000000000000000000000000000000000000009e94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"57810027767732752211110729139302908874620219195500789835135552566781960461249"],"tag":"AbiUInt"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000039","0x0000000000000000000000000000000000000000000000000000000000000010"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"82749448979840494211940813203725827918517751810817024067673777254219066538125"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5c","0x0000000000000000000000000000000000000000000000000000000000000401"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":[128,"604799"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012f","0x0000000000000000000000000000000000000000000000000000000000001384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"88147068649551271686769395565773899711096899084733143749405558570828825438598"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000102","0x0000000000000000000000000000000000000000000000000000000000001343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"172"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033493","0x0000000000000000000000000000000000000000000000000000000000000592"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"8999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bc","0x0000000000000000000000000000000000000000000000000000000000002e32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"A^\\151\\SYN\\229Z\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242p\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"&c_\\232D\\211\\GS\\ETX\\t\\201WH\\253\\152\\196\\US\\131\\188\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\143\\227\\190\\FS7VXH\\222-}4\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\238c\\ACK\\197\\248\\141;\\228\\245\\148f[\\173\\181+\\208\\242\\131u\\177\\&8\\134\\133 \\185\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\233D\\213\\167x\\163=\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\241s\\253LY\\US\\198\\209\\DLEI\\165\\219\\222\\209\\153\\DLEK\\248\\227\\147\\142\\140M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\216Kf4\\160P\\153#1\\148\\&1R0\\152$\\188\\233\\136z\\US\\214\\147\\ENQg\\188\\ESC\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\132\\152\\210\\252\\169\\162*\\198\\206D4]\\157\\DLEc\\219\\209@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\198\\203\\ACKa){H\\193\\&8\\140\\169\\149\\139\\203h\\132.\\220\\146\\235\\252@\\208<\\230\\232\\232\\193\\131\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158Xa\\130\\DC4o=\\NAK_%\\DC4\\ESC@8\\255\\&8\\159|\\132\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"'Zp\\167\\232knX\\t\\DC3\\200\\151\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\DC2\\200\\239\\165]\\t\\162S3l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\222\\USf\\226\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\145K\\r\\157\\166(XS\\229\\DC1N\\191k\\DC4\\224m\\216\\187\\\\\\247\\211)3\\STX\\217$\\203\\&0\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\186\\250}\\162\\248\\236\\190\\147\\199-\\230\\142\\234\\183\\190\\157\\&3\\226\\157\\RS\\135X\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187BE\\202\\187\\ESC\\DC3\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\ESCK\\182\\151\\213\\247E\\227\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\",t\\184\\GS\\144Svk\\163\\244\\240\\EOT\\219j\\155\\NAK\\ESCb\\128do\\176DT\\141B*\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\GS|X\\145\\SO\\250\\241\\SO\\234\\RS\\169p\\206\\SUB\\241\\173N\"","tag":"AbiBytesDynamic"},{"contents":"\",\\DC2\\136\\204\\GS\\225*\\217X\\230j\\255\\SUBkU\\ETX\\ag\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182hr\\170\\144\\241P\\SOH\\191\\250\\141\\135T>\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\ETB\\180\\191\\171\\169\\241\\170\\224V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\253\\SOH\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vP\\214\\234D\\DC2zI\\224\\DC3`\\216\\222\\&0\\ACK\\150\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\&0PIPJ9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\232\\253\\147\\161KC\\233\\193T\\ENQ\\221\\DC4\\132\\ACK\\NAK\\208~\\144\\207\\195E\\131=1\\193H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191]z\\227,\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\">\\137x\\167\\199\\149\\230T\\138\\176\\208c\\161o\\EMS\\EMc\\136\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\137T{\\206\\216\\236\\179T\\226\\232\\163WU5\\v\"","tag":"AbiBytesDynamic"},{"contents":"\":`\\161\\183V\\135\\176\\&2\\244\\181\\190=B\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\141\\227\\192]A\\156b\\182\\188\\173r\\228\\142\\254W\\FS\\FS\\199$\\156\\214\\137[w*=ODF\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\144\\196ZEY\"","tag":"AbiBytesDynamic"},{"contents":"\"2Y\\204Z\\158\\&8\\137:\\194#\\200\\ESCb\\168-?\\b\\n\\207\\188R\\254\\153\\231\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156m\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\175\\235z\\NUL\\217p\\158\\173\\211\\135\\DLEkC\\146\\132D\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\148\\149\\FS\\\"\\b\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\172?\"","tag":"AbiBytesDynamic"},{"contents":"\" \\235\\177{\\144l/b\\135\\171:\\229\\137I\\SI\\249Z)\\233-\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\ETB\\202\\SYN\\147\\&1:R\\RS\\130\\133\\GS\\DC1F\\133-\\189\\f\\196i\\133_\\180\\243 \\153\"","tag":"AbiBytesDynamic"},{"contents":"\"`<\\135W\\242\\160\\n\\162\\r\\139-\\221v\\219\\132\\229\\166\\162\\167\\250;W\\250\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\174\\v\\249\\CAN7\\212\\139\\231\\251\\&9\\a\\230\\215\\246kD:\\152\\RS\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188]\\166P\\DLEk\\157\\SI\\158\\249H\\158\\EOT\\215\\164\\246\\165M\\135\\149\\218\\181\\217R\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\149\\239\\248\\239\\174\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244Y\\146\\DEL*RL\\171\\227\\\"p\\133l\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"sG\\253\\230\\197\\SYNG\\STX\\ESC~D\\224`\\128n\\222b\\132\\209\\229\\b\\241Tt\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\EOT\\171K\\DC26\\230\\252\\144\\158s\\239\\215\\163`\\ETBi\\139\\ETX\\220q\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\190\\139\\252\\t\\GS\\ESC\\t\\146C!?z\\206\\244\\209Ox\\DC27X\\170r\\n\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\148\\180\\161\\205\\221\\229)\\141\\132\\167{N\\168y\\225[\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"qh\\f\\\"%lu\\197\\171m|M\\250n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\DELP\\b\\134\\&1\\201\\SYN\\t\\191|`\"","tag":"AbiBytesDynamic"},{"contents":"\"'Y_\\184K\\230\\161\\136h\\179\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\162H\\219\\178\\DC1\\132\\128.{\\146\\171\\CANc\\184\\170-[Z\\159\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\216u\\165-\\GS\\251~w\\135\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\214\\200\\251<*\\ACK\\167\\234\\218c\\191\\217\\187\\CAN_\\148\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166>\\139\\248\\244\\rx\\195w\\173\\222\\&7~\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221{\\230\\227\\STXf\\142V\\240\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\162=\\225\\171\\\\);\\152\\152\\186\\176p\\ESC\\FS\\SOH\\187 \\174\\SI\\201\\SOH\\179\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\156#{\\DLE\\\\I\\RS\\238\\f\\180\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\211\\172E\\156\\225K#\\SYN\\162\\143\\135\\247s\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\172s}v=\\209\\179\\136+\\t\\154\\207\\177P\\ACK\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\218I\\DC1\\186\\176\\135\\200|\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\216\\177!\\DLE\\224\\222!\\194p\\157]\\174\\&5\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\170\\246\\198\\135\\GS\\171RV\\200=tU\\182\\EMA\\215d*\\210U&TA\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\135\\188_}\\241@\\241\\248u\\131\\142y\\154I\\228\\&9\\ETX4\\221\\247\\&2\\218B\"","tag":"AbiBytesDynamic"},{"contents":"\"m}\\210\\&6\\DEL?0\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\171\\SO;\\229`\\234\\139\\234\\132\\&9\\r!\\161\\ENQ\\DLEV\\ACK\\230\\\\\\176!\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\145\\249\\GSb\\207\\204\\CAN\\233\\133\\223\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\DC4\\190a\\173m\\RS\\148\\ETB\\242]\\US\\SI\\ENQ%\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"w\\v\\145\\130\\235\\ACK\\197\\143\\241\\204\\&6\\227\\&5\\239+\\212\\249\\143\\ETX\\225?\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181-\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"sH/\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\185\\131<j\\246\\142\\180\\157\\199\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\160\\128\\&4m;\\251\\\"i&>\\211\\179'\\145\\SYN54\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\DC2\\a\\242\\187\\246\\132\\222w\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\NUL\\173\\155\\210\\172\\252\\183OP\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\SI\\ETX\\156uj\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152>\\180\\196z\\STX\\FS\\DC1\\149\\190\\243\\133\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\137\\219\\214\\214\\GS\\163a\\253\\226\\196'\\150*\\227F\\SOVF\\DC2+\\EM\\140\\141\\251\\220\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\225\\194z\\ETX\\148\\144\\DC1\\199\\177\\183\\251\\FStzG\\157@\\142u\\145\\&9\\180\\211}\"","tag":"AbiBytesDynamic"},{"contents":"\":\\237\\176\\213W\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\178\\134\\253\\&8\\f\\133\\DELMF@\\f\\242\\236\\239!b\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\162\\t\\161\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\221\\252\\242 fok\\GSj\\184\\252\\217j\\244\\164\\254\\229\\SO\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\187\\144,tC\\244\\178t\\DC3\\176\\213\\153\\&0\\245\\248x\\242>\\128\\174|\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\166\\196\\135\\236\\206\\r4s\\141:&\\224yar\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\129\\SYN\\170\\223\\189\\181\\237\\251\\249Yp\\168\\NAKW\\245\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\223@\\224B\\182f\\213\\SO\\168\\173\\203;1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\&3\\240|\\NAK\\tM\\170|\\255@^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3{[[\\219\\255\\140r5\\193\\168\\237\\142\\226P\\245+@\\176\\DLE4\\194s(\\254\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"6n|~b\\CANVH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\128-}\\235\\177Fz\\229\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174bW\\214\\170\\146z\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"Xm\\206Z\\\"\\SUBG\\142\\236\\200j\\198\\178k\\164\\171M\\249\\222Y\\158\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\ETX\\217\\245\\176s\\204\\SUB\\199\\242\\DC1\\150\\208\\182\\212\\242>\\228\\152\\202\\ESC[)\\EOTv\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\USE\\243z9G\\GS\\223\\v\\133\\192x\\202\\220OYl\\171V\\b\\210\\209\\237\\a\\242\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"Jg\\DC2\\213\\254\\158`1\\222\\210X\\210\\170~\\227\\&0\\DC3?\\150\\175H\\\\\\nH\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\140(\\128D\\176G\\172v4\\148S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\132\\DELX\\SO\\165\\ENQ\\150\\134o\\134\\230\\180e\"","tag":"AbiBytesDynamic"},{"contents":"\"b5}6\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181_l\\173\\254x\\138\\EM\\179\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\")\\STX\\184\\237\\NAKo\\169@+\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\202\\189{\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\167\\251\\199\\EOTu5\\142\\179\\169\\169\\170\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"tF\\168\\148\\164q\\249i\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218J\\SO\\152\\\\'WB\\SOH\\169\\163o\\b\\198*\\132\\STX\\SUBZ\\208\\237\\ENQ\\173\\182\\137\\&1\\194\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\193e\\240\\139\\250\\208Y@\\245\\163\\222\\205\\r\\151\\169\\149cE\\230N:|\\196\\DC2\\EOT%\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\205\\221\\182\\152\\229\\&3\\210\\174\\254\\245\\aF\\170n \\206\\177\\149\\162^\\195_\\SO\\ETX\\ACK\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\251^\\210-\\247f\\232_r\\183=\\243\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\242\\176\\133B\\253E\\170'\\159\\v\\132\\141\\131\\204\\213Se\\208\\170\\200\\180\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DEL'!\\205\\CAN\\145\\158\\&8\\169\\SUBm\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\223\\186B(\\211S\\173D\\140_\\aN\\190\\132~\\132\\&1\\SOHW(\\r\\f\\GS\\216\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\RS\\208\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166X\\134\\244\\SO\\248\\NUL\\v\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\247\\146X6@Yn+\\EOT\\229\\158\\154zl*\\197\\192\\GSN;\\SYN\\220\\NAK\\236^\\253\\134\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\175\\196\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\180\\217\\147\\183H\\254\\251XJ\\177b\\216 >\\SYNt\\177\\&3F\\195\\DC1\\ETX\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\170\\135\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\n\\bP\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\ESC\\207\\f\\EOT\\237\\168\\203[\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\DEL\\233\\239BLvI\\250\\SUB+\\186\\193\\135\\188\\FSl\\DC25R~\\186\\238\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"BMA\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\200\\ACKfh\\156\\199\\138R\\199'\\SUB\\205K9y\\142#/\\240\\&3\\221\\169\\ENQ\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"/G\\197\\205\\190G%\\DEL\\176\\ETX%\\192\\207\\209\\SOl\\163\\235 )K\\196\\158\\190\\t\\SO0\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\163\\226T+4-C\\t`\\185t\\196\\170\\204\\199\\129\\CAN]j\\STXX\\ESCP\\253\\190\\229\\189\\208\\DC4j\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162]T7\\204\\142,\\152\\r\\139\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"h~\\241\\196\\155\\231Y\\214i\\189G\\\\\\251Y\\FS\\226v\\132U\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\243\\227d2\\244\\140\\SOH\\182r\\221\\223r\\DC4\\212V<\\226\\192\\CAN\\SOHct4\\181\\173>v\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\208\\135i?2.\\185(X\\144\\249\\193W\\242)\\219\\DC2P\\145\\139O\\160\\DC3t\\130X\\231\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\b\\160\\EOT\\223\\SI\\128\\151k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\&0\\235\\160\\152\\146\\214\\FSL\\149\\234\\206\\232\\GS\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"5/x\\NAK|gO\\208\\165.\\164Q\\219_\\DEL\\146\\190\\153\\DC1\\196jR\\201\\DC1\\209T\\202\\244\\205\\DC4\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220/\\SYNM\\249X\\\\\\142\\SUBG\\219\\DC3uWC\\159@r\\133\\251k)\\190\\250\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\aDZ<|\\135\\167fg\\DC1\\DC1m{\\231\\239\\247\\246\\182\\244\\182\"","tag":"AbiBytesDynamic"},{"contents":"\">\\180\\162r\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\143\\GSVw\\178\\173\\DC2?\\ENQ\\213\\170\\NUL,\\225y6o\\164\\rL\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r46\\158\\203\\155s\\162\\183\\&2y\\190]\\213=\\\"X`\\176*\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"an\\182\"","tag":"AbiBytesDynamic"},{"contents":"\")\\179\\146\\138zO\\STX\\163A\\160n/b\\235E\\203\\147\\244\\179$\\204\\247\\187ji\\183\\NAK\\217s\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213|\\146\\218\\\\\\CAN\\\"3\\b\\180\\176\\205\\176\\141FU\\161c\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\183\\STX<\\237\\b=\\t\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC`\\251n\\203\\191\\238H\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\246\\167q\\134\\192t\\250&H\\248\\233\\187\\DC2\\128&\\165-%~\\FS\\176\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\GS\\SOH\\194T\\180ft\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USZ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251p(\\134V6\\146\\ACK_*\\217\\254\\160 \\235\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\254\\160\\DC46xJ4\\230\\r\\244\\137y\\DC1\\254\\180\\tD\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\187w\\DLE\\143(\\177\\233:k_*\\200Qm\\190\\194\\ESC\\195\\243\\159\\152\\159\\233>\\137\\153my\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\132\\165u\\207u\\252w\\188\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\238\\215\\226\\FS\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1\\193\\165{*=\\148-\\232\\128KTr\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\178\\196\\205Q\\159\\SYNKvX\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\219\\221\\139\\&4\\144[\\221\\210\\&1\\164\\SOJ\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\159C\\132\\191\\153\\157\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\&8o\\153\\128\\248\\232\\135q\\CANn\\234\\226\\157\\SYN\\200D^-\\180\\215\\170\\SOH\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\202\\129\\219n5o0\\136\\156v\\219`\\239\\170;\\156m:\\143\\b9\\207.\\230]M\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\184bQ\\NAK[\\165\\156a@\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\176\\253%\\254\\197\\149\\a\\163\\206\\147\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\":\\220\\231`\\202\\GS]\\225\\248\\156uJi\\213E\\US\\172r\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT,+\\237K\\179\\f=\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214*k6\\150\\235\\176\\&6\\129)i\\160\\149\\211{KT\\137\\207\\140u\\t\\EM\\191\\ETB\\136\\136\\181g\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\SOStr\\DC3R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\FS\\\"\\182S\\\"\\195\\155XkQ\\129\\146l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\193W\\228\\&1\\211\\128\\131\\187\\217)\\DC1\\177\\146\\231\\190\\US\\EM\\187\\144\\203\\GS\\DC2^\"","tag":"AbiBytesDynamic"},{"contents":"\"9p\\135\\189n:\\166\\219X\\253\\212\\196\\214\\rz\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129\\SOH\\174e\\229\\194~\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\DC2\\214\\181\\194%\\149\\209\\130}A\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\148<\\155;c\\197\\\\\\185\\195\\GS\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\US\\204\\251\\224hV\\ESC\\135\\159\\228\\132\\FS\\n`1-\\136\\ETB\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\211\\ETBd\\171f\\\\,\\235\\213\\191\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\">\\246bEX\\b\\131\\225\\228\\219}i@\\178\\155\\158\\160\\DLE\\ACK;\\234\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\&7\\DC3\\DC49_\\145\\169\\153\\184_p1\\154\\186\\NAKL\\239\\195D\\225 j\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\131t\\149_$T\\169\\&6^\\249[\\160 \\210<1{\\ESC\\US\\241\\207(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\249'!Z\\158\\247\\225fm\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\b\\142\\&5\\167n\\145\\167\\158\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242BJz\\DC4\\222p0K3\\152X\\204\\200\\163F.\\US\\230Sg\\239\\152+\\128\\168\\175\\ACK\\EM.P\"","tag":"AbiBytesDynamic"},{"contents":"\";\\225\\b-\\FS\\DC1\\NUL#X?\\171\\STX\\146\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176U\\220\\STXjho\\202Wu\\249\\209#\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\a\\233\\227\\223\\f\\181m\\191\\&6K\\240\\SO+A\\171G\\219\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\243\\254*\\221\\141:\\190@\\160\\221Q!\\211\\ACK\\196\\&4;h\\FS%\\SYN\\212\\&6W\\159n\\205\\173\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\208\\STX\\151=\\a\\137\\172j\\ENQ94\\201+\\SO\\156\\147 \\219\\134\\181e\\200u\\221\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\tC\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151elbI\\f\\231\\222\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\193q\\ENQ'\\STX\\251\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CANbH\\201\\129\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\145\\199:\\210\\SOk4\\142\\175\\GS'\\146b6|\\r\\245\\185\\191%m\\240\\192\\208 \\ETB\\NUL\\137\\205_\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\255\\n\\145Z\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\152\\242\\&6\\DEL\\141\\248\\168\\150\\DC3f\\222\\b\\199\\236\\174\\148\\&5\\248x\\\"\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234c\\\\}\\DC1Y\\145\\143Z\\234\\171?\\249]\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\222\\144\\149\\t\\150\\a\\244\\165\\164\\229\\230\\178)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175'\\SO\\139\\135\\206\\SOH\\169G,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ap\\230\\153_-8\\245E\\191\\234\\227y\\178\\252\\aS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\ESCtp\\136\\211,\\ACK\\181\\233\\175\\158\\211\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\":\\FS\\NAK\\221\\f`;P>\\134H\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\201\\222\\&5ms\\161N\\a\\168Y\\SYN\\158\\fk\\148\\EM\\149CFC\\248\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\242\\160\\191q3\\139\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\216\\154q\\233\\\\\\DC1\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\165\\DLE\\v\\254\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\137\\SOH\\FS\\225\\173\\227\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\140Wb\\246`\\171\\ACKl,\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\192\\ETB\\FS3\\234\\215\\161\\171\\139\\137<\\160?'\"","tag":"AbiBytesDynamic"},{"contents":"\"#U\\200\\251\\216k3Zc@]7\\145no\\204\\210<4\\131s\\162J\\133!,\\147\\210f\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200)\\194K\\174\\212\\&0\\228\\DLE>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247Dg\\135\\DLE\\247\\191\\179T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\148\\STX\\SI\\161\\154\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\b\\171\\n\\b?\\246\\t\\150\\200,w+)\\130\\178K\\ETB\\NAK>\\135n\\166\\SI\\149k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248E\\183C%\\252\\235\\189\\f\\ESCc\\206\\206\\224\\DEL\\215t\\197\\SUBB\\DLEa\\232\\156E\\142T8q\\240\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"=~\\129V\\224\\&9\\207?L\\244\\&6k\\155>A\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\bK\\132\\155\\174E\\SUB\\247\\FS\\b\\148\\223A\\164\\174\\142\\215\\234\\r<\\180Bf\\160I\\187\\181\\197\\226O\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"20566375841352587653853599065491400700186096329432163598619597079456284845614"],"tag":"AbiUInt"},{"contents":[256,"33184729442416139917229504380932375445508921569693768159579547444529144596493"],"tag":"AbiUInt"},{"contents":[256,"1001"],"tag":"AbiUInt"},{"contents":[256,"93634116522638341304704623241957519399871805028935039255481569198643396506604"],"tag":"AbiUInt"},{"contents":[256,"101"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639933"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"99999999"],"tag":"AbiUInt"},{"contents":[256,"1531583418"],"tag":"AbiUInt"},{"contents":[256,"758699633726249074903846667854284153840917705262364594932637467"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639918"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"100390196926666237914617387066427574003717667778102604686924672846273254936385"],"tag":"AbiUInt"},{"contents":[256,"28987180026919250"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"70856417578944777619750673328908082207253042156969584079024102182220727977046"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639797"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211779"],"tag":"AbiUInt"},{"contents":[256,"869"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"14710742692504864541774106175308815960612666260059787560537113053785775060871"],"tag":"AbiUInt"},{"contents":[256,"43472983685501751994882015497000099156752728898436644811441509013544067493830"],"tag":"AbiUInt"},{"contents":[256,"43472983685501751994882015497000099156752728898436644811441509013544067493830"],"tag":"AbiUInt"},{"contents":[256,"43472983685501751994882015497000099156752728898436644811441509013544067493830"],"tag":"AbiUInt"},{"contents":[256,"43472983685501751994882015497000099156752728898436644811441509013544067493830"],"tag":"AbiUInt"},{"contents":[256,"43472983685501751994882015497000099156752728898436644811441509013544067493830"],"tag":"AbiUInt"},{"contents":[256,"43472983685501751994882015497000099156752728898436644811441509013544067493830"],"tag":"AbiUInt"},{"contents":[256,"43472983685501751994882015497000099156752728898436644811441509013544067493830"],"tag":"AbiUInt"},{"contents":[256,"75534110571480601331097392138365083203465359487319246844616487338616904647122"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639798"],"tag":"AbiUInt"},{"contents":[256,"75490630230348857008236227863045451624100470459496792390248398091948536526319"],"tag":"AbiUInt"},{"contents":[256,"498"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"90237883740233733011292964525998415887412391717852682794244463505139573911117"],"tag":"AbiUInt"},{"contents":[256,"25633410865976245011949837919172849185488656666016557643267924767815303964642"],"tag":"AbiUInt"},{"contents":[256,"83083420023321631866242942846621313777852235424186570814410985783706355583252"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062334"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"4410932776915313581265992437255907126412752166860279612314735412048698803296"],"tag":"AbiUInt"},{"contents":[256,"4370000"],"tag":"AbiUInt"},{"contents":[256,"63010118299327491167922503026824094289233000375475101228138150446239525915346"],"tag":"AbiUInt"},{"contents":[256,"41625952298750568081661256390186865341322756956372549471603010541851422761303"],"tag":"AbiUInt"},{"contents":[256,"47512556674586342765617811420733048092003635866172879697521219531784406820543"],"tag":"AbiUInt"},{"contents":[256,"52551273778119280883449939271701722439121267940950469841772661411066510943098"],"tag":"AbiUInt"},{"contents":[256,"561"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000001"],"tag":"AbiUInt"},{"contents":[256,"16"],"tag":"AbiUInt"},{"contents":[256,"59668140175111651452997241040848040691895401975479055292765875722526757890275"],"tag":"AbiUInt"},{"contents":[256,"91164160278712382354654732519933761299381717079608776888845118070788561132155"],"tag":"AbiUInt"},{"contents":[256,"65144077188800673020611288060216930788412970035221230637778727887288031409355"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff7","0x000000000000000000000000000000000000000000000000000000000000007f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"UP\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2b","0x000000000000000000000000000000000000000000000000000000000000134c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055773","0x0000000000000000000000000000000000000000000000000000000000004b97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072daa","0x0000000000000000000000000000000000000000000000000000000000009e95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"248"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ab","0x0000000000000000000000000000000000000000000000000000000000000005"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"144"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e5","0x0000000000000000000000000000000000000000000000000000000000008194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"266293837355232376"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fc","0x0000000000000000000000000000000000000000000000000000000000000023"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3b","0x000000000000000000000000000000000000000000000000000000000000136d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"106247413772678832443962475176812300686840837067158763696399462409491435764544"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81c","0x0000000000000000000000000000000000000000000000000000000000006a24"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"81"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f467","0x00000000000000000000000000000000000000000000000000000000000012a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e374","0x000000000000000000000000000000000000000000000000000000000000e8a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"18641297119164872630433280490764166231562783155122067002481921336473454488798"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bf","0x000000000000000000000000000000000000000000000000000000000000b446"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x000000000000000000000000000000000000000000000000000000000000012e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb04","0x0000000000000000000000000000000000000000000000000000000000007a00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"44633900342257332848442766417901115355408161422539921431856026115777405015352"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x0000000000000000000000000000000000000000000000000000000000007e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"4821566560098762933215619185046635732749515252815091455966664165832937555218"],"tag":"AbiUInt"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b73c","0x0000000000000000000000000000000000000000000000000000000000005c7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"167"],"tag":"AbiUInt"},{"contents":[8,"45"],"tag":"AbiUInt"},{"contents":[8,"18"],"tag":"AbiUInt"},{"contents":[8,"118"],"tag":"AbiUInt"},{"contents":[8,"117"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"221"],"tag":"AbiUInt"},{"contents":[8,"103"],"tag":"AbiUInt"},{"contents":[8,"93"],"tag":"AbiUInt"},{"contents":[8,"125"],"tag":"AbiUInt"},{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[8,"173"],"tag":"AbiUInt"},{"contents":[8,"227"],"tag":"AbiUInt"},{"contents":[8,"92"],"tag":"AbiUInt"},{"contents":[8,"97"],"tag":"AbiUInt"},{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[8,"183"],"tag":"AbiUInt"},{"contents":[8,"135"],"tag":"AbiUInt"},{"contents":[8,"30"],"tag":"AbiUInt"},{"contents":[8,"166"],"tag":"AbiUInt"},{"contents":[8,"81"],"tag":"AbiUInt"},{"contents":[8,"166"],"tag":"AbiUInt"},{"contents":[8,"105"],"tag":"AbiUInt"},{"contents":[8,"11"],"tag":"AbiUInt"},{"contents":[8,"174"],"tag":"AbiUInt"},{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[8,"137"],"tag":"AbiUInt"},{"contents":[8,"24"],"tag":"AbiUInt"},{"contents":[8,"234"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"126"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000069","0x000000000000000000000000000000000000000000000000000000000000d8d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000212f1","0x000000000000000000000000000000000000000000000000000000000000defe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"43505191829187059420424381743"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae3","0x000000000000000000000000000000000000000000000000000000000000137b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb43","0x000000000000000000000000000000000000000000000000000000000000e346"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"53423209786557527564795743824257116391960934197014424162478398638337215814334"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae7","0x00000000000000000000000000000000000000000000000000000000000035d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb34","0x0000000000000000000000000000000000000000000000000000000000007117"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"31544746907257813912131980555394207750273730011051962872877603731312398109889"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001387","0x000000000000000000000000000000000000000000000000000000000000ec38"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000007","0x00000000000000000000000000000000000000000000000000000000000001f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000004","0x000000000000000000000000000000000000000000000000000000000000b31c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"70875708874892371481519119601321710714188282158352809234829454603966272485517"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000005","0x0000000000000000000000000000000000000000000000000000000000001367"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb35","0x00000000000000000000000000000000000000000000000000000000000012b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf5","0x0000000000000000000000000000000000000000000000000000000000005d0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"17919633067321102985089130935164612742365304675169460668765574053955365389833"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000064","0x0000000000000000000000000000000000000000000000000000000000007630"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"73577539416514525248225268145362823741929364950447168687976132871798284059997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003ac05","0x00000000000000000000000000000000000000000000000000000000000011ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb05","0x0000000000000000000000000000000000000000000000000000000000000e13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005f","0x0000000000000000000000000000000000000000000000000000000000000012"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"103019258882679709157959394416271374044035886568526396626007343536595482697875"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a517","0x00000000000000000000000000000000000000000000000000000000000007ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c5dc","0x00000000000000000000000000000000000000000000000000000000000012a4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae6","0x00000000000000000000000000000000000000000000000000000000000012a4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000009136d","0x0000000000000000000000000000000000000000000000000000000000001338"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc30","0x00000000000000000000000000000000000000000000000000000000000007cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"99999999999999999999999999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007ce","0x000000000000000000000000000000000000000000000000000000000000d9db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"38965468535010960343995395371882006038077231321391624104993352223174088691865"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f467","0x000000000000000000000000000000000000000000000000000000000000136b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce55","0x0000000000000000000000000000000000000000000000000000000000001272"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"10"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076ea6","0x0000000000000000000000000000000000000000000000000000000000001381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"82999041640354406864113806040282317159354277672331280011799218757150568864709"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bb","0x0000000000000000000000000000000000000000000000000000000000000130"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"12982649178958447841541138669751841665580595896566221887107630810024740941467"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c433","0x00000000000000000000000000000000000000000000000000000000000018bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[128,"130498624034021381640283309059783442326"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaff","0x00000000000000000000000000000000000000000000000000000000000003e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"kI\\DEL\\219,\\211\\v#\\145%\\253N\\174\\135\\238\\249;\\RS\\131z\\148\\253}\\r\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2-  T\\157p\\CAN\\160\\141[\\222\\EOT3F\\243+\\188\\183/\\\\\\159R\\182?\\182S\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\246B\\194\\\"\\138\\198\\165`\\248\\t\\DC29}\\STX\\143\\198\\132\\240L\\201OQ\\217\\197\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\142\\239\\170\\233\\SO\\249\\178\\v\\198:\\189]\\220\\ETB1\\ENQ!\\139\\EM\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197Z\\SOH\\230BX\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Pj\\177\\183\\209g\\NUL\\205\\129\\n\\188\\167P\\219\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\218'WWXo\\188K\\143L\\253>*\\234OQa\\219\\f\\213K\\189\\247\\237:\\160/\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\\"\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\182|\\213\\209\\&2\\DC1\\140\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\DEL\\185\\&2:`)\\188h\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222n\\136_\\SUB\\151\\238X\\180\\ENQ.\\160\\203\\233\\160`\\141\\ENQ\\161\\244\\234\\141\\199\\252d\\253\\aU;\\191\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\205d\\149\\129\\235'\\251\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155K\\SO\\223`.\\RS\\155\\162\\&2\\130\\182@F>L\\252\\RS\\241\\204\\DLE\\168\\NAKB\\230NhU%\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\\\<\\163\\139\\176\\GS\\187\\143f\\144\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\176Yo\\SUBv6\\190WHk\\166\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\",\\197\\213GY9s\\177\\ENQ\\SUBK\\164;\\t\\160|\\185\\255\"","tag":"AbiBytesDynamic"},{"contents":"\".`\\222\\216_\\174\\189W\\153g\\SYNE\\234\\218\\194\\251Z\\SYN\\146X\\196\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234<\\225\\178\\159\\138'M\\255\\170\\179\\178\\182 \\DEL\\156x,\\GS\\154\\DC1\\146\\184\\248\\&7i\\186)\\ENQ\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS<)H\\229\\190\\193\\208\\v\\162\\177\\234\\145\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\198V$\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\203\\RS'\\215\\204\\STXI\\137w\\DC3\\236\\RS]\\247iV\\231Lr'\\128\\245\\&8H\\187\\243\\140z\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\ESC\\154\\173$4\\230C\\r\\168#\\237\\198\\129'\\144<7\\173\\223\\139\\161*\\197U\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\237\\192\\\\\\233_;\\218'\\165\\177&\\STX\\\\n\\173\\SOH\\187\\168\\&3\\213\\EOTf6\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\197\\139\\DC4\\152\\141\\211\\233\\129]\\253\\206\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\241\\DLE\\220aQ\\182\\&4\\175\\229\\208{D\\201g\\t\\178\\&0\\146\\189\\248\\241i\\131x_\\244\\206\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\146\\223N\\228\\153\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL_\\175\\182\\164\\226\\145H\\241\\152\\218\\SOH\\EM\\252d~\\185\\ETB\\184?\\167f\"","tag":"AbiBytesDynamic"},{"contents":"\" *\\180\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\US*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\fF3\\184Sw\\199\\254\\158\\161I-\\141\\147\\199;ss\\234 L\\SO\\b*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\185M5j\\244\\249\\148\\187\\243w\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\";\\203\\&4CpGbDuq\\184@\\195\\192\\r\\ESC% \"","tag":"AbiBytesDynamic"},{"contents":"\"V\\214\\191\\191\\182_b\\146\\196\\163\\NAKoJ\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\201\\GS\\239\\153\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\FS1&\\246\\130\\DELI\\139\\DLE2\\251OJS\\226\\130\\&31q\\197\\165.\\191\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\CAN\\205\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\172>\\243\\223\\222\\159\\&2F\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"sw\\178\\191\\161g\\131\\234\\a\\DLEK\\DEL\\133\\198\\&5\\SYNj\\196w#\"","tag":"AbiBytesDynamic"},{"contents":"\"jT\\235\\246\\223\\202\\160:\\v\\167\\GS.\\175\\246\\231\\162W(%\\CAN\\168\\ETB\\250\\r\\144\\149\\162W\\207\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205{\\235\\237\\248KW\\141\\137\\218\\153\\&2\\NUL\\195\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\154[Y~g\\219\\171&\\NAK6u\\207\\138\\nS\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\138\\239I~\\249H\\133\\\"]\\212\\182\\207\\241O\\195O\\186b2\\173\\134\\DC4j\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\185\\235\\201b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\185I\\DC1\\ESCD\\253%\\201R\\184\\165\\202R\\151\\204\\147?/|\\r\\167z\\160\\DC4\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\CAN}\\f\\US\\160\\216\\163\\165\\187\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\ACK\\223\\&6\\170&8\\144/\\GS\\206\\DLE\\230\\171$s\\225xt4\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187)\\181\\f\\238\\160\\150\\145\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1zX\\234\\225F|\\173\\236j\\252\\DLE\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\217\\189\\&1\\ETB\\ACK\\157\\146\\243\\189-\\ac\\202\\210\\152\\230\\137\\SUB8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\205\\173\\RSc\\165\\140\\222,\\154\\217:\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"6\\133C\\v\\FS\\178S\\210\\205l\\r\\239\\SUB#\\CANy\\255$\\168\\&5{\\EM\\234\\134\\148\\219$\\234$\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\157\\143\\vw\\ESC\\152\\145\\b\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t/P\\132|(0\\189\\EOT\\187\\242\\234\\CAN\\131\\255,c_\\CANat\\167X\\SYN\\232\\185\\157\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\237\\187b\\198\\179\\254\\164#\\192!{\\220N\\237\\253\\b\\192\\140\\DC2%t{}\\144\\184\\197a\\171L\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\136\\240\\153\\138?Q\\193\\162 (\\NUL\\132\\th\\DLEW\\196\\SYN\\EM<A\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"RQZ\\DLE9g\\197\\194\\179\\232\\164{\\143X\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\153zyf\\175\\213\\253S\\135\\154?}\\181n\\253\\&4,\"","tag":"AbiBytesDynamic"},{"contents":"\":\\SO\\EOTy\\219\\144d^\\157L\\158\\160\\200\\209[\\203\\DC4\\131\\CAN\\207\\241\\GS\\140\\153N\\230\\141\\169\\189\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\EOT\\141\\165\\179\\198\\162(%#\\177\\185\\237\\DELa\\161\\ACKM\\179](\\234\\208\\161\\EM?:d\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\130\\159\\199\\SOV\\250\\155\\&1\\ENQ\\ACK\\166KQ$_\\138\\144\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\255\\ACK\\227\\194\\186\\&1Xn\\208\\EMK\\173C\\NAKd\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\ESC\\SYN\\177\\186\\DLE\\217M\\146i\\151\\SOE/X\\DLE1\\170\\157\\134<j\\238(X\\223<\\190\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\203WW\\vg~\\248\\213o\\t\\129(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\t\\186Z\\147\\195\\RSX}\\128\\130T\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\197)\\199\\182\\v\\rT}(\\254\\190\\145F9\\248Vn\\137\\134\\174\\181\\231\\180\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\151\\238\\180x\\EM%\\132\\186\\180\\190v\\229\\192RT\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\SUB\\244\\CAN\\211\\DC1\\SYN\\252!\\195Z0\\207[\\132x\\131\\207\\136Wc\\DLE\\174c\\158%\\240\\196K\\SI\\153\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"9{\\196\\179m\\156\\180\\240\\STX\\148Z\\179\\158H\\RS%\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\197\\177\\&7\\193\\155o\\ESCE%\\241\\b\\212:\\194\\201+\\ESC\\148\\218\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"Gr\\US^\\NUL\\220c\\188\\149*\\168\\NULG\\221\\219\\175\\140@\\141\\STXC\\147}\\STX>\\ETB\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\SOH\\195\\227T[w\\247U3\\231.\\218}\\185\\157\\163&\\219\\245\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\250\\207\\223\\177\\130<\\142T\\216\\143?\\210\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"j\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\170\\255>k\\187\\fWX\\219sKh\\DC4\\242x\\194\\194>.\\EOTj\\246n\\244\\164\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\".d\\151\\169\\140\\249LuG<\\RS\\231\\208\\194p\\169\\&0\\140\\167\\164\\&5\\153X\\158\\&0\\DC41Sx\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162.\\141\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\197O\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\238\\rJ\\240\\206\\142\\228\\FS\\SIs\\175\\165\\254\\SUBe:J\\207\\DLE\\199\\188\\207\\250\\128q\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\196\\239%z\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\192\\144\\t\\251\\192!q\\136\\172\\252P\\161G\\128l5\\152u P\\NAK\\184\\204\\SYN\\219\\142\\141\\178k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\250,\\171\\196\\247\\226p\\255\\ENQM\\147\\143\\\"\\r\\189\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\194\\170\\174,S\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166i\\251\\&6b\\165\\CAN\\186W[\\199^\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\207^\\195]\\232c\\245\\200\\206h\\\"\\226\\137^\\190\\DLE6\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\ETBR\\RS\\171q\\159-\\136p3\\160W9:\\142c\\227\\ETX\\219W\\170\\232]X?\\202A\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\171]\\\\73).\\CAN3bO^\\DLEL\\250L\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149L\\EMR\\175\\DC1.\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\217\\182\\241\\150\\200P\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\155:Z\\223\\189\\&6\\228\\195\\DC4\\ETBt\\132\\157 \\200\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"02\\GS\\181}\\152\\132\\225\\189\\231\\218\\228\\153}^\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\",`.\\STX4\\253\\150\\205\\t3(b\\135!W\\SUBj\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\172b`\\161\\139\\230\\211\\222\\205\\\"\\226\\NUL\\194.S-8\\ACK-M\\vk\\132\\215{\\179Q\\154\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"617"],"tag":"AbiUInt"},{"contents":[256,"4113044532471655201976876733617627253003309235"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747166"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639038"],"tag":"AbiUInt"},{"contents":[256,"40308349927390301712448790959294932399232945115430240014627044643958993910103"],"tag":"AbiUInt"},{"contents":[256,"500"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"},{"contents":[256,"27793179875936313328765213"],"tag":"AbiUInt"},{"contents":[256,"2753106917601993625262914946724171433599875"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"779"],"tag":"AbiUInt"},{"contents":[256,"134"],"tag":"AbiUInt"},{"contents":[256,"39839594891307647481152351468712322381452305223165412597603233755555296841900"],"tag":"AbiUInt"},{"contents":[256,"26147351388856787551999302279598194273367560222260384518502357084420050675970"],"tag":"AbiUInt"},{"contents":[256,"96900188059989483337005422939670125897847885300243855812327685688262635255086"],"tag":"AbiUInt"},{"contents":[256,"2894611990377259515874359266791066902386929744425"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639908"],"tag":"AbiUInt"},{"contents":[256,"253"],"tag":"AbiUInt"},{"contents":[256,"45828060293387061635868869999753824802176011073741650100595496586798766179791"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"472260498517428093450829853099908081"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858884"],"tag":"AbiUInt"},{"contents":[256,"96033080561740888056444585"],"tag":"AbiUInt"},{"contents":[256,"255"],"tag":"AbiUInt"},{"contents":[256,"23"],"tag":"AbiUInt"},{"contents":[256,"1925929198267774988390301129225051037692549925348586752485152343808750269436"],"tag":"AbiUInt"},{"contents":[256,"22762665515958517644511506435492917258163924464760325169522368106362139952361"],"tag":"AbiUInt"},{"contents":[256,"57377808432256794714220424936078567176911972670033589689454120925030791321333"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639900"],"tag":"AbiUInt"},{"contents":[256,"302"],"tag":"AbiUInt"},{"contents":[256,"97916269610146354890133152906455692639846847447183460169821582643018942584597"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417344"],"tag":"AbiUInt"},{"contents":[256,"1525390808"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639838"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639916"],"tag":"AbiUInt"},{"contents":[256,"604801"],"tag":"AbiUInt"},{"contents":[256,"80"],"tag":"AbiUInt"},{"contents":[256,"114815225296020245077150254849692259003211035023921643194563802338334721301806"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639872"],"tag":"AbiUInt"},{"contents":[256,"68419425268539119469095098058563910291751690279498038918023775100111482659140"],"tag":"AbiUInt"},{"contents":[256,"904"],"tag":"AbiUInt"},{"contents":[256,"1344385641376395270649040001978608740988727900964676782604911031274364747499"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"73441557217035610511810"],"tag":"AbiUInt"},{"contents":[256,"88778184938517191761981647724200043896580524740730016635959027113074661332812"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639636"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639435"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062333"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"18941117446416014825123903996198062335516731038775908979229885110635473043995"],"tag":"AbiUInt"},{"contents":[256,"100624212262787045388152289760895807663647188017252801297899438609335631200831"],"tag":"AbiUInt"},{"contents":[256,"46031231570103764893038472578200180593895898421198547443661449118247790003919"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035135"],"tag":"AbiUInt"},{"contents":[256,"99556860859721718786482482339752754113970319359170698451055426479797811272855"],"tag":"AbiUInt"},{"contents":[256,"14805076518463440227006100062140196476222623782180599605653091647079974293989"],"tag":"AbiUInt"},{"contents":[256,"53386787614105971898944243790457149955672298929066483678950153101133207145832"],"tag":"AbiUInt"},{"contents":[256,"96789309705208109182659542526372448648079149758511864378424966809149757570479"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"85452578162239871809237993918394182993537242599638852300618596593380729532028"],"tag":"AbiUInt"},{"contents":[256,"48960268198934914815695517427369663118472061949076879040489247429736528242431"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636338"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639851"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"66268627365939750906749339328639153485388608646184752"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266895"],"tag":"AbiUInt"},{"contents":[256,"100"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035135"],"tag":"AbiUInt"},{"contents":[256,"498"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638939"],"tag":"AbiUInt"},{"contents":[256,"29558175026032192264602940008466778074836561862164559155200608388008556844807"],"tag":"AbiUInt"},{"contents":[256,"135"],"tag":"AbiUInt"},{"contents":[256,"22048809350368733648715216149858981575194880526916282433952059173320616809801"],"tag":"AbiUInt"},{"contents":[256,"49952316864166997191064566587152205444332672834989090806169159313491728308393"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000012da","0x000000000000000000000000000000000000000000000000000000000000d8ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[256,"71438482451683979774109459480302241935254209706216100693049206000067362655908"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1c","0x000000000000000000000000000000000000000000000000000000000000dcb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052400","0x000000000000000000000000000000000000000000000000000000000000137d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"107985393515705697376115341867589839698864263911516913889060492492164962149699"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1d","0x0000000000000000000000000000000000000000000000000000000000006b70"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"109804054811083898867348103241043376943666510426746959751524339068630446296444"],"tag":"AbiUInt"},{"contents":[256,"73411348052673966063893550358421795505644485353209756336894910118308672098006"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055779","0x000000000000000000000000000000000000000000000000000000000000058d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000c","0x0000000000000000000000000000000000000000000000000000000000009aa4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"6a1Yy\\170).\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\190\\a\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247O\\251\\201P\\208\\139C\\128d\\237\\192*\\242m~\\f\\144\\172\\135\\166%\\185&\\DC1c~\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128G\\ENQs\\254\\165\\195\\209^\\227\\188\\238\\210\\133\\179t\\223x\\157\\152e\\219\\173\\220\\bNR\\nE&\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\249\\219.\\204H\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\192\\188\\180\\142\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"*d9=b69\\227\\151\\136\\246\\186\\206A\\n\\208\\219I\\SO\\US8\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\190\\DC2\\140\\203.\\215\\v(T\\246\\216\\161\\&0\\133s\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147j\\192\\EOT\\131\\230\\b\\199F\\DC4\\206\\237\\v\\211\\194\\244\\NUL\\159\\&2\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\133;\\242P\\215\\154\\n\\246\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\182\\199\\134vo\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\252\\184\\186\\NUL\\DLE&\\171n\\174\\145\\230Y\\235\\184\\236\\194\\230k\\168\\206\\130\\142\\201&&=\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\137b\\DEL\\132\\218\\150\\189\\231U9H\\176\\SYN=9\\181\\169\\RS7> \\189K\\243k\\ETX\\190\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\179\\DELp\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204nA\\185\\241\\149\\235\\&4\\186'\\210r\\ESC#q\\207\\DEL\\246\\EM\\141oQ\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\170\\192\\239\\142>(\\a\\180\\160\\164\\223u\\171\\EM\\131\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\STXd$V\\229y\\GS<~\\215\\237M\\252\\182\\246\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\a\\174\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"Yf\\141_t\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\152\\199=\\163\\134\\146\\159}\\147\\147\\185\\210\\216\\137\\DC3\\178\\150\\201_.?\\148\\140\\254\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"9on\\160\\229&x\"","tag":"AbiBytesDynamic"},{"contents":"\"7+\\209\\US\\154G\\194\\235\\207P\\216\\175\\r\\SOHQP\\176\\&7\\SUB-\\216\\191\\v\\ETB\\235\\173\\250\\236\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\DC4!V\\142a\\r\\237Z\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\193\\238\\172\\194\\SYN\\168\\214\\193\\177q\\137\\235Bz\\175\\172\\141\\CANg\\EM\\179\\EOT\\227\\251\\168\\131\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\vx\\145bz\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\ESC\\ETX\\203\\SI#\\159\\250\\EMV\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194Ji\\217Z\\149\\203Lb.~\\223Sw\\SYN\\DC4o\\157\\168\\130\\255\\243p\"","tag":"AbiBytesDynamic"},{"contents":"\"oT\\248\\171x\\200\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\156\\171\\224\\202\\148O\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"L?\\160oFMcc5\\248V\\243\\147\\US\\157\\234c \\251yg\\235~\\180\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230[h\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SOH\\252\\192\\180\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\DLE>\\180\\158\\STX\\177\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226e\\226\\204\\ENQ\\204\\DEL\\216t\\214W\\221\\f*\\ENQw\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\DC3\\222P\\190\\a\\210\\167\\204\\218s\\248\\135.\\190\\241P\\155\"","tag":"AbiBytesDynamic"},{"contents":"\",d6\\142\\t}sB\\204\\162\\199B\\159i\\ACKb\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\230\\234m\\158\\210\\250\\136N\\n\\234\\235\\130\\&8\\DC1p\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\136\\129\\232\\252\\237\\DC3\\209Q\\171\\164\\167[\\186\\138X\\DC1D\\149\\DEL\\197N\\169j\\200\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US_\\171=M\\NUL\\190\\vS\\197\\&7>\\DC1\\149FA7\\198\\245\\228\\157\\243h\\143|\\242\\239\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205UXo\\t\\235\\136.\\143,\\DC2\\RSy0\\235\\222H\\ETB\\STX\\171\\189\\DC4\\243\\171y\\175\\DC2\\152\\196\\187\\226\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\185P\\ENQ\\246\\165\\167/,\\249\\216\\237\\177\\241\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\233\\204'\\224\\185\\246\\140}\\233\\205vl$\\194\\222\\&1+\\\"\\227q\\166\\194\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210 \"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\165\\n\\245H\\178\\162\\212\\129\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\205T,\\226\\254\\175\\129\\a3\\129he\\228\\154Z\\209\\162\\130\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\209\\223hr\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\192\\&9+)2;\\211\\184\\\\\\218\\234o\\213=\\NUL@\\188)\\149\\154\\138l\\137\\CAN\\217\\169}\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\224\\218O.*\\223m\\225@\\154\\\\\\240\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4~\\249k\\157 \\240\\178\\208!\\215\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"d7\\234R\\160\\226\\SYN\\DEL\\189\\153\\&7/\\160\\212\\\"HX\\172\\n\\EM\\166\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\153\\254\\244\\DLE\\252\\208|\\247\\174h\\141\\SOH\\229^\\148\\234\\SIBV5`\\149\\141\\200\\254\\183\\&0\\244:Nx\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\224\\161\\158l\\149\\196\\145\\160\\215\\FS\\233\\220\\198\\172I\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"|p\\175&\\135\\165\\247\\142\\212\\222\\172p\\243\\ETX%\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"J[\\227\\SOH\\159&@\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"h&Wu\\SYN\\205\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\148P\"","tag":"AbiBytesDynamic"},{"contents":"\"Zl\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\149\\139\\141ZF\\ESC=s\\201\\246\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"93%\\SOBva\\195\\171:p!m\\245\\151\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"k\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\DC2\\vj\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\r(jB\\249\\&27\\206\\224\\SOH\\RSy\\a\\253Y\\US\\t\\160\\212b\\162U\\156\\250;\\150\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\143\\r;\\210s\\216#\\205t\\189{\\138az\\201\\238h\\243\\224Km\\231I>\\212\\233p\\249e\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\211\\176\\\"\\243\\220e\\220)\\161q`+;\\DC4?I5\\235\\185\\174\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\178\\182\\184L\\198\\185i\\167\\137\\165H\\201\\142\\v\\142\\159\\162\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4>\\148\\DC1&\\150\\141\\n;3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\187\\151l\\SYN\\233\\238\\236\\149[A\\232\\244#0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180JY\\233\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\240\\SOH/\\144Xs\\180x\\151\\234\\146\\ETXb\\170BG\\r\\ENQ\\151\\171\\241\\182<\\n{\\190\\146d\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180!B\\227\\216\\155\\v\\ENQ\\255[\\186\\162\\140D\\189\\194$t\\DELu\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243@\\190\\168\\147Bi\\DLE\\130Pw\\236\\152\\242\\134\\167\\t\\250#K\\196,\\249\\244\\198'F\\219\\220\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"P#\\202.B\\175\\191\\239\\240\\181\\195\\227\\243\\DC3\\EM\\b/\\232\\186;\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\213i5g\\143\\164o\\200^\\GS\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\212\\189\\179\\DC1\\139\\168\\158\\217x\\158\\158G\\211\\167\\143\\148\\190\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\216\\189\\158\\203\\245+\\131\\254p_\\203f\\SI\\252=\\EM\\168H\\247e\\187\\ESC\\201t\\243|`\\176\\ESC\\217\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\DEL\\t\\194\\171\\DLE >\\173\\156\\131\\&3\\NAK1\\179\\ENQ\\187a\\147T\\DC3\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\&6sN\\130\\244\\145s\\145\\EOT\\173k\\243~\\237I\\231P\\buE8 \\199J\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195;d\\232\\NAK\\207\\233+\\194\\&2ss,\\198\\151\\SO\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144&\\218D\\199\\ENQ\\142\\133\\&0\\202\\179$\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\169\\201pt~\\149\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\US\\237E\\\"\\176\\233^\\130)\\GS?\"","tag":"AbiBytesDynamic"},{"contents":"\" x\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\211\\&4\\n\\231\\RSA(\\203sG\\198R\\r\\249\\249l\\182\\209\\245\\r\\177\\143\\US\\ETX\\DC1\\201x$\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170(J\\228zQH\\159\\FSi\\201d\\168\\t\\201/\\SI\\145\\138\\NAK\\159\\DC2\\SOH\\GS\\SI9\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\165{\\200a\\US\\SO\\195\\163}=\\241\\219\\211\\219\\EMf\\229{9\\187\\138h\\129\\US\\201\\190\\EOT\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SOH\\140\\ENQ\\187\\184N_o} \\234\\175\\157.l\\128\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\a\\134Xx\\143\\NUL\\\\h\\SYN\\SOH\\197,\\187\\167\\254\\&1\\\"~\\202\\171\\250\\243m\\129\\154!\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\147\\191\\235\\NULta\\239\\210\\137\\184\\DLE\\DC1\\166Qi\\\"\\SYN?\\255'\\b\\238h\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129t<yE\\202\\134\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203(\\144\\242D>2a\\237\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"{0\\155\\EOT\\159\\203\\EOT\\167B\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"113959922130260404384376746324764368019301826976394388201531370477964002713475"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639911"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"46846000344730652051227423491738295979542241283723513496642428683784598846952"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636335"],"tag":"AbiUInt"},{"contents":[256,"28210273440312509649822663305673869956951416890703403151250441504396733986513"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507326"],"tag":"AbiUInt"},{"contents":[256,"85287673122133548934451482154898562543408479037677192492701213033437110146548"],"tag":"AbiUInt"},{"contents":[256,"4999"],"tag":"AbiUInt"},{"contents":[256,"1528131927"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689597"],"tag":"AbiUInt"},{"contents":[256,"66313644478022743307468803279334701964116723608432359818475387086922798077547"],"tag":"AbiUInt"},{"contents":[256,"79543179897587746661004535262100990650703941113885865286299771189714"],"tag":"AbiUInt"},{"contents":[256,"43954102501302892443076008012966090761160527390476387033004345570859515618189"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908083"],"tag":"AbiUInt"},{"contents":[256,"105"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"783"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639681"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689603"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639872"],"tag":"AbiUInt"},{"contents":[256,"26"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634934"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417341"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553534"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"102765308172544843787028053156624120870501962995222885172329933621560263908310"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"97747609824816305820041886671453882398799061832155150599735498014986456741139"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551618"],"tag":"AbiUInt"},{"contents":[256,"103359387677785988053957003394439507243341270359289333579456237085219610378463"],"tag":"AbiUInt"},{"contents":[256,"83821535210868414128280866707986962677653494527708365603204364966544888999798"],"tag":"AbiUInt"},{"contents":[256,"3998"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"53852596126632088097108198672654869130022977347216315586888495100848549934312"],"tag":"AbiUInt"},{"contents":[256,"94281976606917278958397445402182411774083202007858619014959827692333157545924"],"tag":"AbiUInt"},{"contents":[256,"23282028285544648091639098721131222338510963674988674888845997910762153156849"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088318"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639436"],"tag":"AbiUInt"},{"contents":[256,"258"],"tag":"AbiUInt"},{"contents":[256,"9001"],"tag":"AbiUInt"},{"contents":[256,"293104969254133572396291991535962326450"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639633"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266895"],"tag":"AbiUInt"},{"contents":[256,"20239014522728764221637908923426619854147265939777016751906371526458733533893"],"tag":"AbiUInt"},{"contents":[256,"10331711045135551903715958822039399483949834436609850385394879317327257689967"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"36"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000002"],"tag":"AbiUInt"},{"contents":[256,"11"],"tag":"AbiUInt"},{"contents":[256,"38539535118605581365768855743599011028922471390764935875390697126113229426431"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"388"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088322"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"39222740793184646888999401391814886660118803242993492581810129880486690418464"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417341"],"tag":"AbiUInt"},{"contents":[256,"101989339567011546079318818921733559548197040277353146849562550876489559922616"],"tag":"AbiUInt"},{"contents":[256,"2000"],"tag":"AbiUInt"},{"contents":[256,"9505039781526076619009267507954828325426543163534623413401021451336553583923"],"tag":"AbiUInt"},{"contents":[256,"2001"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"74"],"tag":"AbiUInt"},{"contents":[256,"67"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030338"],"tag":"AbiUInt"},{"contents":[256,"66596577456048273718106154393541600438890138880771199163754388665483424644182"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577601"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417342"],"tag":"AbiUInt"},{"contents":[256,"96854023738125259292758356773672568967467422933455295943227307113543416674693"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062335"],"tag":"AbiUInt"},{"contents":[256,"25431304430630436562982952205270900305680372839261270622272452643022831352013"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638938"],"tag":"AbiUInt"},{"contents":[256,"62409688999656654369935542302642633868245475030266789362284310228961592022543"],"tag":"AbiUInt"},{"contents":[256,"77814249869992442050716326192340961653218646878752047006357491452613094331200"],"tag":"AbiUInt"},{"contents":[256,"3247051785948516261397706751356069200585846351890589343903628686225898349870"],"tag":"AbiUInt"},{"contents":[256,"100000001"],"tag":"AbiUInt"},{"contents":[256,"88662314791525150432441513869756346315250576206283244479151008906570530518424"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"3998"],"tag":"AbiUInt"},{"contents":[256,"74938241998017299142771114853028872288414775640740744919766248626291465786990"],"tag":"AbiUInt"},{"contents":[256,"80418900054574723145311337546828819316406264623281511882158893766715827528513"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731852"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"75074461786202941108897366028822370414285593046671417363417337681282991892199"],"tag":"AbiUInt"},{"contents":[256,"75074461786202941108897366028822370414285593046671417363417337681282991892199"],"tag":"AbiUInt"},{"contents":[256,"75074461786202941108897366028822370414285593046671417363417337681282991892199"],"tag":"AbiUInt"},{"contents":[256,"75074461786202941108897366028822370414285593046671417363417337681282991892199"],"tag":"AbiUInt"},{"contents":[256,"75074461786202941108897366028822370414285593046671417363417337681282991892199"],"tag":"AbiUInt"},{"contents":[256,"75074461786202941108897366028822370414285593046671417363417337681282991892199"],"tag":"AbiUInt"},{"contents":[256,"75074461786202941108897366028822370414285593046671417363417337681282991892199"],"tag":"AbiUInt"},{"contents":[256,"75074461786202941108897366028822370414285593046671417363417337681282991892199"],"tag":"AbiUInt"},{"contents":[256,"75074461786202941108897366028822370414285593046671417363417337681282991892199"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"12382285840556092775556181310510615764648980386444809553241273592103227095180"],"tag":"AbiUInt"},{"contents":[256,"97342762553314714311829340467622498282819824845757492347922021467931130460997"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"112752957637089573144179223269637588430186283666440283842140740661960413380196"],"tag":"AbiUInt"},{"contents":[256,"79735961560435743825785819736346662184569424161111253199687444446880009195963"],"tag":"AbiUInt"},{"contents":[256,"2000001"],"tag":"AbiUInt"},{"contents":[256,"22057990890942481870490504374553534377444724821051111702167997424563568758560"],"tag":"AbiUInt"},{"contents":[256,"62938758040913637461715282426969826563993676134232481479053495710655534307611"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c4f1","0x0000000000000000000000000000000000000000000000000000000000001394"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507327"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008345","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"56"],"tag":"AbiUInt"},{"contents":[256,"29985326564105281909735502943030985403333404613280933690159286169719209867107"],"tag":"AbiUInt"},{"contents":[256,"254"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636337"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34d","0x0000000000000000000000000000000000000000000000000000000000008195"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"15723809496176765867429207318731305803558114258103841501341268703773294086202"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4f","0x00000000000000000000000000000000000000000000000000000000000095e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"78309572159810956116745601162620120311033582849413343945471464184613460615859"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000081f7","0x0000000000000000000000000000000000000000000000000000000000000c79"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"234"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039baf","0x0000000000000000000000000000000000000000000000000000000000009f24"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x0000000000000000000000000000000000000000000000000000000000003c07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac7","0x0000000000000000000000000000000000000000000000000000000000000592"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639870"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x000000000000000000000000000000000000000000000000000000000000d8d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"28636458530455949262048229510104582039882927313796182319747057305000092491489"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000088","0x0000000000000000000000000000000000000000000000000000000000000089"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639706"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b40a","0x0000000000000000000000000000000000000000000000000000000000001e90"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"80875964556543122094275283117522434612872325115640628020174502148946687458194"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a60","0x0000000000000000000000000000000000000000000000000000000000003f7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065373","0x000000000000000000000000000000000000000000000000000000000000138e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"46"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e951","0x0000000000000000000000000000000000000000000000000000000000000231"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"76890279920947647407207018390832331498731267501420724514782512119628355751927"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b73c","0x000000000000000000000000000000000000000000000000000000000000185a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639939"],"tag":"AbiUInt"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000381","0x0000000000000000000000000000000000000000000000000000000000008194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"99122968368603877942694932134685777008161769971647333211848311757682673611343"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000066","0x000000000000000000000000000000000000000000000000000000000000c060"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":[256,"3318881890"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4d","0x0000000000000000000000000000000000000000000000000000000000000068"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858878"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec6","0x0000000000000000000000000000000000000000000000000000000000004995"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"10755025196901982491955542201418810212699436690889341436235188708446684783680"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c1","0x000000000000000000000000000000000000000000000000000000000000b44c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e3","0x0000000000000000000000000000000000000000000000000000000000000040"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"95116964906019762561591582722479205341802811072900591439170297522867630704451"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001a","0x00000000000000000000000000000000000000000000000000000000000030cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1c","0x000000000000000000000000000000000000000000000000000000000000000e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]