[{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"57900302832833382228270889681042678884475388448453501038944095582193977425032"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb08","0x0000000000000000000000000000000000000000000000000000000000000033"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"3603"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000100","0x0000000000000000000000000000000000000000000000000000000000004f13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x0000000000000000000000000000000000000000000000000000000000005caa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea17","0x000000000000000000000000000000000000000000000000000000000000ec39"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008fb35","0x00000000000000000000000000000000000000000000000000000000000007d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"57678606699216084718342413354005456663102638731218606627127975507912485524697"],"tag":"AbiUInt"},{"contents":[256,"92648806250155914797020768696648459722292712680152317994442982465764598002036"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517e","0x000000000000000000000000000000000000000000000000000000000000136b"],"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,"5002"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"},{"contents":[256,"81902752203235134906147522370813759176964613789982608180227384914369655341712"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc11","0x00000000000000000000000000000000000000000000000000000000000001f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"96172866787932399941931127760237434559180305683507442979553002545750909252785"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015181","0x000000000000000000000000000000000000000000000000000000000000139c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81b","0x0000000000000000000000000000000000000000000000000000000000000062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427c","0x0000000000000000000000000000000000000000000000000000000000004ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":[256,"64"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb29","0x00000000000000000000000000000000000000000000000000000000000003e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"313"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d52","0x0000000000000000000000000000000000000000000000000000000000003c09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"63"],"tag":"AbiUInt"},{"contents":[256,"7594678105432795835156957533439878556646043705409659280454644498637539104394"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001387","0x000000000000000000000000000000000000000000000000000000000000004b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"101515375525952441117768351166716216619404885852001481270621803144160882416269"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5b","0x0000000000000000000000000000000000000000000000000000000000006a27"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"180"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000023aea","0x0000000000000000000000000000000000000000000000000000000000000041"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"70909323271466100180991936194668161581424951451923348806876546064983892005086"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003d485","0x00000000000000000000000000000000000000000000000000000000000045a6"],"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":"0x00000000000000000000000000000000FFFFfFFF","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,"115792089237316195423570985008687907853269984665640564039457584007913129035139"],"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,"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,"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,"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,"504"],"tag":"AbiUInt"},{"contents":[256,"42748618025389222935488965380650821651745223925467461864145054468105344292065"],"tag":"AbiUInt"},{"contents":[256,"42748618025389222935488965380650821651745223925467461864145054468105344292065"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x000000000000000000000000000000000000000000000000000000000000cf3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"8642620109471086113590099807107303980771386648630853011233030010494633311464"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead2","0x00000000000000000000000000000000000000000000000000000000000013bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x0000000000000000000000000000000000000000000000000000000000000024"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":[256,"17438328642335112507815795504100666918724767676409543250725371258576728"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c4","0x0000000000000000000000000000000000000000000000000000000000007117"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"96426463141855310014134807729439693817104542331132512865400761449373417384775"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4b","0x000000000000000000000000000000000000000000000000000000000000e59f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"GOVERNOR_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f9a","0x000000000000000000000000000000000000000000000000000000000000129f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001ad","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f17","0x000000000000000000000000000000000000000000000000000000000000008b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":[256,"77607328528020669021402446674738215225138361280918383730006277489716934117413"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000038","0x0000000000000000000000000000000000000000000000000000000000000bcf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000005","0x000000000000000000000000000000000000000000000000000000000000007f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639863"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f2","0x000000000000000000000000000000000000000000000000000000000000ea4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb11","0x00000000000000000000000000000000000000000000000000000000000035d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000049","0x000000000000000000000000000000000000000000000000000000000000d660"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"119"],"tag":"AbiUInt"},{"contents":[256,"302"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004daf5","0x00000000000000000000000000000000000000000000000000000000000000e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"39686428386711727353777259344643291345023660143742425105756394816228446804148"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb02","0x0000000000000000000000000000000000000000000000000000000000000591"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138a","0x0000000000000000000000000000000000000000000000000000000000006a00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"52772799838977224243617555300532834595474583684977132564399958948526455219660"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010978","0x000000000000000000000000000000000000000000000000000000000000135f"],"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,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"},{"contents":[256,"78414289148959797599437616355480815465408917195482707802165225283551835962757"],"tag":"AbiUInt"},{"contents":[256,"21"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"75743551128200662740888493741962525809275401508212330313114433307655236834563"],"tag":"AbiUInt"},{"contents":[256,"31658860135100731669674469710545499490767380496763114471547970979350277161632"],"tag":"AbiUInt"},{"contents":[256,"1534271759"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000382","0x000000000000000000000000000000000000000000000000000000000000dcc2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"65955995425089395455362986232551053055868810420061710107482471917859252271235"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7e","0x00000000000000000000000000000000000000000000000000000000000007cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"52"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf9","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"79159807871014442931666084034188640728407447250663529977779121878351822505600"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e6","0x000000000000000000000000000000000000000000000000000000000000d9d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"165"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ff","0x0000000000000000000000000000000000000000000000000000000000003706"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":[256,"112574948612903453035605389781626845710776500077009095572524748866761349005895"],"tag":"AbiUInt"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":[256,"24595475012171566591068742314207254355091509624703197580609984509328704050618"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042cfa","0x0000000000000000000000000000000000000000000000000000000000005037"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417341"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071dd6","0x000000000000000000000000000000000000000000000000000000000000ec37"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609598"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000012","0x0000000000000000000000000000000000000000000000000000000000000fbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"50"],"tag":"AbiUInt"},{"contents":[8,"143"],"tag":"AbiUInt"},{"contents":[8,"143"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb03","0x0000000000000000000000000000000000000000000000000000000000000bd1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x432EC9EACCbaf30BE4058F63E729de60E7c54B42","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x31f02bC1084cb942E4245A15182A6E5bcC606e61","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Z\\196\\222}\\214\\165\\188K\\149\\192\\158lg+\\185\\215e\\139+]ynFN#\\179\\198Y\\218\\188\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195!\\153\\177q\\171\\160D\\162@2\\v\\222\\r\\GS\\STX\\238'\\151(\\250\\n\\183T\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243o+q\\215\\&9\\201 ]\\207\\185\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\131[n\\189T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\192O'\\254U\\ag\\an\\159 \\166\\251qZ\\244\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\172\\192\\196g_\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\nw\\193\\219\\189?\\231)H\\220\\229\\202\\169\\176\\204vr\\151\\182\\225\\157X\\184\\132Y\\202V\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\216\\142\\182\\135\\176[\\182/\\200\\214\\180\\142e\\158\\196\\199\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\227\\DC3HK\\204\\255ck\\232u^O\\186\\237\\202y\\165\\NAK\\EOT\\191\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\188\\\"\\183\\146\\154\\137\\232B\\249\\153\\SUB\\212\\ETB\\US\\182;$\\a\\NAK\\235\\140\\&2L\\157\\226?\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\172\\165\\ETB{\\238R-\\192\\217\\220\\137\\v\\139\\210\\252\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\237\\252\\179\\175\\148ev\\250\\229\\249\\246\\&67\\245\\187\\187M\"","tag":"AbiBytesDynamic"},{"contents":"\">\\222\\&1\\137Y_\\211\\229\\239\\233\\168\\210\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\SI\\240\\ETX\\145\\137\\209<M\\182\\NAK\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\EM\\US|b4L9\\220\\165\\&1\\t\\175\\209\\176\\219\\232\\247\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174L\\185\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSkx\\156\\231\\205\\179\\ETB\\135\\207jq.\\189z1\\SI\\231\\218\\NAK\\185F\\195fC\\255\\212e\\222\\SOH&\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\235\\ENQ\\192\\233N\\180\\145\\SIi>\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"4\\187\\a-vn\\134j\\DC1f\\219!B\\209\\253\\\\\\161\\165\\t\\242\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\182\\234wK\\165?\\v\\224\\&8-\\EM\\ACK5*g\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\235\\165\\204\\217\\190\\181\\168N\\252\\138\\175\\RS\\139!]<\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\136\\231\\177\\248\\186\\152\\170\\199\\STX\\172\\235\\199D\\164\\140\\210\\181xE=!N\\129\\181\\157!\\RS\\192\\&3}f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222V\\163nD\\224\\159]!\\170\\SUB\\SUB\\163\\189p\\226\\244\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\STX\\197\\182\\209\\235\\163\\133b\\132\\155\\229\\194\\245\\SUB\\ESC:\\149\\179Fe\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\221M\\162\\249\\249\\234Bjcl\\238\\233\\172\\148\\147\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\140\\140\\169P\\183\\225\\179T\\184d\\135I\\163!\\128\\180q\\197\\185\\170^\\215\\152(M\\175$8\\189\\182\"","tag":"AbiBytesDynamic"},{"contents":"\")\\DLE\\216Bub7W_?\\208\\245\\243V\\201\\169\\228lh\\SIh\\161\\204\\175\\\"\\234\\SO^\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNt\\255\\213L\\247|\\DEL\\219$1\\EM6\\DC3\\197L\\146\\SYN\\226\\RSp\\204'\\189\\r\\165\\200\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\GS[\\246\\194'\\153\\181n\\182\\\"\\183\\218\\214\\&4q\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\198\\DLE\\b\\EOT\\204R\\a\\159\\&1\\214g\\f\\216\\208\\241v\\249Z\\180\\tN\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"3\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158lUy\\221\\199.g\\199Y\\DC4M\\136[[\\131\\137\\t^\\135\\198\\147\\ETB\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\252\\197ZtDi\\133\\211O\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\143R\\196\\227=6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205)\\156\\146\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"GL1\\198)K\\149\\133\\197\\247\\235\\US\\162>\\151\\181\\173\\166\\158\\219]7\\227\\SYN<W/\\230\\DLE\\212\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"?\\238\\214C{8\\202\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\203M9\\\"\\139\\RSQ\\171\\211\\228N7-\\ACKt\\177\\144\\197\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237*\\211\\&5\\246xX\\143\\194\\208D.\\ENQ\\147h0\\159T,]Q`\\165(\\228\\&6~H*\\128\"","tag":"AbiBytesDynamic"},{"contents":"\";\\177\\178\\175\\&7\\190\\&6\\n\\v&\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\222\\164Q\\159\\SI\\SOHGU\\232\\210:\\179$\\fAm\\134g\\140\\\\m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\SUB\\166\\b\\129\\b&Etx\\220\\225B\\241\\241t\\145\\244\\232\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\146\\\"\\148G\\252\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\t\\151n\\SOzn\\163:>\\213zL\\188@\\229\\&16\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206$<A\\179\\180\\203z\\DC3V\\172'\\141Z\\159\\176\\141\\186\\174\\166\\209.\\167\\\\c\\\"\\239\\DC3\\233<,\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\189\\163h\\240\\f\\202b\\175\\162\\232\\222\\230\\SO\\254\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\249*\\167_\\ETXV= o\\141\\r\\216\\173\\236\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\\"\\212\\145\\237\\166\\236\\STX\\153\\\\\\142\\232,\\200\\SYN\\247\\SO\\ETBM\\209\\137\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\148\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\GS\\238\\221.)\\231\\246\\v\\226#\\178\\223\\139>\\231\\EOT:\\227\\&0n\\226\\178\\US.\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\145\\183\\196/,\\ETB\\253=\\DC3[\\154\\147\\146\\STX\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"mg\\131\\156\\243\\te\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143t\\226\\148\\171\\ENQk-\\204\\220\\162\\NULy\\181\\218\\210*\\147o\\191\\231B\\210L\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"st\\170\\132k(\\168\\DLEe\\ETX\\153)G0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\192\\NAK\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183I-Kp\\176:m\\237\\247\\\\\\RS\\244\\227\\151\\232\\153u\\255\\&3\\181&\\137$\\ETB\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\132\\153I\\239\\DEL\\179\\ENQZ\\EMe\\225_9\\199\\223'\\ETX\\252\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\DC2l\\148\\179\\135i<A\\DC2\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174 5\\134\\163\\140\\172 <\\NAKT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\n\\142\\&0\\148\\154\\152\\182\\230uw\\134\\236]\\215\\156\\234X6\\255E\\\\\\246?\\217xo\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\233\\&3\\132o~\\255\\156\\240\\248\\164\\141\\181&<\\DEL\\DC4\\252\\131J\\SYNH\\199\\193\\SUB\\144\\195F\\133\\&8\\139\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\243\\171u9xp\\248\\GS3\\FSE\\DC3@\\140A\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\200\\146\\192P\\ETB\\166\\b\\230\\208\\&9~\\r!\\191\\190J\\143\\234\\a\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238`\\251s2\\235\\162\\175o\\255#_\\NAK\\215P\\202\\225\\193Kr\\202\\248\\184\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252?L%\\192\\173\\&5f\\193w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\181c@\\231\\US/\\129f\\132O\\216m\\181p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153>L\\240n\\179\\186\\246\\SYN\\215\\NAK\\160Be\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\252\\187\\189/\\221y3\\ETX\\132\\128\\251\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\238\\DEL\\247\\&7\\205\\135v\\246\\DC4\\218\\214vUi\\234\\159\\191\\252\\253\\152\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\SI\\197\\163\\193\\251\\239\\151\\240]\\a\\227\\&5\\ACK\\a\\229Dq\\154+65\\ETX-}\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"|+\\201\\US\\DC4P\\SOH\\224\\190\\&0z\\153\\211\\167\\159\\158\\EM\\194\\DC1u%`M\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\152\\230\\173\\185\\152\\133\\190\\149\\&4r\\SIr\\171q(\\183\\245\\168o\\155\\aA[\\nl\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\RS.\\201pT\\147\\187\\243\\a\\n\\221\\142\\167\\242iyX\\249\\217\\187{\\184\\253\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\253\\183c6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\231\\226\\219\\245\\187\\252g\\146\\t\\193\\226\\168\\201\\\\\\181\\134\\231\\200\\228\\155\\177\\136:\\211\\n\\DEL\\133\\244\\ENQf\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\175\\STX\\SUB\\225\\128\\v\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130P\\149\\140\\206q*\\163\\195\\201\\f\\ACK\\244\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184B'\\200\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Wu\\140Z\\178u\\229\\EM\\199\\157~1\\201\\253\\248\\DC2\\SYN\\144\\238#G\\176\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182L\\200\\131\\ETB\\STX\\220\\147\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147H\\203\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139}\\233_\\150D\\164n$\\243\\192H\\132M\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\213>\\ETX\\135\\DLEg\\135\\&7\\135\\&9\\a\\212>z-\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\238\\&3\\251f\\200\\165\\GS\\153w\\141\\146\\163\\254m\\195\\241\\231\\227\\149\\140\\SOHDs\\226h-T\\154X\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\164\\254\\163\\252\\164\\184\\131\\151q\\168\\DEL\\178\\205\\203\\DC4Q\\206V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\241\\242\\\\\\204\\205\\175\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\DEL7\\154&\\215m\\245\\DLE\\204\\166\\RS\\150\\142P\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\232{\\128\\SUB\\153\\141\\\\\\202\\145\\237j\\184\\132\\185</|r\\131@\\186\\182\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\vD]ofC\\DC2\\155G\\NAKw\\SOH\\STX7\"","tag":"AbiBytesDynamic"},{"contents":"\"/u\\234\\189\\n\\152\\253\\SOHQ\\228\\DC2\\199\\&5\\\\Q6\\159\\230x\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243g\\130\\249\\181\\244[L\\193.p\\171\\156\\179E[K\\207\\162\\137\\212u\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130%\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189j\\222p\\231\\179\\DEL\\156\\DEL\\241\\173\\171\\216\\DC1\\238>\\DC2\\169\\163a\"","tag":"AbiBytesDynamic"},{"contents":"\"2yTO\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"x9\\149\\178Cs\\210E\\NULTe\\vf\\173\\t#p\\v\\194\\172\\167\\192\\v\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\v\\173\\215\\156\\a^\\154\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\&5l\\183\\253\\203\\244\\210\\173\\NAKX\\159\\191\\178\\235t\\vB4\\171\\&9\\136w\\234\\150\\EM'c\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\227\\202\\155\\129Y\\169ZX\\210\\244^\\201@\\159\\&0j\\169\\132A{\\ETX\\156\\ACK\\193?.+\\206\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\202hu\\239\\\"\\131\\168\\138J\\136\\166:D\\192%{ZA\\213[\\v\\196\\t\\\"\\145\\FS<l\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\188\\171_\\171]\\201o7\\US\\147\\144(\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\DC1\\bu\\213+\\162\\221}\\194(]\\DLE\\DC4*\\241\\237\\\"`\\185\\186g\\EM3\\ETX*\\153\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\&3\\EM\\214h\\217%\\220@Vq\\233\\137\\\\\\186\\242\\162W\\149:#1\\138_\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\v\\247\\EM\\170\\255\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\STX\\206\\191\\215]\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\218{\\NUL\\137\\211\\180\\165g\\205Ow\\187Q\\219\\192\\FS\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\157 \\aG4\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\165\\212G\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\198\\&1\\\\\\128s$\\225\\&6\\198F\\171\\&3\\224\\225I\\206\\210\\176\\189\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"j`\\197\\159 (\\180\\b~ W7\\fa\\150\\162P]\\226\\164\\143p\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213+\\GS[l\\211<\\174\\t-0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190.\\149g\\137a\\188\\144Ct\\239\\189\\197\\156\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\248jz\\131m\\178\\EOT4)\\145\\186\\tT\\254\\215>\\213r\\250B\\153o\\171\\156\\226\\131\\254\\129\\246\\\"\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\rR\\172hq\\\"\\226\\236\\CAN\\EOT\\136:\\EM\\146\\SYN\\173\\254d\\146(\\DC1:FC\\\\\\216\\&8\\156q\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\&3K\\139\\235>\\164\\199$7\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&6Bif\\209\\153\\t\\208\\189\\140v\\247\\234\\252\\ESC\\223\\242\\217\\226\\213\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\178\\208\\162}\\SOH\\160\\163\\221Y>\\226]\\149B\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\168\\162\\222\\172\\223\\&5\\\\\\206h{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\149\\&6\\128\\154\\128\\223\\SO5v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\CANR5!\\143\\209\\130\\&3\\223\\186Q\\184\\EOTc\\152\\149\\223\\ESC\\176\\244\\160\\175|\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\195\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\155>\\195$()\\235\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\170\\129\\t\\194c\\USJ@\\RS\\241\\f\\DLE\\EMgF\\147|;\\136%\\182.\\250\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"%A\\176\\147s\\193~\\239'Z+\\CAN\\SI\\230\\t8\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140D\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&6Bif\\209\\153\\t\\208\\189\\140v\\247\\234\\252\\ESC\\223\\242\\217\\226\\213\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\178\\208\\162}\\SOH\\160\\163\\221Y>\\226]\\149B\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\168\\162\\222\\172\\223\\&5\\\\\\206h{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\149\\&6\\128\\154\\128\\223\\SO5v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\CANR5!\\143\\209\\130\\&3\\223\\186Q\\184\\EOTc\\152\\149\\223\\ESC\\176\\244\\160\\175|\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\195\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\155>\\195$()\\235\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\170\\129\\t\\194c\\USJ@\\RS\\241\\f\\DLE\\EMgF\\147|;\\136%\\182.\\250\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"%A\\176\\147s\\193~\\239'Z+\\CAN\\SI\\230\\t8\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140D\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&6Bif\\209\\153\\t\\208\\189\\140v\\247\\234\\252\\ESC\\223\\242\\217\\226\\213\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\178\\208\\162}\\SOH\\160\\163\\221Y>\\226]\\149B\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\168\\162\\222\\172\\223\\&5\\\\\\206h{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\149\\&6\\128\\154\\128\\223\\SO5v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\CANR5!\\143\\209\\130\\&3\\223\\186Q\\184\\EOTc\\152\\149\\223\\ESC\\176\\244\\160\\175|\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\195\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\155>\\195$()\\235\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\170\\129\\t\\194c\\USJ@\\RS\\241\\f\\DLE\\EMgF\\147|;\\136%\\182.\\250\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"%A\\176\\147s\\193~\\239'Z+\\CAN\\SI\\230\\t8\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140D\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&6Bif\\209\\153\\t\\208\\189\\140v\\247\\234\\252\\ESC\\223\\242\\217\\226\\213\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\178\\208\\162}\\SOH\\160\\163\\221Y>\\226]\\149B\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\168\\162\\222\\172\\223\\&5\\\\\\206h{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\149\\&6\\128\\154\\128\\223\\SO5v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\CANR5!\\143\\209\\130\\&3\\223\\186Q\\184\\EOTc\\152\\149\\223\\ESC\\176\\244\\160\\175|\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\195\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\155>\\195$()\\235\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\170\\129\\t\\194c\\USJ@\\RS\\241\\f\\DLE\\EMgF\\147|;\\136%\\182.\\250\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"%A\\176\\147s\\193~\\239'Z+\\CAN\\SI\\230\\t8\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140D\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&6Bif\\209\\153\\t\\208\\189\\140v\\247\\234\\252\\ESC\\223\\242\\217\\226\\213\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\178\\208\\162}\\SOH\\160\\163\\221Y>\\226]\\149B\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\168\\162\\222\\172\\223\\&5\\\\\\206h{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\149\\&6\\128\\154\\128\\223\\SO5v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\CANR5!\\143\\209\\130\\&3\\223\\186Q\\184\\EOTc\\152\\149\\223\\ESC\\176\\244\\160\\175|\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\195\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\155>\\195$()\\235\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\170\\129\\t\\194c\\USJ@\\RS\\241\\f\\DLE\\EMgF\\147|;\\136%\\182.\\250\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"%A\\176\\147s\\193~\\239'Z+\\CAN\\SI\\230\\t8\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140D\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&6Bif\\209\\153\\t\\208\\189\\140v\\247\\234\\252\\ESC\\223\\242\\217\\226\\213\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\178\\208\\162}\\SOH\\160\\163\\221Y>\\226]\\149B\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\168\\162\\222\\172\\223\\&5\\\\\\206h{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\149\\&6\\128\\154\\128\\223\\SO5v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\CANR5!\\143\\209\\130\\&3\\223\\186Q\\184\\EOTc\\152\\149\\223\\ESC\\176\\244\\160\\175|\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\195\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\155>\\195$()\\235\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\170\\129\\t\\194c\\USJ@\\RS\\241\\f\\DLE\\EMgF\\147|;\\136%\\182.\\250\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"%A\\176\\147s\\193~\\239'Z+\\CAN\\SI\\230\\t8\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140D\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&6Bif\\209\\153\\t\\208\\189\\140v\\247\\234\\252\\ESC\\223\\242\\217\\226\\213\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\178\\208\\162}\\SOH\\160\\163\\221Y>\\226]\\149B\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\168\\162\\222\\172\\223\\&5\\\\\\206h{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\149\\&6\\128\\154\\128\\223\\SO5v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\CANR5!\\143\\209\\130\\&3\\223\\186Q\\184\\EOTc\\152\\149\\223\\ESC\\176\\244\\160\\175|\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\195\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\155>\\195$()\\235\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\170\\129\\t\\194c\\USJ@\\RS\\241\\f\\DLE\\EMgF\\147|;\\136%\\182.\\250\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"%A\\176\\147s\\193~\\239'Z+\\CAN\\SI\\230\\t8\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140D\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&6Bif\\209\\153\\t\\208\\189\\140v\\247\\234\\252\\ESC\\223\\242\\217\\226\\213\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\178\\208\\162}\\SOH\\160\\163\\221Y>\\226]\\149B\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\168\\162\\222\\172\\223\\&5\\\\\\206h{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\149\\&6\\128\\154\\128\\223\\SO5v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\CANR5!\\143\\209\\130\\&3\\223\\186Q\\184\\EOTc\\152\\149\\223\\ESC\\176\\244\\160\\175|\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\195\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\155>\\195$()\\235\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\170\\129\\t\\194c\\USJ@\\RS\\241\\f\\DLE\\EMgF\\147|;\\136%\\182.\\250\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"%A\\176\\147s\\193~\\239'Z+\\CAN\\SI\\230\\t8\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140D\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&6Bif\\209\\153\\t\\208\\189\\140v\\247\\234\\252\\ESC\\223\\242\\217\\226\\213\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\178\\208\\162}\\SOH\\160\\163\\221Y>\\226]\\149B\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\168\\162\\222\\172\\223\\&5\\\\\\206h{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\149\\&6\\128\\154\\128\\223\\SO5v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\CANR5!\\143\\209\\130\\&3\\223\\186Q\\184\\EOTc\\152\\149\\223\\ESC\\176\\244\\160\\175|\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\195\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\155>\\195$()\\235\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\170\\129\\t\\194c\\USJ@\\RS\\241\\f\\DLE\\EMgF\\147|;\\136%\\182.\\250\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"%A\\176\\147s\\193~\\239'Z+\\CAN\\SI\\230\\t8\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140D\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&6Bif\\209\\153\\t\\208\\189\\140v\\247\\234\\252\\ESC\\223\\242\\217\\226\\213\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\178\\208\\162}\\SOH\\160\\163\\221Y>\\226]\\149B\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\168\\162\\222\\172\\223\\&5\\\\\\206h{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\149\\&6\\128\\154\\128\\223\\SO5v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\CANR5!\\143\\209\\130\\&3\\223\\186Q\\184\\EOTc\\152\\149\\223\\ESC\\176\\244\\160\\175|\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\195\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\155>\\195$()\\235\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\170\\129\\t\\194c\\USJ@\\RS\\241\\f\\DLE\\EMgF\\147|;\\136%\\182.\\250\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"%A\\176\\147s\\193~\\239'Z+\\CAN\\SI\\230\\t8\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140D\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&6Bif\\209\\153\\t\\208\\189\\140v\\247\\234\\252\\ESC\\223\\242\\217\\226\\213\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\178\\208\\162}\\SOH\\160\\163\\221Y>\\226]\\149B\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\168\\162\\222\\172\\223\\&5\\\\\\206h{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\149\\&6\\128\\154\\128\\223\\SO5v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\CANR5!\\143\\209\\130\\&3\\223\\186Q\\184\\EOTc\\152\\149\\223\\ESC\\176\\244\\160\\175|\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\195\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\155>\\195$()\\235\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\170\\129\\t\\194c\\USJ@\\RS\\241\\f\\DLE\\EMgF\\147|;\\136%\\182.\\250\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"%A\\176\\147s\\193~\\239'Z+\\CAN\\SI\\230\\t8\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140D\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&6Bif\\209\\153\\t\\208\\189\\140v\\247\\234\\252\\ESC\\223\\242\\217\\226\\213\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\178\\208\\162}\\SOH\\160\\163\\221Y>\\226]\\149B\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\168\\162\\222\\172\\223\\&5\\\\\\206h{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\149\\&6\\128\\154\\128\\223\\SO5v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\CANR5!\\143\\209\\130\\&3\\223\\186Q\\184\\EOTc\\152\\149\\223\\ESC\\176\\244\\160\\175|\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\195\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\155>\\195$()\\235\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\170\\129\\t\\194c\\USJ@\\RS\\241\\f\\DLE\\EMgF\\147|;\\136%\\182.\\250\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"%A\\176\\147s\\193~\\239'Z+\\CAN\\SI\\230\\t8\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140D\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\242\\238;\\197\\SUB\\198~\\183\\238\\175\\160\\ETX\\132\\DC1\\161\\&7\\SI\\137\\196c\\172\\160\\177\\155\\191\\186\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\183x\\190<=\\131\\DC3\\DC4\\145\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202Pa\\221*W\\204\\234\\&4C\\178\\146m\\248\\ETX.\\v[\\143\\234\\DC4\\204\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130D\\131.\\ACK{;\\152\\185squ\\193\\132\\229av\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239D1\\144\\ETX\\233!@\\165\\225\\&5f\\191\\STX\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"~n\\218\\215\\183Y\\160<A\\202\\171\\ACK\\205-+r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\US\\210\\DC3\\151f\\EOT\\192\\r\\130.\\228z\\169\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\EOTJ\\FSK\\204\\179<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\v\\248^\\199\\184;F\\ETXA\\131\\&5\\\"\\\"\\133\\ESC\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\232\\247\\223\\254\\174%U\\ESC\\172&\\143\\250\\217\\238\\191V\\250p\\GS\\EOT\\252\\ETX<Z\\133\\251\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"29117654794831703808312450547103957854304804864919695473045098774273045492270"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"106473019070224399361305437737810508318792826839452809909058605544921017816296"],"tag":"AbiUInt"},{"contents":[256,"28"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639936"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731855"],"tag":"AbiUInt"},{"contents":[256,"100"],"tag":"AbiUInt"},{"contents":[256,"29093302368487860471647487750610542001423009289043691743234601317070963664314"],"tag":"AbiUInt"},{"contents":[256,"72"],"tag":"AbiUInt"},{"contents":[256,"27760316439130460145297605848560634797641611749341239454213051403162881135742"],"tag":"AbiUInt"},{"contents":[256,"94481999940191813021772538202557699368577012711696473494442617453844599422260"],"tag":"AbiUInt"},{"contents":[256,"55428617292728417647517140041615181564460459881217161553521314207897361241872"],"tag":"AbiUInt"},{"contents":[256,"503"],"tag":"AbiUInt"},{"contents":[256,"89714175173709685952646944151235599482672626104931328588704359959543105868454"],"tag":"AbiUInt"},{"contents":[256,"43211155844015724712003629281984579836927752891253158731861309903264287263879"],"tag":"AbiUInt"},{"contents":[256,"15"],"tag":"AbiUInt"},{"contents":[256,"80571649757337481496189267395695775411049186939539633064917381584509059041021"],"tag":"AbiUInt"},{"contents":[256,"101976148676849309699231328395375805761831852148525647727405916905585805300280"],"tag":"AbiUInt"},{"contents":[256,"52524226612819855749707469207024541397709830004524420940221865225963084679650"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636336"],"tag":"AbiUInt"},{"contents":[256,"44195565329284187419916919789568414221595225606969634656150755263840622712389"],"tag":"AbiUInt"},{"contents":[256,"1527833269"],"tag":"AbiUInt"},{"contents":[256,"39473185089025360312480146035257754524431887523170880715421093670063197539281"],"tag":"AbiUInt"},{"contents":[256,"1313373039"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1531517978"],"tag":"AbiUInt"},{"contents":[256,"286"],"tag":"AbiUInt"},{"contents":[256,"9999"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"56762830481174700441117458387045446934816992418007000590641112164807247713576"],"tag":"AbiUInt"},{"contents":[256,"1531484567"],"tag":"AbiUInt"},{"contents":[256,"519781456454215517155056186100426463891122366882450090089236540111856642"],"tag":"AbiUInt"},{"contents":[256,"1313373039"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"25695161404218570614052034776982757615863873456627557714747349020848077960863"],"tag":"AbiUInt"},{"contents":[256,"25957180379249891462661660568755789254540246422536661216893965785718960247609"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634935"],"tag":"AbiUInt"},{"contents":[256,"2705292394108868126408035830026236856907158266117427391904989374324536802183"],"tag":"AbiUInt"},{"contents":[256,"166"],"tag":"AbiUInt"},{"contents":[256,"2462709298382843831437673637071461017938384444388812882750110651372868369049"],"tag":"AbiUInt"},{"contents":[256,"107127489645152160070183421674008201558539977745593314716333209618901670474359"],"tag":"AbiUInt"},{"contents":[256,"1529529972"],"tag":"AbiUInt"},{"contents":[256,"7506900001743324178902756885440634329372206979228401073700687010600931021715"],"tag":"AbiUInt"},{"contents":[256,"69982163996895844861258633050562895231674504750145571201471014990754848835020"],"tag":"AbiUInt"},{"contents":[256,"55462981261278625841724884019463510899276576143077539281218666622172203742827"],"tag":"AbiUInt"},{"contents":[256,"10476110135665329725076285883631581980903794371939407537197086639298391341448"],"tag":"AbiUInt"},{"contents":[256,"70141940629729308845904263407891526831858682781916087881623924408635548323559"],"tag":"AbiUInt"},{"contents":[256,"78500556062286066287862902083551295378128723667916111891571206186119634501325"],"tag":"AbiUInt"},{"contents":[256,"37902558300124266765427786464785039567406930677293767575332448898570535290574"],"tag":"AbiUInt"},{"contents":[256,"520"],"tag":"AbiUInt"},{"contents":[256,"1527132040"],"tag":"AbiUInt"},{"contents":[256,"219677393706995881164055187618"],"tag":"AbiUInt"},{"contents":[256,"2003"],"tag":"AbiUInt"},{"contents":[256,"29733489994497688773617445429561686162665957108516189096325881851653311448572"],"tag":"AbiUInt"},{"contents":[256,"39073381658482219062822015901346716912855441571406549332652467412587446876399"],"tag":"AbiUInt"},{"contents":[256,"1533023615"],"tag":"AbiUInt"},{"contents":[256,"1532047888"],"tag":"AbiUInt"},{"contents":[256,"14867844254186633023500580291643635727080431680656708337494002626776532180754"],"tag":"AbiUInt"},{"contents":[256,"114563389361397551692042847181524456518963764905018826694294993534132384006942"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088320"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639836"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"},{"contents":[256,"1530011589"],"tag":"AbiUInt"},{"contents":[256,"1313373043"],"tag":"AbiUInt"},{"contents":[256,"57385099441845598629007901656393014225533069681051613560354955551785897585804"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634937"],"tag":"AbiUInt"},{"contents":[256,"61530071283109193094253997677569490499687595490537907817728815987617079693618"],"tag":"AbiUInt"},{"contents":[256,"22684098216338469936538176227546762964785243551800131410029077909869800623488"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892768"],"tag":"AbiUInt"},{"contents":[256,"81131314223266320472850505724734754907716859821819522620149103667605142679909"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabf","0x0000000000000000000000000000000000000000000000000000000000006542"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080e3e","0x0000000000000000000000000000000000000000000000000000000000001358"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"6449341234494124197946904885841390425134638035174163954320510769563350409965"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029fe2","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"65568550176499019469320795719754768287211576890582550688130913654805948547159"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033830","0x000000000000000000000000000000000000000000000000000000000000e6ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000010","0x0000000000000000000000000000000000000000000000000000000000009206"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eadd","0x0000000000000000000000000000000000000000000000000000000000007e51"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"60252720284459100314200713076529090386104733094264503606601735720175685513031"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a9a4","0x0000000000000000000000000000000000000000000000000000000000002714"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"91956064039415283081434314448307909135825413847772394073739620207889238049160"],"tag":"AbiUInt"},{"contents":[256,"23345916124599303946810246549603675851242794144414184151862042986752656066475"],"tag":"AbiUInt"},{"contents":[256,"32523548464892356609856863539108605610963649899596495341949897035695780511255"],"tag":"AbiUInt"},{"contents":[256,"818837892561019198159468537258385568988150659110879753989186681396206"],"tag":"AbiUInt"},{"contents":[256,"328"],"tag":"AbiUInt"},{"contents":[256,"174144274010571796368005299882102613604"],"tag":"AbiUInt"},{"contents":[256,"4430973742512282213248242352239643225136331261730067469660045552246069834284"],"tag":"AbiUInt"},{"contents":[256,"61996464656092422826826744645036717171948813397976691218404002942634896228394"],"tag":"AbiUInt"},{"contents":[256,"10000"],"tag":"AbiUInt"},{"contents":[256,"63885533555646161371954004314901481609733100846564609353879236677491824730655"],"tag":"AbiUInt"},{"contents":[256,"1528194439"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639881"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"604802"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639887"],"tag":"AbiUInt"},{"contents":[256,"12"],"tag":"AbiUInt"},{"contents":[256,"49596979878540943460024676945156851458596098794245515656781440035578001869579"],"tag":"AbiUInt"},{"contents":[256,"60370961891139530169323098063998359426288196095181983561513320855977583990141"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639902"],"tag":"AbiUInt"},{"contents":[256,"64073545832745266568705838195937456017379229277048750732992376982400098221534"],"tag":"AbiUInt"},{"contents":[256,"91050632207279330855531534133260397363477721013514940727062106641649080886930"],"tag":"AbiUInt"},{"contents":[256,"566191494908290159619520555660505918623907125274134332602611558013224628915"],"tag":"AbiUInt"},{"contents":[256,"20172707557266611370565142662829143983329960444650778064231298958709026688076"],"tag":"AbiUInt"},{"contents":[256,"1530988755"],"tag":"AbiUInt"},{"contents":[256,"22000391659054642279184443165981637468668204232946148278804"],"tag":"AbiUInt"},{"contents":[256,"85344318138581212980748482830140061220796259937795451023383595286689336779970"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428157"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639879"],"tag":"AbiUInt"},{"contents":[256,"3730066592829343121968930261983870504486619390005484685818779940866799045335"],"tag":"AbiUInt"},{"contents":[256,"4998"],"tag":"AbiUInt"},{"contents":[256,"115115576716136915757463803117576563243895856133698228713447200992885929992055"],"tag":"AbiUInt"},{"contents":[256,"15804273150258435114267214238027841039114471462665982363278097545556290735901"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"81268057438417829085341002911767671147958407626033235638986854986027796308845"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628417"],"tag":"AbiUInt"},{"contents":[256,"985"],"tag":"AbiUInt"},{"contents":[256,"604801"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1529681497"],"tag":"AbiUInt"},{"contents":[256,"94975984616201498589842792474184444976992122651186672353066026330749532689542"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024b01","0x00000000000000000000000000000000000000000000000000000000000085e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000001b60dc9481e14a427"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"98381402669565300878680452671865732715171128825976151670124861220414162796500"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008b4b1","0x000000000000000000000000000000000000000000000000000000000000dcc3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000130","0x000000000000000000000000000000000000000000000000000000000000c82f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"10438923912587378934083040396246006769729662368226742804891505257599194459644"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e170","0x000000000000000000000000000000000000000000000000000000000000b51d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL3l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\219H8WQ\\181\\r^y\\137\\242[3\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\211\\162\\232Pc2L\\243\\236\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\241\\SOH_1+j\\226\\131-m\\167\\&4^\\148\\SOq\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\164*4\\151\\169\\ACKY\\234\\178\\SO\\138\\218\\143T\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224L\\170\\DLE\\233\\173\\250J\\156\\141\\252M\\161\\NAK\\DC4\\224O<+*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208^\\DC32\\ESC\\175\\255\\231\\&3\\162m\\190\\164G\\228;\\STX\\163\\177\\&2\\202\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\209\\144 /\\135K\\161x;\\216\\168\\ENQ\\248:M\\134\\203\\130\\227\\t\\196\\251\\218\\247@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239.m\\220Z\"","tag":"AbiBytesDynamic"},{"contents":"\"xr\\221D..\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181c\\206\\131\\191\\CAN\\195\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\196L\\146)\\DELkci\\232\\155\\ETXXw0\\vL\\169EEb\\202c\\248\\201>\\218\\171hu\\167\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226e\\243\\a+/\\159\\157\\184WH\\213\\184p\\ENQ\\170\\255\\192\\236D\\243\\161\\236\\198%\\204\\253\\215/\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\230l<\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\DLEG\\231\\&0\\210~\\DEL\\SI1\\236\\\"\\197\\208\\176\\DC3\\RS\\228o\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"-<;H\\217\\252`{\\212\\254\\254\\168\\188\\212Xy#\\RS\\230\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKX=k\\NUL\\217G\\186=\\182-\\253\\&2\\242\\151\\&0\\223\\248\\US\\128\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\FSb=a\\249%U1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\162\\233*\\177\\239n=e[\\SYN\\SUB\\241\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"a\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\152x\\154\\193ts!\\248\\219\\133P\\181\\&6\\167|\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"_V\\238V2;\\178io\\141{/\\217\\182c\\194\\170\\184V\\190{}\\248Xy\\138\\186\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r~\\213\\232\\239\\CAN\\244x\\221\\177.c\\SUB\\EM\\181\\253\\237\\242'O\\176\\214\\250XO\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"sFR\\191\\184\\164\\160\\\"\\ACK\\DC3v\\202^\\166Mo\\EM\\133\\b\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\217\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133Y\\195.Y\\196\\135v\\182xm\\191\\214h\\\"\\f}\\142Tx\\193\\133B\\165\\239\\202\\224S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219(\\132\\ETB8\\208\\194\\200\\251\\\"70\\ACK\\247pT9+qx\\161 \\129\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132h\\DC4\\NAK\\202\\192\\246\\199'RE]\\189X\\217Q\\204F\\140\\213M1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\199`\\196y\\234\\144D\\193\\241\\DEL\\SOH\\235\\aZ\\153\\214\\161\\250Xj\\237(wU\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\166;\\DC1Ydt\\ACK\\141\\216\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\213\\190\\196\\234g\\251%\\154\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190\\DC3\\f\\231\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\251\\206H\\r\\218\\RS\\171\\156M\\148T\\160\\SOH\\ETB\\180=;\\162\\239\\128\\161X-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\152L\\129\\\\Qq\\184U`\\US\\184\\233\\158\\129\\182\\200dr\\135c\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\228\\164[\\251\\237\\223e{\\141\\253\\152\\150\\&4\\240\\&3xU\\235\\247])Q^\\234\\238\\142\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160gU\\183\\155\\&8\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"Y!\\158q4\\151xv\\205\\ETX\\149a\\143\\194\\189\\241\\187\\239(6+\\185*wu\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159O\\DC3rr\\GS\\244i$\\178\\138\\142NP\\b<Il\\166\\NAK&\\207\\212\\239es\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\b^8s\\146\\SYNF\\236\\131\\141\\151\\t\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235M\\155rB\\149E\\173\\221\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\211\\225_W\\\\~\\189\\SOH\\225\\134Za\\US\\204\\243\\\"\\DC2\\246\\202_\\204\\140\\187\\&0{6\\227\\170\\133T\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"R*\\ETXN\\144#,+Bw\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159{\\DC2\\140\\192b\\185\\t\\ETB\\ACK[+\\206\\135u\\161\\NAKG\\DLE~\\SI \\130\\130\\EOT\\187\\137\\241\\143G\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\216\\149\\145\\199S\\239)\\232\\181\\214\\132\\138\\219\\139S\\196\\212=\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"M.5\\194\\168\\175\\a'e\\SOHB\\GSB\\194\\131_W*\\SI=\\183\\241U\\212\\253V\\ETXs\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\\"\\222 \\178a\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\216\\\\)x\\176\\170\\240V\\155\\200\\&3\\160f\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\189\\138\\219\\251|\\ACK\\f\\SO\\&H\\183l\\246\\222\\251\\191\\255\\173\\128\\183\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200+\\151\\147\\CAN\\138>\\137\\136\\136(R\\149'\\206*\\SUBY\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"3#7\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189C\\192\\223Co\\US\\135j7\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vUP\\244\\157\\174(\\167E\\n\\176\\CANc1\\187\\208\\ETB\\ENQr\\\\8\\188\\177\\177J&o(\\138\\168g\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\231W4\\139\\ETB\\160d\\185\\224\\242\\212K\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\255\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vf\\227\\229\\ETB\\205\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\144\\144\\217\\176#C\\205\\245\\180\\176\\150\\182W>S0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\219`\\STX\\170\\v\\254\\215g\\221.\\132\\SUBk,i\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"az\\EOT\\153X4\\135\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"y(O\\133lY\\225J\\252b@XysD\\214Z_;\\r\\\"\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134d\\219\\151\\170U\\162\\174\\ENQ-\\171\\CAN\\202b9i\\NUL\\141K\\SYN]\\157\\234&^y&\\154\\221\\USJ\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\146.\\200tx\\247\\f\\220\\202\\193\\a\\EOT\\DC1T]_\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\169\\243\\146~\\136\\155\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219)R\\137\\183q\\237\\ETBW&!s&<s\\149\\208\\149\\155\\171\\180\\ENQ\\SO\\162\\NAKC\\136Fm\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\193D\\176\\&0\\151\\219\\226\\227m\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\214?b\\253\\246\\142\\FS\\173\\CAN\\159\\169b\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\SYN\\172\\155\\157\\216\\204\\196\\157\\140\\207/\\187\\234-\\171\\170\\151\\217\\144\\229s\\201m\\173\\&31<u\\156K\"","tag":"AbiBytesDynamic"},{"contents":"\")b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\ESC\\142\\215\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\182\\162\\153\\147m\\NAKk\\224\\\\\\179b|\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\204V\\EOT\\130\\b\\132\\136\\150\\234\\248\\145\\200\\SIx\\RS\\SYN]i\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\176\\SI\\139\\184z\"","tag":"AbiBytesDynamic"},{"contents":"\"?S\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203 \\176fp\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\138\\160!\\223\\255\\\"7Fd\"","tag":"AbiBytesDynamic"},{"contents":"\"\\bYL\\139\\208\\n\\ACK\\198\\130\\DC4\\154\\175\\234\\181\\246\\249\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\NUL\\DC2\\200Oy\\b\\186\\EOT\\ESC{\\231\\182&\\149\\205s\\205\\234]\\152\\NAK\\176S\\234#\\145\\&6j\\152\\211!\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241@\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\252\\252?e~\\DC4\\239:#M\\252\\223\\130e\\ENQ$\\169\\151\\212\\156\\249\\v\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\217f\\132r\\163\\203~\\228\\195\\252n\\DELc\\STX\\185\\255\\164Jq0\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211R\\206\\153\\178\\224\\\\w\\166e3\\SI\\b\\208\\233+\\236\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\245\\151\\201\\222\\232*\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\133\\183\\248\\225\\ENQV\\132\\169\\&0\\246\\231\\155\\176\\136T\\178Y\\148L7\\DC1a\\\\\\225\\235\\&1\\152\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STXhD\\194\\219.I%JG/\\143\\SI|m\\NAKI\\214\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248IMQ\\208\\158\\DC1vx\\195bD J<\\197\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\144\\146=\\164\\244\\179\\239^D\\129\\156\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206j=\\US\\255\\192G\\238\\EM PJ\\219\\DC2|{\\130\\190\\218\\172\\203\\240\\&5\\185\\nY\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\217\\219I\\193S \\134R\\198\\129r\\192(\\213\\156?\\165R\\195%\\246\\226\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\183<\\225\\152\\145z5\\209\\SUB\\167\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"^\\237L\\212\\FS\\152\\\\\\150\\ETB4j\\208\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130'\\200\\v]\\a\\ETB]#\\182\\b\\143\\192\\242A@.\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244M\\220\\190\\191\\158\\239(\\151\\164\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\155\\161\\SIt\\180\\r\\219}\\205\\180Z\\RS\\r\\234\\159\\&4r\\t\\230x\\US\\162|\\206\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\NUL\\179\\179\\239\\144E\\130\\220\\182y\\GS\\RS\\DC3\\238\\NULz0\\153\\132\\GS/\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\178\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\".z1\\239\\EOT5\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"0)\\SUB\\143\\175\\&6k\\176\\163\\221L&\\RS\\NUL\\DC2a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\vkC92]\\192L\\GSO\\199Ft9\\173\\DC3D\\215\\RS\\242Z\\tD\\161\\188\\200\\149a\\253\\211l\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN7dk\\ETB\\SIq\\\\6\\239\\191\\167\\226'\\163\\183\\196\\153\\137\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200f\\DEL\\131\\173ENDI8w]m\\250\\192\\&2\\222\\158v\\aW\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC=\\232\\233\\245\\ETX\\196h\\219\\207\\ETXm\\207g\\SYNE\\223>\\130\\225\\\"w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\132\\226\\223\\151@G\\220D\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155D-\\DLE4UC\\217\\148\\FSr\\244\\135\\148\\241\\DELZ\\223uu\\RS\\205S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\r.\\249\\184q\\186\\133\\CAN\\RS\\STXV^\\135\\&5R'9\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\233\\242\\144\\&7,\\222\\183c7 \\SO\\194/\\175\\225%\\191hQ$~\\ETXj\\237A\\231b\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\226D\\151\\149\\172da\\f\\128\\DC1J\\213\\246u\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\&3>7\\199b\\190X\\153C\\181\\246\\246x\\211\\221\\175\\135\\206E\\153\\189_5\\154\\254\\n\\180\\188\\211\\157\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\239;EA\\214j\\253\\&8\\182\\148\\&4g`\\201$\\199(y$:x\\174X\\168\\&6\\209\\&4dG\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\185\\&2\\255\\171y\\253qT\\149\\180\\210\\DC2\\222x\\238}\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\201\\128r\\193~\\221|&t\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\235\\254A\\170\\DC4\\193\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208R\\231\\GS\\v40\\209\\t\\251\\213\\t4\\166L$\\189\\200\\194\\NAK~\\r\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240oO\\128;X\\SO\\b\\190\\NAK\\140#\\189\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\228\\t\\RS\\161\\147\\154\\203\\148[\\232\\235\\211O\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\183\\243%\\RSP7\\244\\133\\136\\137\\192\\174\\164D\\143}X\\SO\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\163\\fR\\221\\168\\189*\\140\\133\\SOHU\\NULp\\140\\219\\NUL\\133\\207\\&7\\141\\209\\145\\STX\\181\\242\\130%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\tzC;\\166\\SUB\\230\\206\\254x\\145\\227\\182\\222\\&4H\\RS\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"8X\\224\\242Us\\183\\227\\n\\178\\205\\STXY\\213-@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\167=\\161S\\n\\221\\235\\\\\\203\\n\\233\\&7A\\242\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\198qx\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190] 3\\223u\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\223\\221\\188\\175\\219\\195\\249c\\193\\164\\201\\203~\\174e\\252\\252&\\253>\\180\\222O\\RS\\133\\177M\\206\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\244\\&7\\132\\a\\150\\240\\169\\240'\\DLE\\SO[y\\ETX\\144\\240\\246\\v%\\145\\205\\ESC\\241T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DELt\\229!t\\\\*\\167a\\196S'\\151\\DC3\\225\\238\\159N\\221\\166\\242q\\158\\128n\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\n\\EM\\209b\\175+\\161\\CAN\\144\\223\\198C\\178\\\\\\230\\152\\210\\169\\223+\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\222\\238\\253\\211T)\\160\\250\\255\\133\\146\\CANjStp\\163\\&4\\194\\227\\STX\\141\\SYN\\219'Y\\ESC\\188\\152l\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231s\\150rZ\\EOT\\153y\\STX\\218\\202\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USZK\\140D\\213\\227\\176\\191]s\\v\\154\\SIA>\\172\\216\\ETBZ\\249\\138\\192n\\206\\252r9\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\216#3\\225\\159\\142\\210<80\\n\\219\\168\\f\\225\\250\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\208\\145g\\134 om\\243\\241\\181\\&1\\181Y\\158\\146H\\196\\183g5\\247\\237\\138i\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"sA\\216QDf\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\177g+\\EOT\\ESC\\141\\242-\\245wu\\NULd\\a\\152\\226\\186\\220\\SO&\\225\\197/\\194&\\SOH\\189@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\188\\132\\STX\\SUB\\246\\243\\136\\235Z\\231\\179\\148t+S\\228\\153\\ETB\\US\\252\\149\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\t\\191\\DC4\\236\\133L\\215\\166)z\\178\\&8w\\SOH\\184\\217\\165\\194\\DC1\\212\\249R\\186\\139\\208\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\ACK7\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"F5\\181\\ENQ~:\\129%\\251y\\230}\\188a2C\\129\\195!fs\\229%\\r\\b\\196\\240)]\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\ETB\\153U\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\183Z\\130\\132\\223\\231\\222T\\152@MZ\\221\\129\\160\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\202\\128\\EMQO\\169.\\212o\\174\\171\\253\\b\\195\\177\\172vS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\") \\210<Z\\226\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"y#\\196\\216\\142Oe\\138u.\\EOT\\DC2\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ESC\\188\\253@\\234T\\EOT1\\177q\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\202j\\140\\&1\\ETX\\NAK\\247u\\a\\fy@\\174u\\248\\160\\198\\tZo\\141\\&1m{n\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ESC\\188\\253@\\234T\\EOT1\\177q\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\202j\\140\\&1\\ETX\\NAK\\247u\\a\\fy@\\174u\\248\\160\\198\\tZo\\141\\&1m{n\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ESC\\188\\253@\\234T\\EOT1\\177q\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\202j\\140\\&1\\ETX\\NAK\\247u\\a\\fy@\\174u\\248\\160\\198\\tZo\\141\\&1m{n\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ESC\\188\\253@\\234T\\EOT1\\177q\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\202j\\140\\&1\\ETX\\NAK\\247u\\a\\fy@\\174u\\248\\160\\198\\tZo\\141\\&1m{n\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ESC\\188\\253@\\234T\\EOT1\\177q\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\202j\\140\\&1\\ETX\\NAK\\247u\\a\\fy@\\174u\\248\\160\\198\\tZo\\141\\&1m{n\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ESC\\188\\253@\\234T\\EOT1\\177q\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\202j\\140\\&1\\ETX\\NAK\\247u\\a\\fy@\\174u\\248\\160\\198\\tZo\\141\\&1m{n\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ESC\\188\\253@\\234T\\EOT1\\177q\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\202j\\140\\&1\\ETX\\NAK\\247u\\a\\fy@\\174u\\248\\160\\198\\tZo\\141\\&1m{n\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ESC\\188\\253@\\234T\\EOT1\\177q\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\202j\\140\\&1\\ETX\\NAK\\247u\\a\\fy@\\174u\\248\\160\\198\\tZo\\141\\&1m{n\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ESC\\188\\253@\\234T\\EOT1\\177q\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\202j\\140\\&1\\ETX\\NAK\\247u\\a\\fy@\\174u\\248\\160\\198\\tZo\\141\\&1m{n\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ESC\\188\\253@\\234T\\EOT1\\177q\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\202j\\140\\&1\\ETX\\NAK\\247u\\a\\fy@\\174u\\248\\160\\198\\tZo\\141\\&1m{n\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ESC\\188\\253@\\234T\\EOT1\\177q\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\202j\\140\\&1\\ETX\\NAK\\247u\\a\\fy@\\174u\\248\\160\\198\\tZo\\141\\&1m{n\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CANm\\ETBj\\253\\241\\205(B8`\\228j^Z\\DC4\\190O\\138qI\\193N\\178\\197r\\166\\147\\201\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\167\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\r\\v=V\\171\\150\\139\\&1\\DC1N:\\200\\153\\160\\190M\\193\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"%0\\152\\218z+-5\\SYND\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"?\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\182\\SUB\\DEL[\\190%k\\202\\224\\247\\&6S\\235\\STX\\a\\189\\215\\229\\195\\233b1\\232\\149/\\251\\243\\209\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\NULD.\\182\\139\\225\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"[r2|\\203\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\240\\STX\\190?\\159\\178b\\226\\253w\\248\\128\\128\\252\\ACKx.\\FS\\201B\\238\\189`\\136\\232>;C\"","tag":"AbiBytesDynamic"},{"contents":"\":\\137\\134\\157J\\\\\\r\\190\\DLE\\EOT\\140\\&0}W\\150\\174S\\128\\\\O\\171R\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\">\\186\\ETB\\EOT\\SI\\NAK\\224q\\200\\171\\129?i\\217\\192K\\EM\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\135C\\161\\ENQo.\\235\\197\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\186'j\\140\\250^`\\218,nJ\\186v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\167e]x\\154\\217Ey\\233\\243%\\166\\162W\\151\\191\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"M:~\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\228\\153\\203\\&5\\209\\160\\141\\196\\SUB7\\235\\&1\\SOH\\178\\STX\\197\\130\\&9%\\165\\SOH\\130\\CAN\\252|\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\195\\216r\\138\\216\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"r\\f\\DC4\\140\\SOH<\\135\\168\\&5!#\\159\\251\\167\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\fy])\\245e2\\231\\SYN\\158\\180l\\241C\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\164\\RS\\163M\\170\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\211H\\STX\\165:|<\\137o\\200S\\194`\\225D\\130\\DC3^\\232\\228$\\DC20\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198Z\\b\\235H`\\154\\\\\\244be\\221\\202,\\190\\248F\\DC13\\202_\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"N@\\201\\152BV=\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"-as\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n,\\157,\\145\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\210J\\242}\\t\\203\\214B\\162\\185\\142\\230\\217we\\205\\148\\v\\218g\\162\\DC3j5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\240\\204\\159iA\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\185\\240h\\153j\\162}\\242\\DEL\\168O\\248e\\214\\241:\\134x\\229A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\r\\208\\253\\175zyi#\\179\\145\\245]\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\182k\\141\\194\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"7`\\197\\NAK\\SO\\192\\245\\166\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141bv\\170\\SOH)\\194\\130\\195\\186\\207\\147\\187\\193\\ETX\\\\j\\202\\244\\157\\213\\243\\153\\180\\233\\RS2\\146\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL(\\247\\&7^C\\132+\\191|\\235t\\148\\227!\\147>|\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\DC2h\\247\\ETB\\ETB\\190\\248\\189\\158\\172.\\167aW`~\\249\\136\\DC2FXnd3\\182\\230\\215\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\183\\CAN- \\148\\204q\\194\\243\\CAN\\f\\168\\184\\144AN\\177\\202?\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\187x\\184Fk\\ETB\\231\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"Yv\\197\\151w\\214\\155\\198\\186\\EM\\197zz\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"g1y\\DEL\\232\\196\\211\\213f\\US\\252]\\148\\254!\\152\\170\\200\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\&3\\NAK\\231r\\169\\138\\191\\177\\246\\203\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174'\\128\\190\\247\\DC4\\254w\\200\\157A\\247\\240\\232\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"624293319011343875684985070058285513531338209949104863017584385045"],"tag":"AbiUInt"},{"contents":[256,"59705994059265135992363162345033520486074527486266496975801515389623018467698"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"73597521061997212304690386841804942686354027456325457360713918995496652985868"],"tag":"AbiUInt"},{"contents":[256,"24425384766080020750637772486580504671"],"tag":"AbiUInt"},{"contents":[256,"1529765865"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630938"],"tag":"AbiUInt"},{"contents":[256,"31512227840050807813901821869784956715311386951969957562024123535629465830581"],"tag":"AbiUInt"},{"contents":[256,"670"],"tag":"AbiUInt"},{"contents":[256,"351"],"tag":"AbiUInt"},{"contents":[256,"11100806282425854165925787509937847660395566914045281856598298962498962701101"],"tag":"AbiUInt"},{"contents":[256,"304"],"tag":"AbiUInt"},{"contents":[256,"93221935814726925675457832483587645353226808292965342210174462439035264559111"],"tag":"AbiUInt"},{"contents":[256,"303"],"tag":"AbiUInt"},{"contents":[256,"43463520938329053909690905449140025024724860121992547094810800045342030377789"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908082"],"tag":"AbiUInt"},{"contents":[256,"102681498487773918513908319075865639555263295979714726835544510724703842712806"],"tag":"AbiUInt"},{"contents":[256,"899"],"tag":"AbiUInt"},{"contents":[256,"90419953831761273755897793925227437335594413785221693060198434971255271154650"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"7655399957007842182631131186920259867038783699339406951538679480451816611749"],"tag":"AbiUInt"},{"contents":[256,"297"],"tag":"AbiUInt"},{"contents":[256,"77009607670756896060845034734975484677913028890117454331245934276991254997603"],"tag":"AbiUInt"},{"contents":[256,"999999999999999999"],"tag":"AbiUInt"},{"contents":[256,"90655113238591239746320554763338982460601942442052840471002302990311058884648"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"78965783892986481273152735667241832882095970008986517676641060328193600528889"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"423"],"tag":"AbiUInt"},{"contents":[256,"1530110097"],"tag":"AbiUInt"},{"contents":[256,"604802"],"tag":"AbiUInt"},{"contents":[256,"377"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"54397489363858209354690254483152750930729384342298459126813829563160194866079"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"72710210080517593889860155882514401251159282142434595433780075902745997748769"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507329"],"tag":"AbiUInt"},{"contents":[256,"107795014497168785339676410531771901007165494244052512126183438737101364618291"],"tag":"AbiUInt"},{"contents":[256,"55827960199925840652300120338570313957229400407851094405580023128284616954228"],"tag":"AbiUInt"},{"contents":[256,"37071929151277654872830393654070071790542352425146846068854083977174314969491"],"tag":"AbiUInt"},{"contents":[256,"23138186600017783284534051866044476696146001158158093796072462801054930494389"],"tag":"AbiUInt"},{"contents":[256,"30606957721424302547392547916256869752830210519763135710683907591339309097480"],"tag":"AbiUInt"},{"contents":[256,"21059817705800068483796269001074962809063945873421448950218314288670893019645"],"tag":"AbiUInt"},{"contents":[256,"731"],"tag":"AbiUInt"},{"contents":[256,"872"],"tag":"AbiUInt"},{"contents":[256,"53344991324168244525283868430160536040360795800950302055858355182434612056303"],"tag":"AbiUInt"},{"contents":[256,"76000490751127722034414666278996647608707352569536362162189052757809990720015"],"tag":"AbiUInt"},{"contents":[256,"1527595804"],"tag":"AbiUInt"},{"contents":[256,"27456259973797543822873830570309574550963123011257269739018799673051336327755"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639858"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"28972752016034083767999871280637342528621710708671951060039480416125048720314"],"tag":"AbiUInt"},{"contents":[256,"110138972740943961225686035803441990069684020900437388866434230030657618499457"],"tag":"AbiUInt"},{"contents":[256,"110664030984720522567991613616881939571059683893125970087670663704741355218297"],"tag":"AbiUInt"},{"contents":[256,"10803889018422993150234590367210175237793523275809402016297846270069428452229"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"},{"contents":[256,"1533896589"],"tag":"AbiUInt"},{"contents":[256,"62333164436384339427541770299437496480245346837760091834219638540869038867948"],"tag":"AbiUInt"},{"contents":[256,"30587444318004598477399814895339100431122749020268747249719844430521972226211"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639939"],"tag":"AbiUInt"},{"contents":[256,"340"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636337"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211774"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035135"],"tag":"AbiUInt"},{"contents":[256,"18459134306"],"tag":"AbiUInt"},{"contents":[256,"89887523474941525192668299354718524402579703753704023749250761303380807430904"],"tag":"AbiUInt"},{"contents":[256,"78941473728434252086359515574267041648773883879001602163114012400580052651110"],"tag":"AbiUInt"},{"contents":[256,"38938604583708412450627076072378871569009237754654100660524297840826051968445"],"tag":"AbiUInt"},{"contents":[256,"63227300285831116577026844637648512748513956505336517050723004065375009972911"],"tag":"AbiUInt"},{"contents":[256,"63227300285831116577026844637648512748513956505336517050723004065375009972911"],"tag":"AbiUInt"},{"contents":[256,"63227300285831116577026844637648512748513956505336517050723004065375009972911"],"tag":"AbiUInt"},{"contents":[256,"63227300285831116577026844637648512748513956505336517050723004065375009972911"],"tag":"AbiUInt"},{"contents":[256,"63227300285831116577026844637648512748513956505336517050723004065375009972911"],"tag":"AbiUInt"},{"contents":[256,"63227300285831116577026844637648512748513956505336517050723004065375009972911"],"tag":"AbiUInt"},{"contents":[256,"75394020169598151985734309851492346506242531651001214144241156552299638756446"],"tag":"AbiUInt"},{"contents":[256,"92849431197647897386303763923675224497159570026806479500299277362058881700288"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"304525780123377383140470990474849215804089955340967705744912520401796568104"],"tag":"AbiUInt"},{"contents":[256,"1529833621"],"tag":"AbiUInt"},{"contents":[256,"49835467938281912281006745836152110592456818955620550931478060983466107995571"],"tag":"AbiUInt"},{"contents":[256,"234149335914156257829863502194615761462"],"tag":"AbiUInt"},{"contents":[256,"108838939056238763041696996900851868013426952274963441906037782877140394819604"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"},{"contents":[256,"39213514198643773536961816229833768672627642860171709895557742113271862169183"],"tag":"AbiUInt"},{"contents":[256,"14453767468201214817492450011481435048928385594622880939738177954470897757156"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639798"],"tag":"AbiUInt"},{"contents":[256,"1535757374"],"tag":"AbiUInt"},{"contents":[256,"1526444388"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950339"],"tag":"AbiUInt"},{"contents":[256,"1000000"],"tag":"AbiUInt"},{"contents":[256,"25670467657076272994864684345766478429820924372263908656349637910229660873046"],"tag":"AbiUInt"},{"contents":[256,"97849498121932661857014827403881403840525025802413875001260530089609421178490"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115706771051625250362558003751406207475414400825603146033883879663612690810341"],"tag":"AbiUInt"},{"contents":[256,"107078074586179506071219469852920808260385421891837909636990844316527005318245"],"tag":"AbiUInt"},{"contents":[256,"5352673"],"tag":"AbiUInt"},{"contents":[256,"1528150280"],"tag":"AbiUInt"},{"contents":[256,"85"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030ddf","0x0000000000000000000000000000000000000000000000000000000000003f7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"111476272615478386731192805249889740889195062398903871782227071228702936098670"],"tag":"AbiUInt"},{"contents":[256,"41101175055620456812170918700927644413"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031e0f","0x000000000000000000000000000000000000000000000000000000000000003a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"27089315223605741417843540129625105498432413436771957978767847911557540995805"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008c942","0x0000000000000000000000000000000000000000000000000000000000009c0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000108dd","0x0000000000000000000000000000000000000000000000000000000000002e1e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4a","0x0000000000000000000000000000000000000000000000000000000000000007"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731855"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039d52","0x000000000000000000000000000000000000000000000000000000000000132b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"3780492704276980523033547243789628817194118580975630349585993762158750176188"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"55467067735375277106041450791870564481367654462173943107941799922860206160759"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007cc39","0x000000000000000000000000000000000000000000000000000000000000135b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"`!\\US\\241`HW\\251\\168\\165\\&5x_tN\\221\\196\\208\\134\\174\\\"i\\SUB\\147\\160\\217\\187\\220\\172j\\236e\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069fdd","0x000000000000000000000000000000000000000000000000000000000000e5dc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"BANK_MANAGER_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004197b","0x0000000000000000000000000000000000000000000000000000000000007721"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"99275037746440004577628871167466323999811740343392509726664926274279754816933"],"tag":"AbiUInt"},{"contents":[256,"867"],"tag":"AbiUInt"},{"contents":[256,"143"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfc","0x0000000000000000000000000000000000000000000000000000000000002d98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000302c2","0x0000000000000000000000000000000000000000000000000000000000000bd0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"24291977070250841685361298371009583071695547680769900427961956517621490864488"],"tag":"AbiUInt"},{"contents":[256,"67081121952770638740248359886191250960827067255362680853861819232024234195073"],"tag":"AbiUInt"},{"contents":[256,"70388580101813920550658945074349866033232230197906351249422002345719908416749"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fa","0x000000000000000000000000000000000000000000000000000000000000d9d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007adc7","0x0000000000000000000000000000000000000000000000000000000000000c98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000059a26","0x000000000000000000000000000000000000000000000000000000000000131b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639868"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000297","0x0000000000000000000000000000000000000000000000000000000000000051"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x0000000000000000000000000000000000000000000000000000000000000315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"324"],"tag":"AbiUInt"},{"contents":[256,"6367089456919447240872291631801030040019064675351995983376731322382527718242"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639873"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001d","0x000000000000000000000000000000000000000000000000000000000000825b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000206b0","0x000000000000000000000000000000000000000000000000000000000000321e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf6","0x000000000000000000000000000000000000000000000000000000000000adab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052402","0x0000000000000000000000000000000000000000000000000000000000004eab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"97300515703283888406601939955168667564276405947277141338248168466784855889525"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf6","0x0000000000000000000000000000000000000000000000000000000000001385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"95743334235804524760670503288262227104161550720366436710186053969268211474384"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d794","0x0000000000000000000000000000000000000000000000000000000000004f6d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"932569976412199324451781246246800837146961331087107526919731162858398128674"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c0","0x00000000000000000000000000000000000000000000000000000000000012b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"229"],"tag":"AbiUInt"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"81362272131282497587702904116527561032638025047262101938625318029519881821490"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d94a","0x0000000000000000000000000000000000000000000000000000000000002608"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000100","0x0000000000000000000000000000000000000000000000000000000000001362"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"52221971780966573021007451921624656390073132039120286042151245169993459316034"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000194c","0x0000000000000000000000000000000000000000000000000000000000001335"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"86"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000523ff","0x0000000000000000000000000000000000000000000000000000000000001358"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005caa0","0x0000000000000000000000000000000000000000000000000000000000000c98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"84"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005eec8","0x00000000000000000000000000000000000000000000000000000000000004e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e950","0x00000000000000000000000000000000000000000000000000000000000003e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"1726305111"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001101f","0x000000000000000000000000000000000000000000000000000000000000e442"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"309485009821345068724781054"],"tag":"AbiUInt"},{"contents":[256,"97492155980324154159466514360898047258504305444535024148720904117190994573884"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b3f9","0x0000000000000000000000000000000000000000000000000000000000008789"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"329"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004e","0x0000000000000000000000000000000000000000000000000000000000006541"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d9b4","0x000000000000000000000000000000000000000000000000000000000000c6ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0ea","0x00000000000000000000000000000000000000000000000000000000000012d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"73929327147118966100494151485926634014575695717294076357210992719264543943120"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb28","0x0000000000000000000000000000000000000000000000000000000000002711"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":[256,"4891841827035250162521400623181116409442391383061567030399782349059559009643"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000114","0x000000000000000000000000000000000000000000000000000000000000132b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000189fb","0x0000000000000000000000000000000000000000000000000000000000003127"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002e","0x0000000000000000000000000000000000000000000000000000000000001349"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"96492030663237990281416853527868081000259533431732240902924651192481221195975"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005eb92","0x00000000000000000000000000000000000000000000000000000000000001f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf5","0x0000000000000000000000000000000000000000000000000000000000003cda"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000057ee9","0x0000000000000000000000000000000000000000000000000000000000000382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"885"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000543d8","0x00000000000000000000000000000000000000000000000000000000000061a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"748"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006a85","0x0000000000000000000000000000000000000000000000000000000000001275"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d500","0x000000000000000000000000000000000000000000000000000000000000335a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"7063"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a586","0x000000000000000000000000000000000000000000000000000000000000133d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"170"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011518"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000086feb","0x000000000000000000000000000000000000000000000000000000000000d9dc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]