[{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266892"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005eccc","0x00000000000000000000000000000000000000000000000000000000000001f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639798"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe4","0x0000000000000000000000000000000000000000000000000000000000001361"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f9a","0x00000000000000000000000000000000000000000000000000000000000014ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000d","0x000000000000000000000000000000000000000000000000000000000000137f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb34","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000181","0x0000000000000000000000000000000000000000000000000000000000001380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"\"r\\USy\\135\\173\\NAK\\183\\236\\131\\STX\\193\\CAN\\224\\133\\255-\\150 \\154\\136\\r\\141\\168\\222\\247+\"","tag":"AbiString"},{"contents":"\"\\137\\225\\193~T\\204\\215mL\\185\\138d\\DC2fu\\172%o\\234\\&9\\196I\\SOV&O\"","tag":"AbiString"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132609"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507326"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"415"],"tag":"AbiUInt"},{"contents":[256,"35728397992669240602105993348769554840122779464994443607276764864604780958809"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f7","0x00000000000000000000000000000000000000000000000000000000000095e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"4369999"],"tag":"AbiUInt"},{"contents":[256,"14582012753595170529320904234170004798468501376030497476493896903012429168251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c439","0x00000000000000000000000000000000000000000000000000000000000095e1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","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":"\"\\166&\\197o=K\\178\\151]`\\248h\\226z\\228\\160\\240S\\244z\\249\\NAK\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\232G\\166\\CANK\\EOT\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"Tm\\142r!:\\163`\\189\\152\\249W&\\192\\204\\229\\255\\&3\\222\\RS\\CAN<U\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\216\\DC4\\NUL\\138\\226-Hz\\SYN\\\\\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"E\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\242\\228EO\\SOH9\\211\\bE\\223\\185\\243\\153\\219\\231\\171\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\140\\152/\\129\\146\\206z\\251KeaUyj\\231B\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\178\\207\\129;to\\166\\SO\\172w\\209\\145\\193\\208\\&9\\n\\147G\\135\\ETB\\168.\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM~=\\163\\243\\203\\191\\&1r<o\\219\\237\\189\\138\\159\\250k\\169P\\164\\238Sq\\145\\140\\DC4\\214\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\194v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208+\\234\\231\\246\\&0\\219\\165Kr\\153\\190$\\253\\203\\DC4\\DELI\\202\\240']\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\143\\f\\DC3\\253\\219\\235\\221\\152\\232\\129\\155T\\222\\198\\DLE\\147\\&9exb\\ESC#\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\227\\136\\195\\ETB\\249\\&8\\239\\175\\156O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB^\\159\\NAK]\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\249\\249`\\213\\219S\\SOg\\f.\\193\\CANU\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\182\\169\\231\\SI\\133\\206U\\237cH\\196\\146I\\215\\137\\237\\169\\177\\236|=P+\\244\\SOH\\b\\132%*\"","tag":"AbiBytesDynamic"},{"contents":"\"N_,,4\\168\\200\\162\\250\\141\\192\\183\\SOH\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\ETX\\223\\206Q\\DC2\\159\\182\\192`B2\\215\\233\\147\\f\\158\\154\\247{\\162\\151o\\132\\132n\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\151\\188\\190\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"/p\\174\\239}\\141\\EOT\\186`\\212\\203J\\SYN\\217\\\"}=\\208\\247>[\\208T\\DC1\\228\\186\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"35627117861321382569848542717096493671206391222906882642474816615652459704210"],"tag":"AbiUInt"},{"contents":[256,"116397593363272041441897239197316169694362616926769817088415135020724358"],"tag":"AbiUInt"},{"contents":[256,"96910851933726102922903800808277549230100933522448176557446511454007016457551"],"tag":"AbiUInt"},{"contents":[256,"24367550907636734361947918193906064008734960453099881694179966769728056247227"],"tag":"AbiUInt"},{"contents":[256,"8130220780379452114584107930414956940489960318481643149597305787449807876050"],"tag":"AbiUInt"},{"contents":[256,"77373718246336445555058047491021634129011621413111722906942682053756408618550"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"110390420152943592871085745776504576070480559883881614493795431640851246240536"],"tag":"AbiUInt"},{"contents":[256,"78901865860734685051219358108451355881100533761388800620012744269348180922247"],"tag":"AbiUInt"},{"contents":[256,"1999"],"tag":"AbiUInt"},{"contents":[256,"31247531236415619749389577124432430322494165968138754891360864102879827918754"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747170"],"tag":"AbiUInt"},{"contents":[256,"77261480025742047136711965428222240711763046541162103122639226829006077059914"],"tag":"AbiUInt"},{"contents":[256,"65318796913910373069547075574823065260113328297581624140914361806125027604012"],"tag":"AbiUInt"},{"contents":[256,"28682574434404868125939468336602016493072743622821910659974820455983523449839"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639872"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"36775856431758204413015365336542042284897521871008199708716190607550158115000"],"tag":"AbiUInt"},{"contents":[256,"29417387539327172591270007644039361365930127059332258921164870653593131217136"],"tag":"AbiUInt"},{"contents":[256,"403"],"tag":"AbiUInt"},{"contents":[256,"62"],"tag":"AbiUInt"},{"contents":[256,"35005998676104956116950982969672290790981322998038549218587867243931353870472"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639635"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132611"],"tag":"AbiUInt"},{"contents":[256,"40508686493270448961547451941574382405434325090521642328560485864740950139769"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858881"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781053"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"2695103056902876169446874624207903853093863891680927827664919609263306228316"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639861"],"tag":"AbiUInt"},{"contents":[256,"999"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639638"],"tag":"AbiUInt"},{"contents":[256,"64661874483566745182421953509732499807604008695654196740031572850237079721944"],"tag":"AbiUInt"},{"contents":[256,"77533490276246027153809091206744011728130985063081625131554958090483596397968"],"tag":"AbiUInt"},{"contents":[256,"36704341616416473191008794902026176989410913235430788588915488419580414975860"],"tag":"AbiUInt"},{"contents":[256,"108347296804954154915844454471498961893281665734027409296965200874194683543647"],"tag":"AbiUInt"},{"contents":[256,"39065211537569157891886757129214152951436692304640450494928338123988651233992"],"tag":"AbiUInt"},{"contents":[256,"89099984388198834209440545258580904607696261304409664644295627152377870501248"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639930"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"12725727642337340979501828128299614693326328296208453008897210933980751042912"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639938"],"tag":"AbiUInt"},{"contents":[256,"93291068451606801853337285975159702300218443030250535427347555485982613395880"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"65"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"1914823708610693188775968217"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731851"],"tag":"AbiUInt"},{"contents":[256,"111862930979368871008290398517717144394732379763106553497975425815884649049580"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747171"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747171"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747171"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747171"],"tag":"AbiUInt"},{"contents":[256,"74209902933500949616011789590373005281276157255381041287174667123378123848217"],"tag":"AbiUInt"},{"contents":[256,"35545601476043170645839573651292871675117870639768066187925209518905458880444"],"tag":"AbiUInt"},{"contents":[256,"16"],"tag":"AbiUInt"},{"contents":[256,"107244033400208210180573529976422545456379584859503137443011715466861446927339"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858884"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"28604129675530560309014827616969770145230822291393568166024860370205773887474"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639923"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689601"],"tag":"AbiUInt"},{"contents":[256,"367"],"tag":"AbiUInt"},{"contents":[256,"77777215339655724663247209341445808253561427044848991777060841315641925569526"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"78897913652832949899783430349269912604565956760056273482101550985674589280730"],"tag":"AbiUInt"},{"contents":[256,"103174339178477505795045117616399840555641282257808362020328782761362219756514"],"tag":"AbiUInt"},{"contents":[256,"9"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551616"],"tag":"AbiUInt"},{"contents":[256,"44387701536873576079627859618251199709735731575134620115996206678740404837985"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639870"],"tag":"AbiUInt"},{"contents":[256,"106589596359764620638723448204455203884692422312616399485529482415981322924518"],"tag":"AbiUInt"},{"contents":[256,"23825730009688115532795151526336259253061517242366986071910299820264140503410"],"tag":"AbiUInt"},{"contents":[256,"1"],"tag":"AbiUInt"},{"contents":[256,"306604021429048816904935123818614247479876975620489274639667467975108989898"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211774"],"tag":"AbiUInt"},{"contents":[256,"95413424169470617041747690651317973689392762446113778781204032098554712317866"],"tag":"AbiUInt"},{"contents":[256,"101638220509344674623822823120633384856242832582003522669905988727654987083688"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"29121937265828096446024216142654721270576853380702935495639462091330236611100"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"100796942858716648054894689563885717424390504344204224326031965329204969395051"],"tag":"AbiUInt"},{"contents":[256,"93291179562144992313137773676480636554996698542783690518791269438636186730651"],"tag":"AbiUInt"},{"contents":[256,"8"],"tag":"AbiUInt"},{"contents":[256,"8"],"tag":"AbiUInt"},{"contents":[256,"8"],"tag":"AbiUInt"},{"contents":[256,"8"],"tag":"AbiUInt"},{"contents":[256,"8"],"tag":"AbiUInt"},{"contents":[256,"504"],"tag":"AbiUInt"},{"contents":[256,"42748618025389222935488965380650821651745223925467461864145054468105344292065"],"tag":"AbiUInt"},{"contents":[256,"42748618025389222935488965380650821651745223925467461864145054468105344292065"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbff","0x000000000000000000000000000000000000000000000000000000000000b159"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004abaf","0x0000000000000000000000000000000000000000000000000000000000001388"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"1532562018"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb23","0x0000000000000000000000000000000000000000000000000000000000007328"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\".\\148\\DC1\\221\\172\\237\\254@\\153\\129\\&3\\148Ic\\DELw\\151\\175\\246\\aQB\\139\\149\\ETX\\156\\EM\\128qdQ*\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000009","0x00000000000000000000000000000000000000000000000000000000000021c1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c247","0x000000000000000000000000000000000000000000000000000000000000e343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea62","0x0000000000000000000000000000000000000000000000000000000000001368"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"78"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000009","0x0000000000000000000000000000000000000000000000000000000000002fc2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"33"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000079","0x000000000000000000000000000000000000000000000000000000000000b2fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f53f","0x00000000000000000000000000000000000000000000000000000000000095bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"76425376699148589950808115059188234322576874211830089670638828438099974856754"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a61","0x0000000000000000000000000000000000000000000000000000000000004161"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"127"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59b","0x0000000000000000000000000000000000000000000000000000000000000670"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002326","0x0000000000000000000000000000000000000000000000000000000000000075"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"22826997108254784354156506400212856357668253258062607988036487082535080509029"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000012bd4","0x0000000000000000000000000000000000000000000000000000000000001020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"57078719916542922486793506736240902074979427978927223496904334109152377856251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c193","0x000000000000000000000000000000000000000000000000000000000000d1ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"520"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021cab","0x000000000000000000000000000000000000000000000000000000000000d2b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004da39","0x000000000000000000000000000000000000000000000000000000000000d78a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"104002784993009489303130705048285415171961314587509605073083517682610222500657"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001c","0x0000000000000000000000000000000000000000000000000000000000009e98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"96"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071e85","0x0000000000000000000000000000000000000000000000000000000000004dca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1529505875"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000272c2","0x0000000000000000000000000000000000000000000000000000000000000bcf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"23732173645674903245753122903775898630651712150893030905811400470844545659197"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008801e","0x000000000000000000000000000000000000000000000000000000000000bfc0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"1526239455"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003bf4e","0x0000000000000000000000000000000000000000000000000000000000000033"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000026","0x00000000000000000000000000000000000000000000000000000000000002ca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006489a","0x000000000000000000000000000000000000000000000000000000000000e7f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085b27","0x0000000000000000000000000000000000000000000000000000000000006f83"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f19","0x0000000000000000000000000000000000000000000000000000000000009fb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001c8","0x0000000000000000000000000000000000000000000000000000000000009a9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"25"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7c1","0x0000000000000000000000000000000000000000000000000000000000007117"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b08a","0x0000000000000000000000000000000000000000000000000000000000001335"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"*\"","tag":"AbiBytesDynamic"},{"contents":"\"R*\\DC1\\146[k\\135\\212\\ak\\183\\218\\\"\\212\\135\\232\\229\\&8a\\254\\129\\178\\244\\238\\232\\225b1\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\180\\242\\175\\184\\247n\\184E|\\158\\129&K\\250\\176\\242\\202mM\\211j\\237H\\ETX\\153\\254\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245Y\\208M\\183\\251\\147\\129{\\183\\183Z\\CAN\\181?\\209\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\SI\\199\\172\\212\\DC3\\219\\138\\142(+\\235=\\196\\130\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\n\\250N\\132\\214\\168\\STX0\\184:\\243\\135\\247\\233\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\":\\176\\244\\160jO\\182y\\189B\\200\\ESCR\\RS\\168\\220j3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\240r\\137=\\n\\233\\159j\\179\\180\\SYN\\253\\151\\211\\167\\230\\255\\148{SA\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\234\\161)\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"e3OD1\\196\\b|@\\204\\165~.\\129\\DLE\\134c\\197\\247W\\RSR\\CANx\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\131\\196\\172\\CAN-\\181\\207\\150t\\203\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\":%\\207;\\148\\195\\153\\STX\\250\\155\\129\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\247\\234u\\n\\248K_\\235\\197\\155Ss+\\230\\172h\\ETB\\223I/\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221:\\215\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\216\\DLEw\\192%\\ne\\246yb\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"a\\NUL\\USE6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232<v~!v\\SI\\159e\\253\\142P\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\254\\252\\248\\226\\&4\\229c\\n\\239X^g\\211\\165P\\SUB\\215\\SOAC\\146\\DEL\\249S\\141\\208\\160m5d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\196\\ACK<^\\248D\\129w\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\148\\234\\247\\STX\\189\\&7{x\\139e\\160$\\137\\DC1\\220Y\\231\\v\\203\\&4\\133\\208w;\\196 \\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\215M.\\241n{ \\242\\NAK\\254\\242\\253\\241N\\n\\217\\140\\144\\160\\252\\ACKZ\\177\\141\\148\\&9\\159R\\235J\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\135?\\168\\183[H\\190\\DC4,\\215\\&4\\254m\\192\\FS\\220\\199\\EM\\163\\141\\&0\\242Gh\\217&\\175{\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\226o\\aL\\195\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181F\\194\\143\\246M\\178\\179\\209\\195t\\184\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"}'k\\ACK\\195J\\253\\&5\\130\\DC2\\129\\180Q\\DC4\\130\\221\\196\\128^pXM\\CAN\\225\\EMm\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\197\\&7\\n\\213Hx\\169z<\\159\\&0\\163\\170\\188\\&9s\\163\\154\\SUB\\252V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\232\\199^J\\231\\250\\181b\\ESC\\197Ht\\233\\241;pr\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\a\\213\\DELP\\199\\148\\r\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\166U\\245\\173+\\212\\209\\131\\NAKGe3G\\DEL5\\232\\184\\GS\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\r4\\234\\179\\230\\235+Lg\\249\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179<\\240\\167\\145\\223\\ETB\\171\\b\\174\\210\\n83o\\229V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3c\\230\\137\\142W\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\142\\175\\GS\\195\\164?*\\171\\220\\231\\143\\200\\141\\190 \"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139G\\215\\&1\\230[\\236\\NUL\\134\\140\\136\\168\\150U\\133\\141\\GSF\\172\\ACKa_\\177\\204\\CAN\\SYNF\\252\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\185\\DLE\\193c\\140\\rJ\\249\\184\\SUB\\185\\152\\187\\ETXr\\190rz\\ENQ\\224\\216\\245\\249\\248b\\188\\DC1\\179\\160\\n\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240X\\237\\147t/\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\NAK6\\221\\195\\252\\237\\246\\128\\&5\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\155\\&4.}g\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\NAK\\160\\252\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128}e._\\f\\r\\DLE\\203\\151\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\173\\170F\\247\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\207\\179\\194\\SI\\215*f\\194\\210} \\USWc\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Wv\\151~@\\220Q\\134\\ESC\\NULV\\165\\150\\151t\\144\\&0qL\\221i\\128\\184\\161\\ETXK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\242E\\210qqE\\180\\241\\&1F9Z\\r\\174\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"|>\\221\\205\\220n\"","tag":"AbiBytesDynamic"},{"contents":"\"1n~~\\228\\ETX\\EM\\201\\198\\204\\135\\152^\\220\\130g\\196\\210v\\196\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\vRt\\\\\\203\\157^\\233\\158o\\167\\171~C\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\t00\\253\\173\\CAN\\209\\221\\\\\\SOH\\159\\129\\208k \\SOH>\\187:(T\"","tag":"AbiBytesDynamic"},{"contents":"\"mM%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\215\\\\\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\",\\224\\237\\&98\\185bp\\204\\167ob\\254y4\\FS2\\191J\\EM\\134\\166\\185\\193\\146\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\255\\171e\\190\\134{\\252\\131B\\214\\144\\220V;\\228A0\\EMu\\248\\203S\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\247\\213\\152CZ\\180\\f6\\205}\\232\\214\\163\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"5K>dJ\\244\\141\\178:2W\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\bp\\SYNj|v\\SOH\\CAN(\\US<\\170r\\189\\223\\EOT\\EM\\219h\\184\\193\\234\\204\\161\\179\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"D\\153o\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\DC3\\CANA,\\193\\247\\226\\&7-4\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\133Cp]\\190&\\223\\184y\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\204b\\220 \\a\\233\\&0{\\206us\\154}\\SI\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"s`~\\171\\DELo2wl:\\204\\&0\\232\\148\\ETBP\\229D\"","tag":"AbiBytesDynamic"},{"contents":"\"q_\\136\\ESC\\190\\139\\245\\128\\DEL#@~\\FS\\ETBi\\212\\DLE\\143v\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161x\\247Q\\146\\&5F\\250n\\240f\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"F}\\134\\161\\176\\249\\CANBk\\CAN<\\DC4\\201\\DC3f\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\RS\\FSSNE\\212\\222\\&5\\GS\\253\\165)h\\229d\\161\\223!\\146h\\197S\\185\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b!\\254\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\165\\140\\195\\&4aKD5\\227\\133\\234\\166Bk\\199\\170\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\199\\&9C~I\\136x\\200\\203+\\EOT\\185e\\129\\253\\198\\DC3\\231e\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\142<bZ\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"Q_\\175\\161\\163uT\\172.\\244\\181`\\232\\255\\171\\140\\133<#\\223\\219\\DC2)\\vH\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"U\"","tag":"AbiBytesDynamic"},{"contents":"\"(x\\138\\200R>S\\181\\CAN\\253\\244\\165>\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\246\\NUL\\207)\\238Lap\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\150&hKg\\230m\\135\\231?\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219T\\NAK\\172\\191W\\ETB\\ESC\\226\\SOHB\\ru5+\\132\\EOT8\\175\\224\\137\\b\\153\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\171\\250\\176\\r\\165\\169\\129\\235\\184q\\183\\NUL\\133S\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"0IA\\DC2\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237!G9\\178\\185C\\137\\194d\\203\\DLEW\\ACK1\\180\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\GS\\NAK\\SYN\\t\\163\\b\\217O\\208\\247\\&1\\198\\EM9n\\RS\\180\\178\\208M\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"91\\243\\172*f\\210\\249\\CAN\\168\\173\\150\\248\\139\\184$\\210\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\228\\185\\223\\FS~\\148\\r+~\\225\\184z-\\200\\US\\228\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\NUL\\137\\130\\160+u(\\227\\SYN\\DLE\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\214bt\\203\\250N\\NUL\\158\\\\\\253\\188\\&1\\159\\247#\\214\\188\\GS\\157\\136\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\202}\\SUB\\130A:\\EM\\174\\184\\217d3\\147P\\230ONPt/\\f\\137\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\250\\&0\\143`\\181C\\195\\254\\150\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209/\\200\\166\\223\\173\\EM\\168=\\181k5=\\DEL.\\US\\DC3%\\237d\\159\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\179\\143f\\224\\230\\253\\201\\142f\\242\\&4\\SYN \\169\\186\\137\\214\\206\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\241\\&9n\\EM\\143\\GS\\199\\182\\154\\176cn\\208PI\\186\\EOT\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\241\\145\\145;%\\151\\254t\\ENQD\\f\\129G\\185(:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\178P%\\246\\161\\161\\181\\137[`x\\CAN\\151\\185}\\f\\237\\&5\\146\\&4^N\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\140N\\228\\EOTB\\ETB4\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\185!\\255\\243\\147\\195s\\az\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\154\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\185\\166\\157\\161\\ESC\\a\\226\\&2\\203\\187^{\\ETBR\\168\\238\\ETX,\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\148p\\a\\161\\216\\&6h\\143fA\\181\\153\\133?\\150$\\230\\&8/\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\233\\149\\133\\150\\160\\n\\184\\US\\ETXz]\\198\\244+\\199J\\233\\NUL\\232\\204@\\211\\228\\153\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SI\\RS\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\144\\213\\RS\\222\\223\\203]R\\\\\\245\\b\\178\\176\\145\\163\\250\\233\\&8\\209Y\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193v\\188w\\186\\NAK\\150\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\196\\224\\218\\212\\232f\\USy\\177;\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\ETB\\232qSb\\STX|\\b\\164\\133\\222W\\208\\204R\\158\\248<\\172=p\\220\\136f\\150\\229\\&6\\252B\"","tag":"AbiBytesDynamic"},{"contents":"\"Tu\\206\\141\\142xx\\EOTlk]\\238\\DC2\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"|,\\176\\ETX#Z-\\233\\212j\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\170t\\133\\200\\158^\\DLEk68\\191,U\\DEL$\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\165C\\151\\145\\224\\223\\b\\149\\&5\\246\\193\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135q\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\239k\\254\\ETB\\227\\RSp\\223\\148\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148&^\\217\\144b\\208b\\230A2\\148\\193\\206\\241\\142\\214y\\DC2@\\GS\\186\\159*\\151D\\207\\141\\167\\DC1\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\248w!\\173/\\149G\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\192\\202\\FS\\228\\182\\&9)>Yn\\199\\207f\\137s\\142\\&6\\US\\185\\ESC\\205\\tr\\188u%\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\GSj)\\255\\234z\\192\\188p\\238\\209\\179\\220\\228\\228\\247\\234\\&6)\\240\\141\\224\\254\\f\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\250\\227\\192\\185\\131\\251{\\231\\132\\244\\DC2\\f}l\\EOT\\219\\230Kr\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\132\\vS\\177\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\EOT\\223A\\202Z\\246C\\208?\\156:\\157\\&78\\215N\\164\\148\\156*\\153\\211\\173+\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\226\\221w\\DC2r\\ACK\\ESCh\\136l\\141G\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"9\\224\\136[d\\174fo\\no\\234+L\\160l\\187_\\214\\195\\168\\239%\\DC4ce\\189\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\SYN0\\223\\242a\\173R5\\245\\137\\DLE\\143:\\232\\209\\EM\\237\\a\\137\\159\\154\\179\\201\\213\\247\\235\\150\\tK\\175\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"uS\\179[\\249\\214%SS\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\".no\\181\\235\\179j'\\226\\&2pg\\248\\133\\160X\\240\\\"\\194\\240\\&5y\\148=\\195e\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\232\\155Nb\\202.\\174\\GS\\193\\n\\215\\227\\226\\GS\\170V[\\145\\ACKGwI\\170<_\\240\\DC3n\\186\\f\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221e\\179\\201=U\\207VFJ\\RSH\\242\\188\\DEL\\EOTv7!M\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\130~\\228n\\237\\200\\245\\222UE\\204\\132\\197\\190\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\v5Lt\"","tag":"AbiBytesDynamic"},{"contents":"\"+%\\191\\SIk\"","tag":"AbiBytesDynamic"},{"contents":"\"XK\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\255\\167\\134\\t;\\139\\148\\174\\158s\\251\\191\\141\\&9W\\189\\192_y\\FS\\134\\CAN+=\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"*{\\NAKe\\f\\DEL\\165h\\SO\\199e\\197\\STXO\\n\\182\\ns\\247\\RS\\178\\v\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\193\\EM\\171BDt+{\\US\\213\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\DC2\\200\\r\\215KcU\\207^\\154\\191z\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\151\\169\\215`:\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252Os>\\178\\DC2\\RS\\a)c,\\227\\162\\227+Y\\SYNC! G\\163\\178\\135\\&7D\\DC1\\DEL\\167uI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236&\\175\\239\\132\\ETX\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less 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":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\fr\\249l\\253.\\168!\\216t\\223\\152\\DC3\\220*\\EOT\\148\\&1\\SUB\\ENQ\\SOhG\\205\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"5N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216:\\186\\164F9R\\166\\r{\\150\\f\\222\\SOH\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&WR\\246H\\153*-t\\187n?\\207o&\\229\\143\\164\\233\\205\\189\\129\\254\\132U)t\\DLE\\NUL%E\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\198\\190\\175\\&7\\205\\247L\"","tag":"AbiBytesDynamic"},{"contents":"\"'A\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\221T\\150\\&71\\138\\195\\203;5\\208\\GSqU-}z\\228\\153\\128\\255\\131p\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\ETX\\152O\\138|\\178p\\140l\\253\\166\\215R\\139w\\ENQ\\141\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\197\\&3\\193{7\\129V\\158\\167\\241\\EM\\181\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\174_\\170`B\\129\\155^\\162\\240\\191\\248\\&7\\248\\ENQ\\241\\223\\\\\\195yUx\\166\\188\\128\\191D\\US\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167`l\\254\\&1b\\151\\155(\\159\\208\\176\\NUL\\163/\\193 \\171\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\156\\204&@\\203\\194[+7\\215G\\130\\DLEw\\221\\DC2%2\\DC3D?}\\223'\\SYN\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\GS\\143\\178\\DC32n\\\\g#p\\135\\141\\149\\166\\153\\156\\244\\253?F|\\139\\206w\\202\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\199\\159|\\220\\203\\150\\246\\152M=\\255QA\\174L)\\236\\\\\\177g\\243\\245\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"'x`\\231\\238\\160\\186\\\"\\140x\\STX\\141./\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129#\\129|a\\134\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241D\\DEL\\163:\\201dI\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\&0Ub|\\235\\&1\\133p\\151\\213n\\225\\226\\210\\132\\245\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223|\\182#pb\\SO\\246\\v\\186?q\\177]\\201]\\SOH:6]T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\187\\220\\161\\195\\203!?\\245z!\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\229LZY7\\181\\225c\\252{\\174\\254\\&6v\\139\\189\\&0\\175\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\250\\202\\255\\209\\150&75\\tex\\162\\160W\\157X,,\\SOaO\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\ah,\\169\\139EH\\SOHn)\\217\\143\\159\\211\\205B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\229\\191\\225\\215\\254J\\222\\189qp\\200\\169\\vbY\\240c<\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252O`\\n\\145\\233_-\\GS\\201x \\SI%\\214X\\157\\209\\141E\\146\\230\\236X#\\205\\252\\246\\128\\150\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235e\\f\\198bE\\181\\171\\215IXG\\r*\\146\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"3U\\ETX@\\209\\a\\EOTZ&\\217_#\\131\\193}\\137\\203q;\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\245\\157\\152\\206DA}\\168\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\CANo\\193e\\ETB\\233\\157!F\\a\\232\\138\\227\\225\\138\\STXRyr\\245V\\162\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\182\\178V~\\204\\247\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\198\\136\\216\\&1\\158\\201\\244\\153J\\130\\201\\SYN\\v\\197w\\155rMr\\DEL\\131\\250\\190}\\203\\DC4\\222\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\174\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\248B\\166\\SUB\\185\\&63\\253\\ENQ+\\167\\&8)#\\156\\187h\\t\\196\\241\\190\\EOT\\204v\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\218\\&54C\\147\\&2\\250\\199\\DC3\\233\\fy\\180\\178X\\SI%*\\254\\224\\175y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\180\\249\\226\\222u\\SYN\\240\\228p\\179\\NAK\\153\\183\\228;\\221\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\243\\186\\187O\\152=\\186\\190\\244\\174\\160\\187\\213.\\DC49\\144 \\SOH\\236\\216\\217yE\\r\\SO\\SYN\\132\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\173w{\\128\\244\\234\\&4Y\\214Y\\168$\\139D\\144)\\DC3O\\US\\n/\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ESC)f\\183\\DC1]\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\ETBp\\FS^\\160\\SOH\\209\\SO\\241\\209\\190\\165\\&4\\236p\\202X\\170.\\185<8\\218\\168j\\255\\157\\236g;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139,\\140\\247R\\168\\183\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\230OT\\152\\136E\\162=\\219\\164t\\DC1\\253laCs7\\ENQ\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"Nt\\189\\EM\\180o\\240\\193\\RSq\\222\\155\\215\\221\\238U\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\ACK\\DLE(I\\r\\148}\\148FU\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\238\\186\\133\\EM\\181\\191D\\EOT\\218\\247Z7azV\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESCi\\252-\\191\\145\\181\\187X\\221\\173\\136\\220\\NUL\\183,\\149\\251n\\SI\\US\\129\\US\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224[:\\SI\\228\\164\\131U\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"+\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\242\\158\\226\\222\\237\\DLE\\194\\223p.[\\169>\\DC3B\\222\\133+\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\157\\215\\&1G\\174P\\DC1\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"&]\\ETXQ\\252\\244\\&4J\\166T\\177S\\156\\146\\221\\SOH\\238\\178\\DC3;U\\148n\\198\\231`y2\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147V_\\180\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\184\\137Qz\\197\\208\\190@\\205&\\DC4\\DC1\\210\\227\\&2\\190\\154\\138\\252\\&4P<\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\212e\\161\\207\\f\\254|\\214,\\217\\n\\SI\\NUL\\185\\138\\&9\\185\\146\\a\\136t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\236\\SOH\\163/4\\164\\129Hss\\CANd\\180\\&4\\ENQ,N\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\168\\129\\198\\a\\136\\204\\249\\175\\202C\\182\\195\\242z\\143\\220A\\156\\DC2[\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\221\\182\\207\\CAN\\252\\234C&\\252h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\131\\177an\"","tag":"AbiBytesDynamic"},{"contents":"\"\\nni\\216G1K4:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169_\\243\\239\\&8t\\217\\196&*2rI\\240\\SUB\\171yn\\157\\232\\164\\DC1\\213\\&5\\208\\211\\226\\169\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249z\\150\\190v)\\149z\\141\\ACK\\227\\238t3\\129\\240\\214C\\162~)D\\187\\DC2\\227G\\DC4\\193\\214K\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\233eR\\232\\217`'\\139\\ENQ\\v\\177\\228?M\\234\\222}\\243\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"p@(\\225\\152J\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\191\\250\\130\\190\\178q\\162\\133L\\181;\\150\\164\\222\\135\\205\\149\\202\\221\\165q{\\204)(\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"?O^\\164\\171Zk\\248]\\136\\163\\&1\\GS\\233\\212\\201\\rX\\243<\\206\\174[\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180i\\142\\n$x&d\\163$\\bk\\129\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC*\\137\\222}I@\\247O\\136^\\196(G\\152M\\161\\158\\246\\162\\204\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"A>\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\203\\235\\215\\198#\\247\\\\\\244.\\222\\146\\178\\141O$B\\SOH\\156\\228\\SUB\\141\\&4\\247&\\STX\\136\\139H\\232\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\&5\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\192BCt\\\"\\169\\EOT\\133\\&3_\\232\\v3J\\DC4\\137~\\157\\151\\178\\227\\234f\\162\\252\\176\\157\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190>{\\237\\214\\251g\\210\\240g\\217\\DC4\\SOH`\\164\\193\\222\\157\\239L\\174#Y\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136M\\181\\180U+\\136\\149\\DC2\\217jb\\203\\243w\\231\\DC3\\129\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\131hP\\187l\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\198;g\\194E\\146\\143\\197\\&6\\132\\242\\171\\247\\207\\130\\RSU\\233\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\241\\234\\184\\208O\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\235::\\212\\205I?\\135\\SUB\\bT\\SOHC\\176`\\f\\194\\DC2\\NUL\\167\\166\\130\\151\\191Pd\\227A\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\157>Wu\\154qP\\143\\198\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184MP\\208\\141\\174\\SOi\\196\\ESC/\\162\\142\\151\\162\\163\\179\\140)\\175\\190\\239\\201a\\ETB\\a!\\155T\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\138\\216\\ETX\\204gu\\238\\255B9A\\140\\132\\\"\\168fF\\SUB~TK\\DC3\\170\\f,\\r\\228#\\149\\241\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\a\\200r\\183Lc\\DC3w8.e\\240\\ETX\\248\\255\\195n4O\\165\\194\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\188\\202\\&9\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167'NZK\\192\\172\\193\\215\\CANQ\\206\\200\\&9w\\141C\\167\\152;[/\\148\\209\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"|H\\160\\149\\&9Nh\\198\\211\\200\\&9\\135\\204\\DC28\\206)>\\184p\\NUL\\131\\221\\179\\195\\tv\"","tag":"AbiBytesDynamic"},{"contents":"\"X\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\233:\\SUB9\\185\\234\\170v\\140\\EOT\\223\\237\\184\\247k\\SO\\141Z\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMOf\\b\\220\\SI\\186\\t\\\"w\\215\\225P\\173a\\232\\175\\161\\242\\141i@\\SO\\133\\EOT\\DC2\\210\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\175\\138\\166\\192\\212\\184\\252O\\tY(\\138\\&4;iA\\224Q\\184\\178\\SOH~n\\153]?\\v\\195\\&1~\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"39\\189\\194\\DLE\\173\\195W\\135@\\150\\228\\SO\\DC1\\217\\DC2K\\137\\211{\\228\\173\\181\"","tag":"AbiBytesDynamic"},{"contents":"\" \\158Z\\233\\173.\\r\\130]*\\244\\ACK\\161K\\195DQp\\171\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\\\\\NUL6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\ry0@EP\\194\\245\\212\\144=\\137\\211\\152\\ACK\\245\\GS\\181\\&8\\137\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\";\\v%!\\228e\\133\\155\\206|\\184_\\179~\\SOH\\NAK\\205\\213z\\152\\ENQ%\\236\\ESC\\186\\ETBK\\222G\\148\\&4\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\EM5\\224$\\ENQ\\247\\SO\\224\\207\\139\\148z\\212\\230\\\\\\153R}\\r\\156\\192(\\191\\230\\&9\\138\\175\\NAK\\156\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\US\\133\\ENQz9w\\173 ,3E\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\248l\\149R\\216\\SYNRh5\\146\\224`]\\184(\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222c'\\255\\&1Rj\\SI\\a\\205\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"~\\198K\\US\\165\\245\\EOT\\169\\164\\&3\\248\\181\\136{\\186\\195x2\\214\\155x\\238Wf\\205\\CAN3d\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\":|\\250\\239\\197J\\181D\\150\\130\\162\\200\\253\\167\\132H\\159\\240\\138\\b\\188_i\\ETX\\162\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151h%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\SUB\\220\\177\\US[x\\204\\175:\\180q\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"NU\\193SVF\\175\\176\\245c\\139\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"8wfE%\\229\\DEL\\239N\\250\\SUB\\CAN{\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\252s\\238d\\DLEQ\\136S\\202\\236V\\ENQ,X\\221\\161\\NUL\\239\\&8\\b\\US\\233\\226L\\223aD*\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\172\\250\\164-\\\\B\\132\\206Xt\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\179\\235\\144\\n\\212\\145\\DC4\\138\\&4\\152Lh!+\\251@\\DC2\\EM\\142Wi\\230M\\179\\187\\DC3\\156\\192\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\155\\181\\163\\149\\147)`/\\200\\\"V\\229p\\203\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\186\\206\\168F\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1532054873"],"tag":"AbiUInt"},{"contents":[256,"7229855051639512552252809321311673613764988666582815692300874079699519169961"],"tag":"AbiUInt"},{"contents":[256,"14586201369270776221057323353160960374402785544640488452011038628402261813674"],"tag":"AbiUInt"},{"contents":[256,"66842242306756621678780510130473281849660997065548126071319812820752893813130"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"32918050845128995395487977456527440096449257940353316240189936319586275349386"],"tag":"AbiUInt"},{"contents":[256,"40738736283287132869966148631955767162815300170939008916764886555586352934159"],"tag":"AbiUInt"},{"contents":[256,"1532399474"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"6730387038339330667218174629746192063177325022287717367199348499187032623348"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"106044633259468263882837105731992879571023299100362603843755324187911958859176"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639038"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639936"],"tag":"AbiUInt"},{"contents":[256,"8272252642230118280608674808401499156830658213527360211410126702802103388147"],"tag":"AbiUInt"},{"contents":[256,"1526042222"],"tag":"AbiUInt"},{"contents":[256,"84402154341025176924316196693818592915274633116908732004245611499708484008185"],"tag":"AbiUInt"},{"contents":[256,"19997339230029740779825443102667002546132199948379342012791555509206853413068"],"tag":"AbiUInt"},{"contents":[256,"71330442120521288442861030262349365692870546776089314555694408873092456411469"],"tag":"AbiUInt"},{"contents":[256,"8637440390100937078082989730796067413169177906476319769630728907426692513288"],"tag":"AbiUInt"},{"contents":[256,"1527395942"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950337"],"tag":"AbiUInt"},{"contents":[256,"8675339083098943903437323064403078832841507109342140437439484401678327987734"],"tag":"AbiUInt"},{"contents":[256,"89434700808617575483660776378950046297624804402581137149905215545609399271784"],"tag":"AbiUInt"},{"contents":[256,"1535867626"],"tag":"AbiUInt"},{"contents":[256,"79753865484728586728867604196062336009820669784766758184220402298839567308503"],"tag":"AbiUInt"},{"contents":[256,"1529141984"],"tag":"AbiUInt"},{"contents":[256,"1934064362450927643649275863048398426826892473169460407860048328167585256121"],"tag":"AbiUInt"},{"contents":[256,"15"],"tag":"AbiUInt"},{"contents":[256,"115"],"tag":"AbiUInt"},{"contents":[256,"13515335048748626531002226910188119051549659858690096412580237407333761240153"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"103814886025486301841578348045808055115252415287825829526993404981395062763552"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"111"],"tag":"AbiUInt"},{"contents":[256,"9424863968050880"],"tag":"AbiUInt"},{"contents":[256,"43576941713121863667219617874388483291816599228075924041499554731043666341629"],"tag":"AbiUInt"},{"contents":[256,"241"],"tag":"AbiUInt"},{"contents":[256,"304"],"tag":"AbiUInt"},{"contents":[256,"35254818894992735791224133796263643888318801255580863287588786905472274062699"],"tag":"AbiUInt"},{"contents":[256,"66695004814351323010774027291149832595494774139330154890014766797429295603954"],"tag":"AbiUInt"},{"contents":[256,"66454478217327167543573186819334078882709751798920004383865905175289885910278"],"tag":"AbiUInt"},{"contents":[256,"26839013313497271533881031599378055455130767733463423971444382301574869412012"],"tag":"AbiUInt"},{"contents":[256,"47835379083927430303583432641535472583468917505470788453169726868489300503258"],"tag":"AbiUInt"},{"contents":[256,"55712272341021481374311808220593682976249330905878114003987129771647517281994"],"tag":"AbiUInt"},{"contents":[256,"59699174370126159614858195032700557333793189648645397897652777524366012750839"],"tag":"AbiUInt"},{"contents":[256,"789"],"tag":"AbiUInt"},{"contents":[256,"1533513937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035134"],"tag":"AbiUInt"},{"contents":[256,"30958058295698894146564120951193627692229413685159324363722531571449995319583"],"tag":"AbiUInt"},{"contents":[256,"68468869164023145715244972227849043952371284640309503994031557013257173521350"],"tag":"AbiUInt"},{"contents":[256,"5049344514663521904860097"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000004"],"tag":"AbiUInt"},{"contents":[256,"34616808857619919326534429805349778975078053301121110751488818018924785788584"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639934"],"tag":"AbiUInt"},{"contents":[256,"27871505197571871529969978527239895787693745661880769738175115622108629488628"],"tag":"AbiUInt"},{"contents":[256,"72868573403879197792927088308111733834957854838318759244186927334602402408246"],"tag":"AbiUInt"},{"contents":[256,"1530807741"],"tag":"AbiUInt"},{"contents":[256,"1530807741"],"tag":"AbiUInt"},{"contents":[256,"1530807741"],"tag":"AbiUInt"},{"contents":[256,"1530807741"],"tag":"AbiUInt"},{"contents":[256,"1530807741"],"tag":"AbiUInt"},{"contents":[256,"1530807741"],"tag":"AbiUInt"},{"contents":[256,"1530807741"],"tag":"AbiUInt"},{"contents":[256,"1530807741"],"tag":"AbiUInt"},{"contents":[256,"1530807741"],"tag":"AbiUInt"},{"contents":[256,"74"],"tag":"AbiUInt"},{"contents":[256,"1530904193"],"tag":"AbiUInt"},{"contents":[256,"1529901592"],"tag":"AbiUInt"},{"contents":[256,"22"],"tag":"AbiUInt"},{"contents":[256,"51888806452168145316003474655984009724339954983268814654887610159318902841914"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"},{"contents":[256,"483"],"tag":"AbiUInt"},{"contents":[256,"373"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639928"],"tag":"AbiUInt"},{"contents":[256,"328900769673962084654997815437961347299636231024283439816890018349533308"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639937"],"tag":"AbiUInt"},{"contents":[256,"110972161691842901856280652350356546415431251217442874829482340228441900703338"],"tag":"AbiUInt"},{"contents":[256,"1533223109"],"tag":"AbiUInt"},{"contents":[256,"78281577158890212271025924176296383924381373693692488026204057186328317153162"],"tag":"AbiUInt"},{"contents":[256,"64943237691928084788086522872571692947720623306241100290237302199498916664081"],"tag":"AbiUInt"},{"contents":[256,"208"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609601"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1535092397"],"tag":"AbiUInt"},{"contents":[256,"62589629936808236809816200902404016265660986052019131271455952612584004764846"],"tag":"AbiUInt"},{"contents":[256,"7525136074511632598"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"72391760823327600729663592575361820667574215545299836784176665377329188146502"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51b","0x000000000000000000000000000000000000000000000000000000000000ec3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"101719298199859811404105447073439134887340753821754949142113985976503541018684"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054663","0x000000000000000000000000000000000000000000000000000000000000133d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e3","0x0000000000000000000000000000000000000000000000000000000000000075"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"95277874034782763316460138174780921547231530453075544805498095383511471923156"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bd20","0x0000000000000000000000000000000000000000000000000000000000001387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266892"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000066","0x0000000000000000000000000000000000000000000000000000000000001357"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf3","0x000000000000000000000000000000000000000000000000000000000000bb26"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x00000000000000000000000000000000000000000000000248c1196b065ed6b1"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"1532518568"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000053eee","0x0000000000000000000000000000000000000000000000000000000000003f7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ca45","0x0000000000000000000000000000000000000000000000000000000000003032"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"3202965727452560331884116425069061528223403"],"tag":"AbiUInt"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34f","0x0000000000000000000000000000000000000000000000000000000000009891"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039baf","0x00000000000000000000000000000000000000000000000000000000000003ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a17a","0x0000000000000000000000000000000000000000000000000000000000008b5c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"76701159180267823609170119024696503651591092212993221710547573016912893996437"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781053"],"tag":"AbiUInt"},{"contents":[256,"102331655916214087981059894166822732663877071133374878175275266159442291974939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006da9d","0x00000000000000000000000000000000000000000000000000000000000070c6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"110584484676637294459136350311312739578378462824656677821590861997578230170942"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639632"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f99","0x000000000000000000000000000000000000000000000000000000000000a4c8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e181","0x0000000000000000000000000000000000000000000000000000000000000b6d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"39011224321923247027919971925273135446296938029360322509663999070998708497781"],"tag":"AbiUInt"},{"contents":[256,"27762322734224969282009718206704777803152852510335017573002956477415347317675"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000049c12","0x00000000000000000000000000000000000000000000000000000000000012b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046f91","0x000000000000000000000000000000000000000000000000000000000000ea95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"86201274862047979937412885400511363206877877768155163603153899225701885599222"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000043","0x000000000000000000000000000000000000000000000000000000000000c03b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"40821533527114386266068496501812636660"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e52e","0x000000000000000000000000000000000000000000000000000000000000cfcf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"104506420734669662665741399314155170789869962575182105298410669123317230660642"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000091d5","0x0000000000000000000000000000000000000000000000000000000000000051"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"1532803924"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039da8","0x000000000000000000000000000000000000000000000000000000000000b5e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001679f","0x0000000000000000000000000000000000000000000000000000000000005caa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"92046223370583386802609011216403958189310140793530210216248259653577128898339"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000015","0x00000000000000000000000000000000000000000000000000000000000002a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"51805992607714129467361646674986419211109713365223415287507442170167871815756"],"tag":"AbiUInt"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bc88","0x0000000000000000000000000000000000000000000000000000000000002ef8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"1528450674"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003eb","0x0000000000000000000000000000000000000000000000000000000000005866"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"88421216505238365461484015452860656170589488276829830289497641367069226605085"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731853"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0ec","0x0000000000000000000000000000000000000000000000000000000000002b20"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"179"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b03d","0x000000000000000000000000000000000000000000000000000000000000058e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"36219990091000825401249912994940853904875928723698774148728437528163266484149"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000020838","0x0000000000000000000000000000000000000000000000000000000000008634"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":[8,"136"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bf","0x0000000000000000000000000000000000000000000000000000000000007859"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":[256,"76395263288841935718182846601523989272988405342268046463513246963300031647140"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x000000000000000000000000000000000000000000000000000000000000c03b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c4","0x000000000000000000000000000000000000000000000000000000000000e390"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd39","0x000000000000000000000000000000000000000000000000000000000000653e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065520","0x0000000000000000000000000000000000000000000000000000000000001370"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"130"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c5","0x00000000000000000000000000000000000000000000000000000000000027bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"89870940015940494648399946101671462956601975318141976118745715105198131895943"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000900eb","0x000000000000000000000000000000000000000000000000000000000000b5f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"44557569583490995400713191764763663254286763450808890757465026994320171352092"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000461b8","0x0000000000000000000000000000000000000000000000000000000000000e0f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"9542545402505039845959916115414646280104908655226810015242605107870285755061"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000342f7","0x0000000000000000000000000000000000000000000000000000000000009889"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"64204734008559843524310694552189787097344481537756594966219236752834777973645"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce52","0x000000000000000000000000000000000000000000000000000000000000c311"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731856"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088243","0x00000000000000000000000000000000000000000000000000000000000095bc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"1525707365"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe4","0x000000000000000000000000000000000000000000000000000000000000232c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"8010084967242521555184535101225158303683863291558325683857259712902111126198"],"tag":"AbiUInt"},{"contents":[256,"73244066367719111150982474628713676650942748236620158148967782165090662337810"],"tag":"AbiUInt"},{"contents":[256,"56432484173940013657650058623914294037057136597792687432680965699790742174960"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"8999"],"tag":"AbiUInt"},{"contents":[256,"258"],"tag":"AbiUInt"},{"contents":[256,"3588389186295105703280397449161888591231839277999569460368787579236053738671"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000472e9","0x000000000000000000000000000000000000000000000000000000000000135f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"103730910969298722360362350666157880553849207700502631619013845819610993437672"],"tag":"AbiUInt"},{"contents":[256,"1533332734"],"tag":"AbiUInt"},{"contents":[256,"896"],"tag":"AbiUInt"},{"contents":[256,"4332854440013082363798757884470577183102552676400497740583146526566577743641"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000a80b","0x000000000000000000000000000000000000000000000000000000000000e405"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"31611602442406514183126269449161092183347173749218529553708185183610863188429"],"tag":"AbiUInt"},{"contents":[256,"77983455894313649459097390065359010"],"tag":"AbiUInt"},{"contents":[256,"64058038747602969667962823637011893629846599486811375511256565752720253124085"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3d","0x000000000000000000000000000000000000000000000000000000000000000e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"88106686504427776074848138557754669124714898496070540299730168891348651019260"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb3","0x00000000000000000000000000000000000000000000000000000000000045c9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731854"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068dee","0x00000000000000000000000000000000000000000000000000000000000062be"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000290","0x000000000000000000000000000000000000000000000000000000000000d38b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"1527789399"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000078125","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000360c1","0x000000000000000000000000000000000000000000000000000000000000c2c3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"76795069918299628750318751132300828802286552600727678211105032566973890772092"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074bab","0x000000000000000000000000000000000000000000000000000000000000ddda"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002621e","0x000000000000000000000000000000000000000000000000000000000000005d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"18841349155685494169737878473104993431215610292988779013945295774631017065947"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4a","0x0000000000000000000000000000000000000000000000000000000000001bd4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"1527770345"],"tag":"AbiUInt"},{"contents":[256,"1531321925"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000068","0x000000000000000000000000000000000000000000000000000000000000ec35"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000668ee","0x000000000000000000000000000000000000000000000000000000000000ab23"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e9","0x0000000000000000000000000000000000000000000000000000000000008de8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"2330028016276725409463609188571308329743"],"tag":"AbiUInt"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002328","0x0000000000000000000000000000000000000000000000000000000000001e52"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b260","0x0000000000000000000000000000000000000000000000000000000000001316"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"185"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b13c","0x00000000000000000000000000000000000000000000000000000000000002ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfd","0x000000000000000000000000000000000000000000000000000000000000c107"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"92036401531081211487896721398036283301134473859369639297110686668270469230850"],"tag":"AbiUInt"},{"contents":[256,"92988757669039421863041634615199849264348635323105287874872228133392274298599"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1a","0x000000000000000000000000000000000000000000000000000000000000b0b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"12785864282516225563008090599703925519385994444066780460405639124936872334298"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015180","0x0000000000000000000000000000000000000000000000000000000000009c2b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c439","0x0000000000000000000000000000000000000000000000000000000000007913"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"595"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000291","0x0000000000000000000000000000000000000000000000000000000000002ff2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638938"],"tag":"AbiUInt"},{"contents":[256,"30126523278369799171358549275047854695973280231146072000305908512377719316581"],"tag":"AbiUInt"},{"contents":[256,"38718339024916551896738080419064086272318119122823324731127830945837620951087"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000002bd","0x000000000000000000000000000000000000000000000000000000000000384b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088428","0x0000000000000000000000000000000000000000000000000000000000000bd0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9d","0x0000000000000000000000000000000000000000000000000000000000008194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]