[{"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_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e14","0x000000000000000000000000000000000000000000000000000000000000964b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea19","0x0000000000000000000000000000000000000000000000000000000000009559"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"91183331713000346701337575799335265574123270437183748665838599180480716657551"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d2","0x0000000000000000000000000000000000000000000000000000000000008e0d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"\\SOH\\SI\\247x\\b\\128\\233\\160\\143}]\\SIX\\a\\206>!\\255\\n\\bi\\r\\179\\151\\207w\\NUL\\232\\165bV\\208\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000050","0x0000000000000000000000000000000000000000000000000000000000004659"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f9df","0x0000000000000000000000000000000000000000000000000000000000009201"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"708"],"tag":"AbiUInt"},{"contents":[256,"62219442065686113253687261925893003235163125193889648185292190152730411843874"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000016","0x0000000000000000000000000000000000000000000000000000000000000017"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e7","0x00000000000000000000000000000000000000000000000000000000000095e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"46228790089102219064721704986173591470658769762625647268159245023307335692338"],"tag":"AbiUInt"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d1","0x0000000000000000000000000000000000000000000000000000000000000134"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"22738021844535172008599982869290164197259204839412044530250152326613247496423"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066e8a","0x00000000000000000000000000000000000000000000000000000000000011e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c4f1","0x000000000000000000000000000000000000000000000000000000000000d38b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb17","0x00000000000000000000000000000000000000000000000000000000000069d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"72783092633064926956683436280155766126700097130526884863067339873967656528001"],"tag":"AbiUInt"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c098","0x0000000000000000000000000000000000000000000000000000000000008639"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000044eff","0x0000000000000000000000000000000000000000000000000000000000005b11"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639706"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009094","0x00000000000000000000000000000000000000000000000000000000000045d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":[256,"338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001cae0","0x000000000000000000000000000000000000000000000000000000000000012f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"25183755094484552735733755149941898521740515363622491752141832772514319890035"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfa","0x00000000000000000000000000000000000000000000000000000000000095e1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"21661549886550171093322583190531560177879032885273981456251554138033255297461"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf6","0x0000000000000000000000000000000000000000000000000000000000009aa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"59169803405045722434173680612492277361578014836940309467218830851538753303455"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb40","0x00000000000000000000000000000000000000000000000000000000000080be"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead1","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"34064983670898438266863731863739776256799468252664993921375463749120072740925"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030c78","0x0000000000000000000000000000000000000000000000000000000000006148"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"489"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007ce","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea4b","0x000000000000000000000000000000000000000000000000000000000000542b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000003512962a76866b36c"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\152X\\142\\&9^\\191n\\252E\\212>\\rc\\224\\254\\151\\SO\\ACK5\\DLE@z\\191\\153\\248\\172\\139\\227Idi\\241\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf7","0x00000000000000000000000000000000000000000000000000000000000095e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"506"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047712","0x000000000000000000000000000000000000000000000000000000000000011c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"74484184619305160694540494644379503221737928780187801289267118142820994867443"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d932","0x000000000000000000000000000000000000000000000000000000000000133b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"55550023496341577019508515877307774752044986386256514851359380825424331341810"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002714","0x000000000000000000000000000000000000000000000000000000000000711a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006289b","0x000000000000000000000000000000000000000000000000000000000000e8a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"24137669834770842457284501181528707162235520854018781745729658676849571423440"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070e30","0x0000000000000000000000000000000000000000000000000000000000007116"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"63"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb12","0x00000000000000000000000000000000000000000000000000000000000001cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"102895973203882006389815374692757130149371620592171983808210915198850732174641"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a9","0x00000000000000000000000000000000000000000000000000000000000001b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"18922297289455657679589650903626352399690229086407350676619809257409796762920"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1c","0x0000000000000000000000000000000000000000000000000000000000003f7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fb","0x0000000000000000000000000000000000000000000000000000000000006de1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731854"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066815","0x0000000000000000000000000000000000000000000000000000000000009e96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[256,"1532336"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048e15","0x00000000000000000000000000000000000000000000000000000000000000e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a317","0x000000000000000000000000000000000000000000000000000000000000a293"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"1535278187"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000094af","0x00000000000000000000000000000000000000000000000000000000000069fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c782","0x00000000000000000000000000000000000000000000000000000000000012a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":[256,"33790842791628755051624992295945772809906625245621933014894672966176465988118"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec3","0x00000000000000000000000000000000000000000000000000000000000013d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"204"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f19","0x0000000000000000000000000000000000000000000000000000000000000011"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"181"],"tag":"AbiUInt"},{"contents":[256,"53632598369785552254126000294066181130328672927446949609534194789391263979976"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe7","0x000000000000000000000000000000000000000000000000000000000000a799"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639829"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a2f1","0x0000000000000000000000000000000000000000000000000000000000003878"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":[256,"1532646133"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb05","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029f33","0x0000000000000000000000000000000000000000000000000000000000002605"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"102807712022509838184103487300876860097386769491541195904388092829449781744300"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024533","0x0000000000000000000000000000000000000000000000000000000000000591"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"136"],"tag":"AbiUInt"},{"contents":[256,"285495067910077708"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e352","0x000000000000000000000000000000000000000000000000000000000000ec36"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"85649429269842173617903254938538104237194043075723719407829316409587474159642"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf1","0x0000000000000000000000000000000000000000000000000000000000003f7c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"1533741769"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5d","0x0000000000000000000000000000000000000000000000000000000000001369"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"64195553255271551162069950441377539080501825676774714984018110007733673977771"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006fcf6","0x0000000000000000000000000000000000000000000000000000000000008ec8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"75023666937618525068318467732109494715915196138376021512473242146047611091546"],"tag":"AbiUInt"},{"contents":[256,"297"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164d","0x0000000000000000000000000000000000000000000000000000000000001c99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb17","0x0000000000000000000000000000000000000000000000000000000000002b38"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"Invalid token\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb17","0x0000000000000000000000000000000000000000000000000000000000000fba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"1525528344"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e34e","0x000000000000000000000000000000000000000000000000000000000000dcbe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x000000000000000000000000000000000000000000000000000000000000eb87"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e4","0x0000000000000000000000000000000000000000000000000000000000007e4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0f","0x00000000000000000000000000000000000000000000000000000000000023a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"76993676979820928144222256993365832805712672004006257354369493953361731838136"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e7","0x000000000000000000000000000000000000000000000000000000000000000c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c435","0x00000000000000000000000000000000000000000000000000000000000000e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"53136230698131199832250366862341546981551839462105602592988959970492158808687"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81f","0x0000000000000000000000000000000000000000000000000000000000001363"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"3602"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffb","0x000000000000000000000000000000000000000000000000000000000000012b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"85"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d858","0x0000000000000000000000000000000000000000000000000000000000000bd3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"900"],"tag":"AbiUInt"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007f","0x0000000000000000000000000000000000000000000000000000000000000e0f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"99999999999999999999999999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1d","0x00000000000000000000000000000000000000000000000000000000000057e1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"90181541122916488153539429802157920133121389953793662780154558033700143838511"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4a","0x0000000000000000000000000000000000000000000000000000000000004b99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"95470796315155417724147502119257655157442754205163759632241838797083860023413"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000015","0x0000000000000000000000000000000000000000000000000000000000001392"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"87446239653949017408456703610338047406175301869649816267559294410089249800002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517f","0x0000000000000000000000000000000000000000000000000000000000001381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000045","0x0000000000000000000000000000000000000000000000000000000000000037"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":[256,"52866745948042444784030561588905043578899599612710348158596347574663436093743"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a515","0x000000000000000000000000000000000000000000000000000000000000a297"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427c","0x000000000000000000000000000000000000000000000000000000000000b897"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"Invalid reuest\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\160\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3f","0x000000000000000000000000000000000000000000000000000000000000bf8c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"652381540"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003ae75","0x0000000000000000000000000000000000000000000000000000000000000018"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"55378951448545141658152115723561175846222553364672460871221153139745930936852"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055779","0x000000000000000000000000000000000000000000000000000000000000371a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004782a","0x0000000000000000000000000000000000000000000000000000000000001318"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":[128,"340282366920938463463374607431768211453"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0ec","0x0000000000000000000000000000000000000000000000000000000000000078"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"12"],"tag":"AbiUInt"},{"contents":[256,"88641196087738277102403583150947653437095571783100703097030848980318557925165"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731850"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551614"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001096b","0x0000000000000000000000000000000000000000000000000000000000001391"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000308","0x0000000000000000000000000000000000000000000000000000000000000308"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b5df","0x0000000000000000000000000000000000000000000000000000000000004ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":[256,"19703597510384735482693827401155128178615382285188850202510890812571929691864"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007779","0x0000000000000000000000000000000000000000000000000000000000006781"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"\"\\238\\&8\\190\\DC4\\131\\151\\140\\NAK\\237\\143\\DC2,\\164\\236\\192\\218\\144\\SOHB]\\207-\\f\\236\\138\\206\\250'\\252\\155y\\214\"","tag":"AbiString"},{"contents":"\"y\\145F\\172O<\\219\\219\\219\\219\\219\\219\\219\\219\\219\\214>\\252\\202G\\132\\216\\234\\&1\\183\\203\\SO\\205l\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3450a15Dc9cbDD5C0e28cC22474D88AD7e2695A3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011517"],"tag":"AbiUInt"},{"contents":[256,"7492555980248686489671581283949992361707208581488"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"79228162514264337593543950335"],"tag":"AbiUInt"},{"contents":[256,"772"],"tag":"AbiUInt"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b69","0x0000000000000000000000000000000000000000000000000000000000006540"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"31958973562297762507148923166372347758855274473672641576469636733002715576149"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000012"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"23438995110319828145406553848290125659109740916643136547024846248853597180416"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000692c1","0x000000000000000000000000000000000000000000000000000000000000139e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"9001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060456","0x0000000000000000000000000000000000000000000000000000000000001c9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"89531476388736589661688845855533215240218572242292725256825205953028942"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015831","0x000000000000000000000000000000000000000000000000000000000000c062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639862"],"tag":"AbiUInt"},{"contents":[256,"80406605096047277011782901583237142545992315181520569483930813404955441968502"],"tag":"AbiUInt"},{"contents":[256,"88062221178387614120476017831128093529276554183462207170029918529392871265170"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb23","0x0000000000000000000000000000000000000000000000000000000000003ed1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"73577539416514525248225268145362823741929364950447168687976132871798284059997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010905","0x00000000000000000000000000000000000000000000000000000000000009d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead1","0x000000000000000000000000000000000000000000000000000000000000037e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"42777914763959822872118366720848378531850935097568789021583948130850716361750"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000804d9","0x00000000000000000000000000000000000000000000000000000000000087a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000047d6a664751fb9f42"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"1872146027"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000049","0x00000000000000000000000000000000000000000000000000000000000013aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"3"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d3","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e8","0x000000000000000000000000000000000000000000000000000000000000609c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"4114880813960030005743538668622752400651687088730753846772421990380719703960"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015180","0x000000000000000000000000000000000000000000000000000000000000d3e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0a","0x0000000000000000000000000000000000000000000000000000000000002322"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"599"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaff","0x000000000000000000000000000000000000000000000000000000000000001f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c3","0x0000000000000000000000000000000000000000000000000000000000001340"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e954","0x000000000000000000000000000000000000000000000000000000000000cf13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639865"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072f31","0x000000000000000000000000000000000000000000000000000000000000a525"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59d","0x0000000000000000000000000000000000000000000000000000000000004b9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]