[{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fe","0x00000000000000000000000000000000000000000000000000000000000013ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000620d1","0x00000000000000000000000000000000000000000000000000000000000012a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"102521340383270227423461087793377969552957073134197250819302196030850124561446"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2e","0x0000000000000000000000000000000000000000000000000000000000009e99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"105418553965214442201815889412105397963857261651138918324920220104189130306184"],"tag":"AbiUInt"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bda","0x00000000000000000000000000000000000000000000000000000000000011ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"37235184405023075869631481169755003557491887207818796869937691366088345012919"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc10","0x0000000000000000000000000000000000000000000000000000000000008192"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e377","0x0000000000000000000000000000000000000000000000000000000000002684"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"86"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043ca1","0x0000000000000000000000000000000000000000000000000000000000008191"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba7","0x000000000000000000000000000000000000000000000000000000000000000c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580af","0x0000000000000000000000000000000000000000000000000000000000002320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c3","0x0000000000000000000000000000000000000000000000000000000000001395"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ebd4","0x000000000000000000000000000000000000000000000000000000000000c731"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005d","0x0000000000000000000000000000000000000000000000000000000000004ac4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639851"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052402","0x0000000000000000000000000000000000000000000000000000000000000331"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\162\\222\\169`Q\\197(\\251\\RS\\207\\227\\143.\\204\\160\\211\\SO?\\200\\173\\221\\217\\197L\\r\\153K.\\161\\204\\220\\171\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf9","0x000000000000000000000000000000000000000000000000000000000000c065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002611a","0x000000000000000000000000000000000000000000000000000000000000c0c9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"851"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000008898"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"309485009821345068724781052"],"tag":"AbiUInt"},{"contents":[256,"115783073107725914483529469331772132421622790968618709847963622865898771413417"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7c0","0x000000000000000000000000000000000000000000000000000000000000dcb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"\\US\\t\\139\\166\\148\\212\\&3\\v\\159\\SUB\\177\\206'\\132\\128\\152\\153\\196\\195\\DC3e\\235\\246T3\\199\\SO\\v\\146\\SUB\\SO\\218\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e951","0x0000000000000000000000000000000000000000000000000000000000002cc9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"114708723741589355916742628646735595183227068641122069348961451742264817858596"],"tag":"AbiUInt"},{"contents":[256,"91505125682713224424606268413000312987118711094670786971542245710305425961385"],"tag":"AbiUInt"},{"contents":[256,"83901620901068881462113267918258772133496522014645969505976803035218151834726"],"tag":"AbiUInt"},{"contents":[256,"1524785991"],"tag":"AbiUInt"},{"contents":[256,"201208859585102097761031780328300417093816841993091229136503393888"],"tag":"AbiUInt"},{"contents":[256,"95489329551982829586766592075441066570491500849151934018703191520079682049679"],"tag":"AbiUInt"},{"contents":[256,"604800"],"tag":"AbiUInt"},{"contents":[256,"81660324936892182749051056232539557328155640714183407980119531119741140042003"],"tag":"AbiUInt"},{"contents":[256,"100707965457561996938121422084402863797716998392423933035599922778582892687467"],"tag":"AbiUInt"},{"contents":[256,"32300115216618937949265400663328518614332238628162086369923635739795206962863"],"tag":"AbiUInt"},{"contents":[256,"24488586112554323664779875629066393140000651946769103221963874395576387849895"],"tag":"AbiUInt"},{"contents":[256,"73261390828040595736384042824382935138519246605025935766866083414776737751650"],"tag":"AbiUInt"},{"contents":[256,"72778204083956175853963015212353145773282104877954864391533273049849068754502"],"tag":"AbiUInt"},{"contents":[256,"74844158648454569954612066153480133486278481982657632967094700585407133103875"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639868"],"tag":"AbiUInt"},{"contents":[256,"1528420127"],"tag":"AbiUInt"},{"contents":[256,"89121828914963790615780255551048454448825532038056974990189226049617143846148"],"tag":"AbiUInt"},{"contents":[256,"88898297492254581573162628798395943347679297530337488385435626255219918311067"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639436"],"tag":"AbiUInt"},{"contents":[256,"52550667750664053903802402848834118037332081386396431375699490816093270983037"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"36923782597247213191340448979398794226435746283"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062336"],"tag":"AbiUInt"},{"contents":[256,"901"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"},{"contents":[256,"21244497417810782926445712857628550454290447177753184951152545687167836454966"],"tag":"AbiUInt"},{"contents":[256,"1527256500"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035135"],"tag":"AbiUInt"},{"contents":[256,"1530243697"],"tag":"AbiUInt"},{"contents":[256,"73659513406013968867769546710721701415853175355934113896035861893931218134486"],"tag":"AbiUInt"},{"contents":[256,"1532983260"],"tag":"AbiUInt"},{"contents":[256,"1532983260"],"tag":"AbiUInt"},{"contents":[256,"1532983260"],"tag":"AbiUInt"},{"contents":[256,"1532983260"],"tag":"AbiUInt"},{"contents":[256,"1532983260"],"tag":"AbiUInt"},{"contents":[256,"1532983260"],"tag":"AbiUInt"},{"contents":[256,"1532983260"],"tag":"AbiUInt"},{"contents":[256,"1532983260"],"tag":"AbiUInt"},{"contents":[256,"7473279187154577942428120358553348655739545218530722264846166776426858939380"],"tag":"AbiUInt"},{"contents":[256,"1534315192"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"58"],"tag":"AbiUInt"},{"contents":[256,"49984306667745386779391573292025727810967982611723811228694903785262387151591"],"tag":"AbiUInt"},{"contents":[256,"98989237989162616949225336050238782762199007793628282772826989042012121270251"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428157"],"tag":"AbiUInt"},{"contents":[256,"1526921335"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"11397143320115598415876478922053959617542515307594942422489971407153486049149"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635935"],"tag":"AbiUInt"},{"contents":[256,"1795347748"],"tag":"AbiUInt"},{"contents":[256,"28846293541180400514718167594617301190349773803904770007404221364137033564390"],"tag":"AbiUInt"},{"contents":[256,"313340091677999044347784819871704480395"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"31561650039328068107690403364793898327756026897758720515755063239267741904586"],"tag":"AbiUInt"},{"contents":[256,"134"],"tag":"AbiUInt"},{"contents":[256,"66368544275397434848056410604360227225409331521613104344142645753993053412897"],"tag":"AbiUInt"},{"contents":[256,"93223720946946751038651251099881324959177202784653730252633666056019666379983"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1527384480"],"tag":"AbiUInt"},{"contents":[256,"1528147914"],"tag":"AbiUInt"},{"contents":[256,"13090774993408626607931315913457269882169941341897669127988613576898525695384"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639914"],"tag":"AbiUInt"},{"contents":[256,"42692278093170201681454708808383391488244998005017221809169394944893470990134"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"93842156706974744909834054617460757874526379931286029969727592202174895407788"],"tag":"AbiUInt"},{"contents":[256,"96355675878452753554927848011330822629532983925814690227598179219944390875971"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"3599"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892769"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"60199847069441067867276234284198658599020744911592098742139971542099672466212"],"tag":"AbiUInt"},{"contents":[256,"62567770682653076116140200773051438982640239010993319652852707646860584765968"],"tag":"AbiUInt"},{"contents":[256,"83910712241529002062322525215878784861267421543251685573009748531019045323672"],"tag":"AbiUInt"},{"contents":[256,"1525427264"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011518"],"tag":"AbiUInt"},{"contents":[256,"114047422072429990574608660035334142990174238683969947551459337897709552501005"],"tag":"AbiUInt"},{"contents":[256,"7199426958173971235575184847354065917850719143070267525546055143542041546627"],"tag":"AbiUInt"},{"contents":[256,"50507009042202976084489855145320444828281663866640919073182254738343531780048"],"tag":"AbiUInt"},{"contents":[256,"13164091219172524797291599092698627988234430678232515933228686205475"],"tag":"AbiUInt"},{"contents":[256,"96471111942222896270790053592222989271943092467640055778322481180327901670896"],"tag":"AbiUInt"},{"contents":[256,"87278654676140343485448223990109923778545246731647658274620020769495126944354"],"tag":"AbiUInt"},{"contents":[256,"37569475668539766116419254191188139621299376864627894100260509691011841276086"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eace","0x000000000000000000000000000000000000000000000000000000000000831b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"1524785991"],"tag":"AbiUInt"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000aa82","0x0000000000000000000000000000000000000000000000000000000000008cf2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"22511632504800376267326523371558157029205291701505857089597057465045879601885"],"tag":"AbiUInt"},{"contents":[256,"112323109722076908447134846042086739950153272452735224387453399222922408736274"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000381","0x0000000000000000000000000000000000000000000000000000000000000e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"96440360031546225138321785737988372165677348665743691597399212882178301284467"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000847d1","0x000000000000000000000000000000000000000000000000000000000000d7b0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"38059204798973475136338941961293723572002825050603080920558919634443342006696"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e37f","0x00000000000000000000000000000000000000000000000000000000000058ca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"26620676299481566966744577997748067939251868415111569255141291052940226779838"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb14","0x0000000000000000000000000000000000000000000000000000000000001273"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"855"],"tag":"AbiUInt"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001e4cc","0x000000000000000000000000000000000000000000000000000000000000b449"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"68004021387761548975739118411686382510908309517647733778428397594696067623522"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055509","0x000000000000000000000000000000000000000000000000000000000000c324"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"1535014249"],"tag":"AbiUInt"},{"contents":[256,"110472639515947189786900501029573715634330891600052329834817289659005418436503"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084617","0x00000000000000000000000000000000000000000000000000000000000080a5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"200"],"tag":"AbiUInt"},{"contents":[8,"66"],"tag":"AbiUInt"},{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[8,"122"],"tag":"AbiUInt"},{"contents":[8,"130"],"tag":"AbiUInt"},{"contents":[8,"239"],"tag":"AbiUInt"},{"contents":[8,"214"],"tag":"AbiUInt"},{"contents":[8,"161"],"tag":"AbiUInt"},{"contents":[8,"139"],"tag":"AbiUInt"},{"contents":[8,"24"],"tag":"AbiUInt"},{"contents":[8,"26"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[8,"27"],"tag":"AbiUInt"},{"contents":[8,"155"],"tag":"AbiUInt"},{"contents":[8,"117"],"tag":"AbiUInt"},{"contents":[8,"1"],"tag":"AbiUInt"},{"contents":[8,"175"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[8,"6"],"tag":"AbiUInt"},{"contents":[8,"62"],"tag":"AbiUInt"},{"contents":[8,"120"],"tag":"AbiUInt"},{"contents":[8,"80"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ad09","0x000000000000000000000000000000000000000000000000000000000000007c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"87224146722195785608833002645857617572359020350065517431127276206152238708509"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f467","0x0000000000000000000000000000000000000000000000000000000000000ea3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b6f3","0x00000000000000000000000000000000000000000000000000000000000070bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027a9e","0x0000000000000000000000000000000000000000000000000000000000000bce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"90516620035916505462977439643348231691683619522291382551439627963220145773969"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000152e3","0x00000000000000000000000000000000000000000000000000000000000003fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\EM\\SOH\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000933a4","0x0000000000000000000000000000000000000000000000000000000000006f6c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xDEC9f3Dcc5158854Ef368E0B842F9e2cA8c990DB","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x473eA6ED4dC1B33c993d3a636445675c5356Eba9","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\201M1\\192\\161e\\196\\156\\136#\\171\\196\\183{z\\213\\170w(\\235\\&6\\184\\172\\149\\209\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\131\\a\\173\\&3\\SYNw\\EOT\\187\\150\\220\\&2\\a\\168fj\\205\\239=\\200\\214\\186p,A\\250\\175\\188\\214\\131\\EM9\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\240l?ak\\a\\178\\247\\225)\\EMb\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\149\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"l*\\214\\220m\\SUB\\234\\aKeh\\208|\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\DC3\\131w\\151\\244\\156\\131\\ETBo\\186x\\157\\STX\\213\\146;l\"","tag":"AbiBytesDynamic"},{"contents":"\">\\152\\DC3\\224Q~\\132\\SUB]\"","tag":"AbiBytesDynamic"},{"contents":"\"3j\\175\\172or!\\180\\140\\134\\213D\\209z\\DC2\\250\\216W\\210\\179\\191\\229U\\196\\244n\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\165j\\244\\213m\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\177\\&0\\145\\148\\218vmp\\138|\\FS\\168Wd_\\249\\245\\FS\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\203\\176/\\140\\211+\\195\\211\\SOHl\\170y\\174\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\149\\200f\\176\\194Nfi\\DC4\\212\\254\\229*@M\\208-hpe7[9\\167\\216\\251\\150\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SITX\\155\\129\\136`'q5\\215\\252\\251f\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"M~\\DC1\\184u\\219\\151C\\DC1\\130\\135\\133t\\ESC#\\242\\153\\152\\131\\214\\148B\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\242YS\\244\\&37J\\235\\154\\252\\230\\167\\231\\158\\180\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\194\\206}\\241z\\218\\t.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247`\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\245\\237\\147NJn\\247t:\\204\\157\\229\\137\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169<\\174\\159C\\222\\ACK\\244\\215%J\\214\\179\\f8\\150\\156V\\SUB\\252\\236\\232\\136\\237\\158\\186l\\163\\164*Y$\"","tag":"AbiBytesDynamic"},{"contents":"\"o|\\201}U\\161iQ\\243\\139\\180\\&5G\\\\\\218\\&8]\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\209\\134Xp\\204G]\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\199y\\135\\CAN\\NUL\\162\\190PO\\NUL\\196h\\194\\140\\205\\207\\&4\\SO\\173Y\\204\\204\\221\\187\\254X\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\151R\\234\\177\\DC3\\206\\135(\\155\\GSKI\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\200\\204\\179]\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\DC2\\253\\239\\SOH\\135&>\\213S\\249\\243\\200\\&5\\184a\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\172\\147v\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS;\\SI\\160\\&7@\\156>,S\\DLE\\190&\\165\\213G.$\\ETX\\186\\148\\225\\DC2\\248q\\230\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"V<\\f\\156\\178\\241F\\SIg\\135\\188\\STX\\196\\195X\\168\\150\\185ou\\SOH\\219ie\\190%\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\SO\\197f*'\\135\\222,T1\\255\\137\\240\\a\\175\\206m}\\216V\\169\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194^\\143\\237\\CAN\\159A\\128\\129Y\\158B\\209\\211\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\171\\212B\\239\\201\\206\\ACK4\\USQ\\158\\NAK\\\"D\\160\\244/\\237?D\\128 \\180\\151\\143\\195\\246\\148\\210f\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\147\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\198\\229\\&90\\228f}$5b\\193\\SOu`\\212\\214\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\220o9\\ACK\\NAKL-q\\192\\EOT\\233\\179\\129\\RS97\\160'&b\\202K?7ej<\\247\\213\\228I\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\195\\210\\229;G#V)\\t\\EM\\190\\131x'\\192)\\131\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\179I\\164\\235\\238\\139\\221G\\SI\\218\\f\\130\\ENQ\\232aP\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\133`\\252\\n\\171\\&7\\r\\173.\\134\\SUB\\GS\\194;\\EOT\\234Q\\147\\181\\249\\140\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\201j\\149/\\211QS\\239\\&4\\DC2\\135\\215f\\140\\188q\\128\\f\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"XL\\252\\187\\203o\\SOH^\\210\\ENQ.\\203n\\DLE\\220\\196\\r\\186s\\r8\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"39209746128231763091415045130089712126064757412245437560224700731395478901406"],"tag":"AbiUInt"},{"contents":[256,"13722776258331258363422091372591341461901356763712812841986078612539003968587"],"tag":"AbiUInt"},{"contents":[256,"1533511950"],"tag":"AbiUInt"},{"contents":[256,"33041756468009268122287358157791558944281388434883044063828387304280595929124"],"tag":"AbiUInt"},{"contents":[256,"1527130297"],"tag":"AbiUInt"},{"contents":[256,"1533100163"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211778"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1526549033"],"tag":"AbiUInt"},{"contents":[256,"7404683888495467641934031715370702766067142419065568072189337568521702418831"],"tag":"AbiUInt"},{"contents":[256,"1528537624"],"tag":"AbiUInt"},{"contents":[256,"55"],"tag":"AbiUInt"},{"contents":[256,"9000"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000003"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000003"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000003"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062339"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"33292446207800097719861096574147012781109015430071523138535937113557779005435"],"tag":"AbiUInt"},{"contents":[256,"10002"],"tag":"AbiUInt"},{"contents":[256,"48922121885071168934316696680679379660873287127635634727277710054798107409241"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"1656698974904315275010549270469621370141943682793167580067264276519883740346"],"tag":"AbiUInt"},{"contents":[256,"47664643241267329741825862676985787435418231043985444233115230162197564476106"],"tag":"AbiUInt"},{"contents":[256,"1525831956"],"tag":"AbiUInt"},{"contents":[256,"778"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950337"],"tag":"AbiUInt"},{"contents":[256,"74451136415369532279235905272789927052556261276246904950461213222803151987344"],"tag":"AbiUInt"},{"contents":[256,"67809072147382081171687574397743622255777596104071790598089908290878035637067"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000000000000000000000000000000000000000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"1534069856"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"42843091236488395119280559408917515528565412127967478773622189828227953589790"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"67472155688598799407684645570951792545619105396659006222414282226356667272343"],"tag":"AbiUInt"},{"contents":[256,"41382881952333317333491410202913063849850258855506041941756835927892919131879"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"7157959470014531751702136343833224637"],"tag":"AbiUInt"},{"contents":[256,"110007514864686016763944869694385200645374517607357737577435131763367550444552"],"tag":"AbiUInt"},{"contents":[256,"31776531433946951377385292901527363020394075380033854948404039020481452939728"],"tag":"AbiUInt"},{"contents":[256,"2392785259812420613103159321847764489410391887356476529423374465883937122576"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639857"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553537"],"tag":"AbiUInt"},{"contents":[256,"1524785991"],"tag":"AbiUInt"},{"contents":[256,"1528516053"],"tag":"AbiUInt"},{"contents":[256,"999"],"tag":"AbiUInt"},{"contents":[256,"113507034760533750062177655325212082879110917728484389010134302698839324054282"],"tag":"AbiUInt"},{"contents":[256,"42569721725480138780275872022881015522144110579777968857710284593595067500747"],"tag":"AbiUInt"},{"contents":[256,"1527748412"],"tag":"AbiUInt"},{"contents":[256,"85858723280263281877095701013444228606948038413066260574359786918764308140389"],"tag":"AbiUInt"},{"contents":[256,"1530180371"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"46609496581574220383795899937596573591015875951893618051957728264084503006"],"tag":"AbiUInt"},{"contents":[256,"206214354504303729220190599596092454497"],"tag":"AbiUInt"},{"contents":[256,"63840117772529084000487994060201928634950525403515606551117451064969429868910"],"tag":"AbiUInt"},{"contents":[256,"1533460053"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x0000000000000000000000000000000000000000000000000000000000000016"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f316","0x000000000000000000000000000000000000000000000000000000000000e383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fd","0x0000000000000000000000000000000000000000000000000000000000002a65"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"38631940692703541561562070579765927762126203425715743551597440065416136589567"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c303","0x0000000000000000000000000000000000000000000000000000000000003f4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"44258762933760817052104472094911957140082314593443317173471245076945615532107"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c3dc","0x00000000000000000000000000000000000000000000000000000000000070c4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"40505897131750678739784043044272152993679313849651807691816868372489737943306"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000687c1","0x000000000000000000000000000000000000000000000000000000000000754c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"1636805017424815956537106577071696777019613337374967338809851263623762144655"],"tag":"AbiUInt"},{"contents":[256,"112072560722707160051513999504931914552069488233226839931164655319193384649952"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfc","0x000000000000000000000000000000000000000000000000000000000000224c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000005229","0x0000000000000000000000000000000000000000000000000000000000002dde"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2b","0x0000000000000000000000000000000000000000000000000000000000008a73"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"106597995240198736996268292522283408229831434432938292845398984882295795222644"],"tag":"AbiUInt"},{"contents":[256,"66359639836182037838499557660337934874709762402914103135003824578689420388336"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005c043","0x000000000000000000000000000000000000000000000000000000000000dcaa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002167","0x00000000000000000000000000000000000000000000000000000000000010d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"9137409163848248013179404954320824290296700020653347161533077274472633236377"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029f33","0x0000000000000000000000000000000000000000000000000000000000002605"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002209","0x00000000000000000000000000000000000000000000000000000000000003e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"19038877504594340983501996072947243154465246990756717981499588144177381701433"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d90f","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"68964323529717281546109433831026830774203706803394615573179233375085592106983"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008e5a","0x00000000000000000000000000000000000000000000000000000000000010d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x000000000000000000000000000000000000000000000002b79ad0f25e13ebbc"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"\\US\\t\\139\\166\\206\\212\\&3\\v\\159\\SUB\\177\\148'\\132\\128\\152\\153\\196\\195\\DC3e\\235\\246T3\\199\\SO\\v\\146\\SUB\\SO\\218\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0f","0x0000000000000000000000000000000000000000000000000000000000000592"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xDEC9f3Dcc5158854Ef368E0B842F9e2cA8c990DB","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000009053e","0x000000000000000000000000000000000000000000000000000000000000ae95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080568","0x000000000000000000000000000000000000000000000000000000000000d97d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"33213825665458183340012499922361585121591696239680166623479162708683450037894"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000078f67","0x0000000000000000000000000000000000000000000000000000000000000129"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1535421809"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040a36","0x0000000000000000000000000000000000000000000000000000000000003a0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\RS\\\\]R6\\192\\145\\133\\233\\211\\228P\\145Z}\\134\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182#\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245V\\142\\229\\214\\154&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2f\\175u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\150\\151\\&6\\r\\EM\\244\\174-dA\\190,\\b$\\137\\207\\139\\132\\149\\\"\\161\\&4\\180p\\169\\131)\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\150w\\219\\153\\153\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154R\\EOT\\\\\\171\\RSr\\131\\194&\\243\\203\\219E\\180o\\181\\GSy\\223\\197\\128\\141\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"N9\\207\\154\\158g\\215\\187\\&2\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\a\\150n\\222\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227v1\\226\\NAK\\v\\247\\254*\\180\\138\\r\\204\\a\\218!=\\232:\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\134\\t\\CAN\\141\\156\\169\\215\\CAN\\244%^\\175\\DC4\\174H\\SOm\\217\\207\\208d\\233\\b>\\180\\156O$\\242\\201\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\160\\222\\160\\237\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\DC2\\FS\\138T\\SYN\\EM^/Z\\DC4Yl%\\212\\236\\211^\\140bR\\140\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135u\\136\\ETB{~e\\SO<\\161\\226\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC}$H\\155q\\137\\233\\184\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\STX(\\250\\141\\250d$\\197\\233\\&4\\217\\SYN\\128\\183\\FS\\184\\132\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"IsX/\\149'\\220\\194s\\142\\170]\\158\\vk$y!\\EOT|\\200\\156\\149}\\139\\v\\224\\225ol\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\&32\\185\\168\\167\\155h4\\US\\NAK\\175\\193\\148\\227\\162\\152\\193\\193r\\238\\142\\141\\173\\166\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\235\\190\\192\\248\\SI\\236\\NUL\\ETBfP\\166\\SYN\\131\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\198\\175P=5\\147<2+-\\142r\\171\\&0\\134\\241\\245\\182\\193\\SIn\\207\\150\\211\\166X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\217\\128\\211\\n}\\242&\\NAK\\148\\167\\200\\t\\155I\\192\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180Q\\131\\&2\\200e\\186k\\158l\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DELO\\168\\&7\\r\\130h\\132Lv\\247R&\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\187\\196\\196\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255)\\231\\219\\SYN\\149\\FSr\\EM\\139\\224\\188<\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\249\\141[\\191\\216\\144lN15a\\233|\\182\\205d\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\199\\181\\235\\&6\\SOH\\177\\184S\\157\\189\\136\\187\\135\\151\\220!\\ACK\\165d\\137\\\\&\\162{\\250\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\DC3#\\155\\&4\\204\\SUB\\149\\135HB\\165\\181\\132\\ETB\\251\\CANle\\136\\a\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\205\\176\\214\\179\\r\\DELz\\175\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\143\\134kn\\206\\t\\140\\128\\208\\&7\\DELj\\205w>\\244\\218\\146\\223b\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\155\\DC3\\155\\208\\244\\DC1\\193\\184\\213\\163\\154\\vnz\\161\\184\\EM\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"p6\\184\\&8\\152\\235\\CAN/\\189\\215,\\ETB9\\189jl\\141\\212[\\138\\209\\178\\196*\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\240\\RS_%\\177\\236n\\152\\194\\ETXn\"","tag":"AbiBytesDynamic"},{"contents":"\"lj\\197s\\236\\160z\\224\\&4hF\\213f\\145\\194\\NAK\\DEL\\151e\\197\\171\\132X\\208\\183 \\216,\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"I\\200\\198\\225\\159\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\240\\194\\142u\\205\\136\\190\\137\\CANX|\\202\\ETX\\165E\\190\\137\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"!aHz!Qj\\SI\\ETX\\136\\247L^\\253\\ETBn_],`\\214\\197\\129v\\202M\\196\\254\\\\m\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179IJP`8\\255\\rs1\\236\\206\\173\\134a<cz\\DEL\\ETB\\216\\160\\ESC\\219\\175m\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\251D'O\\203\\223\\151\\245\\NAK\\180\\153kN\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"}T\\152\\250\\128\\195z\\ETX\\148J\\239.\\210 V\\t\\149\\206\\187\\EOT\\US\\245u\\246\\146\\144\"","tag":"AbiBytesDynamic"},{"contents":"\",T\\CAN3i\\230~'\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\239\\130\\180\\156\\129\\138\\161\\152\\161g\\140 ej\\235\\230\\DC3=\\DC1*0\\155\\EOT\\251[\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251z\\179\\133\\200\\254e\\225\\a\\NAK\\232\\187\\154\\209:\\202\\ETX\\149\\162\\196wg\\163%n1\\167U7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\174\\237\\147\\227B\\ETB\\SUB\\129\\&0c&i\\223M\\189O\\139z\\254\\171\\ETX\\155\\&9\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\DLE\\130\\DC1\\210\\157M\\215b\\210l\\242}\\149\\139\\&3\\228!]\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\STXY$l\\135\\133\\235\\v\\ETB\\224_\\187\\207\\229\\174\\248\\DC4I|6\\SYN\\230\\SOH\\f\\255|`\\199<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\129\\194\\161\\EM\\166N[sDW\\227Oq\\231\\209\\&4\\248g\\DEL\\234\\130\\STXQ\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\238\\140H\\DC4v\\SUB\\SOH\\DC4eSj*\\204N\\a\\224\\ACK\\177\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RSp}\\200\\253O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\240\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\&9\\167\\&8\\149G\\132\\163>\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\156\\232\\219%W\\150u\\203\\144\\fKS\\223ux`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\180k\\\\\\237m4\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244)\\249\\206\\151\\f\\184\\194\\\\\\154P\\ENQ\\254\\ETX@;N\\254h\\142\\145\\138\\227\\175\\\"Gt\\DC1(\\161\\131\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\238YY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\198M0\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"IZXL\\211\\143r\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\GShB\\255;\\151C\\243hRm\\NAK\\133\\225\\179]\\150`x\\134\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\STX\\ACK\\248c\\166\\142S\\218t\\244\\190\\166\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\FS\\194I\\225X\\DC4}\\129\\205\\132\\209\\175h\\EM\\161L\\152\\238y\\174\\160\\210dQ\\208\\254e\\SI\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\151j\\ENQ\\180\\&6y\\167\\219\\199P\\158\\158^jprV\\224\\207\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\150\\180\\US\\236\\162\\203\\169\\249\\192\\NULZa\\155\"","tag":"AbiBytesDynamic"},{"contents":"\">X\\221\\168H\\130\\185\\131\\155\\173\\232F\\212'\"","tag":"AbiBytesDynamic"},{"contents":"\"jt\\140\\226\\229U\\\\\\241\\163\\205\\NULS\\165\\231\\219}\\163\\NAK\\235\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\255N\\SUB\\175g}\\197.\\EM\\216,\\150\\202\\142@\\SYN@\\143\\219|1S\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\NAKJ\\EOT1*\\188\\192\\246\\206\\214\\142\\247\\216u\\DC2\\SO\\227p\\254D;\\201\\212\\246\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187R\\237\\155\\160\\t/L\\157\\131\\248N\\195\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\DC4\\129\\&7j\\195;\\237h\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"~vx_x\\136V\\194<\\243\\196\\244|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\235\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\238z\\SOH;\\191\\164a\\238\\142\\202\\170\\240\\US\\CAN\\\\`\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\234\\US\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\135\\181\\128\\172 \\232\\164j\\EOT\\232\\177>!r\\249\\GS\\150\\EOT\\148U\\128\\191R\\161@L\\\"\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135r5\\140\\135\\210\\&0\\209\\&3\\172\\185\\214\\173 \\SOH\\154\\228\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136j\\165\\232k\\NAK\\198\\185:\\220\\245\\181\\153~\\209\\228\\177\\242;\\244x\\221;\\234\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236n\\195\\173u\\CANg\\192\\181\\206\\191\\SOH\\228h\\165\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\213\\157\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\224\\137mh\\148\\215\\EM\\193W\\234\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\237\\r\\198\\217\\241\\206\\237\\186M\\243\\ENQB\\ETB\\241\\242\\&6\\ENQM\\b\\172t\\204\\214\\186\\&8\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"=Z\\151\\220I%\\155\\213\\247~\\237\\233\\157^ng\\DC3\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179K\\247n\\186\\199\\167\\219\\250\\196\\213\\246V\\200\\241'\\217\\246U\\v\\215\\153\\b[\\151\\180,}\\184\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131A\\252\\&49j\\167\\140n+\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\190\\223\\213&\\161\\fP+\\248\\154\\251}5\\f,\\ETB)1\\216B\\216r\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\148\\147~\\142\\&4\\223\\141vl/\\144\\&5\\217f\\213\\135\\SYN\\DEL\\191\\205\\212\\163\\229\\162\\NAKn\\163T\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141wt\\CAN\\177\\196i\\137k\\174\\n\\139]\\154\\178b_\\249\\182\\171\\DELv\\157\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254T9`\\133\\152]7\\EM^o\\183\\\"(B \\DC1[\\US[\\183+\\214\\221\\rs\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\160\\207'\\EMk\\160\\130\\220\\&9e\\178\\176\\DC4\\173!\\142\\163\\DEL\\208\\192\\211\\130\\224\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212B\\212\\131\\185S,\\228\\\"\\v3\\160-\\133w0\\188\\245\\151H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\DC1\\189\\180\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\166\\ENQ\\221\\166\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\176\\217\\216\\174\\254\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139(\\n\\f\\153{+\\204\\DC3Z\\f\\131S;J\\f,\\222\\136/\\171\\208\\STX0\\130\\US\\206~\\191>\\220W\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\225\\SYN\\154\\205c}\\ENQ\\DC2b\\ETX`\\219\\DC1g\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\172&\\169;\\DC43\\149\\170\\150:Z\\144B\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\239}\\DC3\\248\\FSh\\204\\CAN\\132\\187\\243\\226\\232\\181'Z\\FS\\163\\SOH\\254\\202\\158\\173\\163\\240\\152!p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\173N[\\188\\176\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\193\\146M2\\208K\\215\\170d\\146\\144\\185\\132\\190\\184\\217Y3\\229\\194\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\222\\DC2m\\143M\\143\\&9\\129c\\151\\SUB66\\210\\a!\\150\\r>\\DC2k}L\\154t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACKT\\US\\206\\146/w\\232\\139xP\\ESC\\162\\251\\202\\NUL>\\231\\162[\\190\\DC4\\208*\\FS\\247f\\168\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\186\\157\\167\\250N\\129\\184\\218\\EOTv\\188\\ACK\\156yh\\200\\181\\131[\\139\\135\\149\\156\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\141\\129>\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\ESCb\\166\\197X\\aD\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\164v\\180hf\\194\\144q\\169=\\156\\ENQ\\171\\132\\\"\\174\\242\\ETB\\160RZ\\146b\\227\\128\\&7\\221\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\239m\\201W\\157!\\178\\&0\\225\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CANF9\\189\\251\\236\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\255\\FS\\DEL\\222R5i>\"","tag":"AbiBytesDynamic"},{"contents":"\" \\189\\&3d\\179jS\\DC4\\EOT\\FS\\181kNC\\DC3Z\\131\\192\\182\\241\\247\\150ja\\143Y\\202sF\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\208\\229h\\233C\\NUL\\178\\fm;|6\\155\\191|=jg\\DC4X\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\241\\ETX\\225-Rr\\253V\\SUB\\140C\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\&9P\\DC2\\198\\163b\\155\\244]\\172R\\150\\DLE\\158u\\129G\\175\\129z\\155\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"Zc\\172\\ACKv\\231\\243\\159!\\149\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\230v\\224O\\143\\216!\\136^\\227\\146uzU\\237-qH\\149\\176\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"7\\218\\137\\204\\&6\\139g>\\227\\DELH\\222\\FS\\180\\b^\\ETBE\\217\\175\\188\\153fj\\215n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139 v\\130,8\\233\\&1_\\197b\\248d\\FS\\190\\203-\\t\\150\\163\\208O\\144\\216\\133\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\EOTfMq\\164\\189\\199\\210\\213\\228\\246\\FS\\145\\155\\&4X\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\204hWv[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232M\\150\\228O\\205_5\\202\\177\\FS\\200!N\\173\\ENQ\\174=2\\161\\219\\181\\150\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\215\\176\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SYNc\\224\\151Q\\137Y\\255 \\191\\DLEcy\\170\\215G\\202\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\171Sg\\252\\131\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\247\\220\\DC3\\ENQ[}\\NUL\\f\\199\\136\\231\\DLE)\\155\\218A_\\\"\\240\\DC3\\128:\\249\\222y\\169\\182\\181\\207\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"_k?\\172\\177\\132+{@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\&3?\\200:m\\ACK{\\236\\241\\141c~W\\by\\186\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"mX\\188\\134\\219\\187\\139\\139\\156H\\SIr\\244d\\206t\\184f\\238=\\208!\\255\\252\\243%\\205\\149\\238C\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\219\\&0\\160\\128U,\\158W\\DC2\\243\\139\\206\\129<6\\167\\USy\\197\\DLEKB;.\\a\\DLE\\242C\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\140e\\239\\157\\242_\\178\\171S@\\164\\&2\\DLE\\132\\213\\164vc[\\130\\149\\&4\\ETB\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\195\\154N\\141\\a\\221t\\203\\255\\EM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\221\\247\\147G\\205\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\210\\183a\\176\\ETXR\\234\\NAK\\233Q\\US<\\DLE]\\182Z\\242r\\226d\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242.*\\183:6*\\DC4cg\\STX\\b\\223\\231\\238\\139\\193\\DELD\\STX\\241\\183\\187[\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\148K\\185\\216\\184{\\232\\200z\\205\\245\\212\\USl5Q\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\173\\145ZW\\182B7]g\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\135=2 \\222\\183h\\190\\199m\\199\\216\\203E-\\229&\\US\\140K\\148\\NUL\\t:R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\181\\SUB-\\184\\154\\NAK\\184k\\167\\207\\CANUCBHT\\174V\\242\\146/\\129i\\201\\250F\\156vK\\199\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\198v\\201bz0\\183\\160\\RS\\147\\235\\171g\\130n\\165l\\194\\229\\240\\133\\188\\170R\\SO\\a\\175\\206An\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\171P\\145\\206\\250\\188N\"","tag":"AbiBytesDynamic"},{"contents":"\",\\243W%t\\220hU\\134\\141\\158\\230\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166h\\143T\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\227*!\\149\\&2\\153\\&4\\244\\154\\189\\222ZD\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\177B\\ENQ<\\SOH\\204}+\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227{\\148\\&5\\154\\157x\\254\\148\\137\\202\\&8\\248%\\228,\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131?\\166 v\\151;C\\242=\\199\\166\\149$\\236\\RS\\238b\\131@\\195\\b\\STX\\138A\\240\\ACK\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\241\\234y\\n\\174x\\152\\142\\193\\235l\\r\\251\\253+\\164\\&96\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"E\\b\\181(B\\227\\153*#\\v\\EOT\\255\\204\\156\\203\\253zt\\176\\140\\155\\150\\&5*\\167\\162\\199\\192\\RSd\\ENQ\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\bM\\CAN\\DC1\\204H\\203KC]\\142\\177B\\239l\\136^#\\173\\185\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\143t\\250;\\DC2P_\\CAN\\141\\137\\242\\&4\\149\\EM\\ETBK\\135\\ETB@1IV}U\\131\\200\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"yTG)YF\\202\\217FC\\SUB\\240\\204\\252\\229\\206\\251C\\152\\143\\218\\199\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\162e\\183\\253\\\"\\227\\\"\\225\\128\\238\\190U\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\&3\\149\\197\\200=\\152\\189\\148/\\ETX\\147D\\164r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\&2\\135\\214\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\EOTqh\\CAN\\131\\ACK\\221\\221\\SOy\\206\\GS\\247\\171#>\\a\\186-|\\EM\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SIJ\\188\\239\\167\\&0\\230\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\226!\\\\\\235&\\183\\NAK\\180\\227\\144\\253~\\178\\&8Z\\DC4*\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vS\\DC19\\176\\191\\235\\160\\253\\187\\a\\235\\156Q\\246\\245\\EM1\\174\\190b/\\ETX\\165\\250\\177f9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\174?\\214\\DC17\\GS\\218\\\"\\ESC\\250u3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\214V\\ESC\\a\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\",\\177\\vE\\162\\184\\DC4\\166h\\138l\\RSAe\\138C\\196\\150\\172\\194\\182=\"","tag":"AbiBytesDynamic"},{"contents":"\"u2t\\170\\EOTP6\\214\\205\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168X\\EM\\199\\215\\DC1\\DC1\\240)2\\196\\241\\213!#\\203\\221\\250\\228\\224\\245\\CAN\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\145j\\185\\177\\252\\DC2\\EM\\229A!L\\163\\184B\\183\\222\\210&\\183|,\\b\\208\\144(\\ACK\\128\\130\\155\\194\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\218\\166\\191\\203t\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"8\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236#\\132y\\219t\\SO\\150\\NUL\\202\\248xpH\\195\\186#D\\186g\\169\\188|\\227\\214\\249\\v\\NAK\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"N`\\255V\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\DELS\\DLE\\173P\\177\\&3LT\\218\\143\\209\\221\\146k\\225\\225$\\129\\210\\&4\\DC1\\223\\&94q\\EOT\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\206i\\192\\\\\\137U\\166\\175\\DEL~\\SOHA\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\187\\177\\DC3\\208O`'\\202!'P\\185b\\NUL\\237\\203=\\143\\171\\169\\154\\153+C\\171\\173o\\147A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148.\\161z\\SI\\SO\\134K\\252d]\\142%(}\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\157\\DC3d\\233\\b\\128\\145\\154\\b\\151\\167TE\\DC1\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\253\\ETX\\203\\154\\&6g%\\206\\254\\200\\176\\195f\\161\\150\\134W<\\222\\SOZz8|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143h\\157\\175\\&9\\147\\&3@\\222t\\180\\149w\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\200\\216\\155\\169\\187;\\223\\133\\fk?\"","tag":"AbiBytesDynamic"},{"contents":"\"6\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"^\\135\\169\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202n\\DC2]\\243Hx\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\&2\\235\\157\\230\\244i\\EOT\\NAK\\193n\\139;\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"P,\\254\\225\\US\\174E\\fu\\150z\\134\\158\\206\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\246\\150\\192DG\\170\\220U\\157\\230'xQ\\254;H\\245\\149\\SO\\208'a\\190\\NUL\\247b\\222b\\157|\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\231\\207\\187\\130\\224\\250\\177\\216U\\a^\\DEL+\\207\\197&[\\176\\214\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213;\\GSp\\128\\184\\235\\154\\202\\169\\SO\\205r\\153\\GSk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTo\\253\\DC4;dFVP\\227L\\202oF\\230Pn\\DC2\\206]\\150\\231\\227O\\tR\\STX\\160\\192\\n\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\165\\221\\204U\\169\\&5\\215{\\212\\r\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196o^'\\200\\135k\\161\\n\\192\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\" \\230\\233g\\156h\\215\\136(\\195o\\197l\\SI\\EMh\"","tag":"AbiBytesDynamic"},{"contents":"\"%sf\\159n\\254\\146*\\204\\227\\156:\\252[\\226\\188y\\EOT\\149-6\\133;\\ACK|^\\160\\231\\144\\190\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\232\\146\\ETX\\168\\SOH\\137\\218\\SOH/\\155\\&0\\200\\&9\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\163\\ACK\\154\\231\\171|)\\203\\fp\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\171o\\207\\173EY,\\205\\154\\233F^7\\167\\245\\229\\&8b\\152\\195S8\\147Q@\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULh\\221\\142t\\166g\\191_\\233\\172/\\218\\153\\ACK\\152\\&5\\DC1p\\US\\195\\SYN\\134(;\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\218Q3XV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\159(\\154<X\\242\\211Df\\240q\\166\\173\\207j;\\208\\229\\158\\196\\239%\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182U\\219x\\234/n\\225\\141\\231mcv\\139\\171\\ACKX[\\DLE\\138\\175\\221J1\\164\\f,\\168\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\212\\a\\167N\\214\\EM\\212\\130\\223\\ETX.js\\nWJ\\bM\\227\\133U\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\232g^\\128\\199+\\DC10IiY:\\251\\228\\230=b\\156wP\\186B\\249\\RS\\217\\&0\\200\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\216\\192\\236\\&4\\213'\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\">\\SI\\DC1\\248\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\255\\235\\\\\\190p\\204\\209|\\227\\b\\244\\206\\155\\236\\240H\\\\\\215\\225\\166\\207\\214\\DEL\\GS\\174\\139\\159\\188\\&0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\165\\&3\\185\\216,\\133k\\169\\SOH\\226\\169\\n\\229\\138`\\240\\148?$\\ETBJ\\185\\133\\214\\ACK\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"5}\\174\\206\\213\\179\\244&\\194\\DC1mz\\176%y\\242\\232.h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\144\\176\\167\\221\\&2\\EOT/sI\\159\\133\\202\\253\\201\\CAN@8B\\135\\251\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\141\\229Q\\205\\224\\DC4v\\236\\217\\191x\\162\\ETB4\\218\\196\\153G\\t~\\187\\184\\GS\\142y4\\249\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\209\\DC3\\131\\176\\165O\\\\\\158\\ETX\\198m%\\251\\138\\129\\213\\204\\SI\\163\\r\\ACK\\255\\EM\\t\\233\\179c\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DELrE\\162\\DC2{j\\163W\\169H\\153\\181p\\243L \\182\\199\\187\\222;M\\243W\\214})\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211mL_|\\ESC?\\148\\&5\\171nu\\129\\227\\191|\\207\\158\\ETB\\235\\129\\205\\&8\\159z\\210s\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\214\\174\\r\\137\\188A\\EM\\255\\247\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134[\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\252\\243\\146\\153d\\EMm\\DC2\\229\\201\\242KW\\DEL\\SYN\\150GH;\\148\\228#\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\220\\138u\\231\\231\\255\\172&BH\\222\\175\\183\\161\\195\\128\\252\\198&\\219\\210\\t\\156\\158\\&3\\155\\162.\\167\\160\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\182xP\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\254rv\\133\\242\\STX\\221\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\214\\&94W\\NUL(V}\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\186\\US$\\178\\SIm\\230\\150\\243\\140\\255\\bY*\\SUBr\\207\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\" a'\\NUL\\208R\\DC3\\131\\205Q(\\168\\134\\233;\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\205\\200\\154\\ENQ\\238\\STX\\CAN\\174\\190\\208\\EOT\\vH\\202\\GS\\161\\235\\FSW\\171\\&0\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\203\\t\\n\\167\\GS\\b\\a\\177\\171{\\196+\\229\\244\\191r;\\237\\&6q\\228\\135\\r\\187<\\246\\v\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173Fv\\149\\fx\\186\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\240\\SUB{\\180\\148'\\246\\235Z\\241\\212uL\\136\\232\\157\\246\\137)c\\219\\DC4\\130\\254\\252y\\DC2\\207\\&2\\164\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\253B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f[A+c\\138@z\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\151\\246\\227W;\\RS6\\213\\130\\186\\171\\213\\246p\\152x\\255\\184\\DLE.I\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\186\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245LT$\\174\\254\\143\\223\\203d\\255kB\\143\\210\\194:.\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\207\\ESC\\241\\200BS\\EM\\183\\190\\232Cu\\DEL4\\158[\\DLE\\EM\\211\\147f\\162\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\146\\178HPF6v\\SO$1S\\212~\\234\\219\\232\\n\\DC3\\203\\135\\148\\134\\GSEU\\SI\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\247!\\208\\201\\185a\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\202SZ\\250\\&68\\150\\142\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\153Z\\255]\\ETB\\241qb\\188\\NAK\\SYNR`4pU\\US\\201\\&4$\\157XC\\189\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"s\\133\\ESC\\164\\DC2:\\235\\SO\\143\\227\\156\\ESC\\223 \\191\\SO\\237\\220\\243\\&4\\147\\142\\149ZR\\187If\\151@\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\128o\\209\\NUL\\206\\137\\162\\178B\\152l\\218%I\\EOT\\183\\&9\\143\\171\\180@\\v\\174%\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\150\\&9\\ACKg%\\158S#b\\165\\237V1\\162bZC\\217\\174\\231\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"24139561582702590429656081"],"tag":"AbiUInt"},{"contents":[256,"1527860069"],"tag":"AbiUInt"},{"contents":[256,"89105487823892580664756500893879927767154432050584320123044475486658620360953"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639634"],"tag":"AbiUInt"},{"contents":[256,"58446626794914169278141961296861663804362755205713932699985208810897291154201"],"tag":"AbiUInt"},{"contents":[256,"1529080583"],"tag":"AbiUInt"},{"contents":[256,"14320585368299077158314886383520727131459195184065131236315072299216447414640"],"tag":"AbiUInt"},{"contents":[256,"97031056008028859481099598706559416397752884738371645422854081305724591182492"],"tag":"AbiUInt"},{"contents":[256,"106109706813516488549858979262970564128523647582753760860416289766470314267521"],"tag":"AbiUInt"},{"contents":[256,"38016728995551520585226172016453900273694779631654512218739337766547326517868"],"tag":"AbiUInt"},{"contents":[256,"84342790200661594183753273117319213589887252341293085917083907074135590551242"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"906"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"102753551136258324271114313251793009434447248108280879047416556153843001921203"],"tag":"AbiUInt"},{"contents":[256,"91893421204586573219651487661905003064177437625853371456109702939440288462674"],"tag":"AbiUInt"},{"contents":[256,"1529032199"],"tag":"AbiUInt"},{"contents":[256,"112085807966789834771927770837953645069475527026282089773963859257305647715427"],"tag":"AbiUInt"},{"contents":[256,"84"],"tag":"AbiUInt"},{"contents":[256,"57082726039903256518462903335951244418686301573278281839382959458213047268101"],"tag":"AbiUInt"},{"contents":[256,"39929556045502062542890825505974149922221081567787566011805950635973682354925"],"tag":"AbiUInt"},{"contents":[256,"630326388444410058627367370951645175009583886934646992339185021304607595843"],"tag":"AbiUInt"},{"contents":[256,"104658034207498026728891265642745618578115955791530176511334703773976145632430"],"tag":"AbiUInt"},{"contents":[256,"74998142067883828053185225776348281350959674243584282512816664545878301028174"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"86399"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088322"],"tag":"AbiUInt"},{"contents":[256,"1530689614"],"tag":"AbiUInt"},{"contents":[256,"1533537450"],"tag":"AbiUInt"},{"contents":[256,"22545312454608913059525843110852204025138391923175956631513889544002786723332"],"tag":"AbiUInt"},{"contents":[256,"1532173953"],"tag":"AbiUInt"},{"contents":[256,"74624083546026669584733458787692053701112919862758999008960032120490604917725"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222595"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"65779018927043040128209347686756355716114325622643921597690107580278049005096"],"tag":"AbiUInt"},{"contents":[256,"899"],"tag":"AbiUInt"},{"contents":[256,"64565111145581326817315864190041223206319648599984184698848323846524610920472"],"tag":"AbiUInt"},{"contents":[256,"1529247791"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211777"],"tag":"AbiUInt"},{"contents":[256,"1533883506"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030335"],"tag":"AbiUInt"},{"contents":[256,"3849175800927616518248149641983425145819673557141346313744001532268530351051"],"tag":"AbiUInt"},{"contents":[256,"1532768784"],"tag":"AbiUInt"},{"contents":[256,"32180314023325928612534014581390058293441998958279504736530580894872201153249"],"tag":"AbiUInt"},{"contents":[256,"19583871473558978820153331754103306900837071041189340723301766693610062905191"],"tag":"AbiUInt"},{"contents":[256,"88800727784626906143308964942154972746105624471236907026983682707328794860059"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639033"],"tag":"AbiUInt"},{"contents":[256,"1527772945"],"tag":"AbiUInt"},{"contents":[256,"14495524371571133167508677286730195215229434397152083329448875724853982617559"],"tag":"AbiUInt"},{"contents":[256,"43419344814121761230154744601555737775446884588630710260408527117492390145990"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1529093417"],"tag":"AbiUInt"},{"contents":[256,"1531996180"],"tag":"AbiUInt"},{"contents":[256,"69141420060372257060290513847331292538374696310328394618323786993776494859927"],"tag":"AbiUInt"},{"contents":[256,"48048988757229062163607701254923389876011507558085476279134755009333361024346"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428159"],"tag":"AbiUInt"},{"contents":[256,"1997"],"tag":"AbiUInt"},{"contents":[256,"37556894748469199197996745391017797829504268381317491101646849792802131633418"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1530939765"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639928"],"tag":"AbiUInt"},{"contents":[256,"1532209877"],"tag":"AbiUInt"},{"contents":[256,"79345192222200434471842086031030784157573696422689322446499303095664157282989"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639840"],"tag":"AbiUInt"},{"contents":[256,"71"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892767"],"tag":"AbiUInt"},{"contents":[256,"39744484628120806386444507062211905001285355839916503304513784670802835693932"],"tag":"AbiUInt"},{"contents":[256,"14691545718303701516322471213928983503504826689789447651110414298646854589621"],"tag":"AbiUInt"},{"contents":[256,"433"],"tag":"AbiUInt"},{"contents":[256,"101008035854047972898654995325827922431037833699582841676496415650500307329886"],"tag":"AbiUInt"},{"contents":[256,"69856499148403276715030507587176026272568740665685653500642282250538351110760"],"tag":"AbiUInt"},{"contents":[256,"1531450859"],"tag":"AbiUInt"},{"contents":[256,"1532402292"],"tag":"AbiUInt"},{"contents":[256,"79121304354357878253031979780746759341775450255211093865887074962124541652890"],"tag":"AbiUInt"},{"contents":[256,"68525475010320776251766823301992744457823649689531468813221427332127368431972"],"tag":"AbiUInt"},{"contents":[256,"230"],"tag":"AbiUInt"},{"contents":[256,"60845285490340537814992465212382388187230600707382191801831645416372092031284"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000036f70","0x0000000000000000000000000000000000000000000000000000000000002f94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"1"],"tag":"AbiUInt"},{"contents":[8,"66"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000050da5","0x000000000000000000000000000000000000000000000000000000000000a524"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"113418858399265467711621111626386242440530973034598837504223251283772099828969"],"tag":"AbiUInt"},{"contents":[256,"107141965415452456203981202563445265108708868907038328743083337847750497269532"],"tag":"AbiUInt"},{"contents":[256,"1533294292"],"tag":"AbiUInt"},{"contents":[256,"102224520771633871614276762512076371545346842555851009894570163279248397496282"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000053e48","0x0000000000000000000000000000000000000000000000000000000000000395"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"851"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e43c","0x0000000000000000000000000000000000000000000000000000000000007e4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f39","0x000000000000000000000000000000000000000000000000000000000000255c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"1534029133"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f7dc","0x0000000000000000000000000000000000000000000000000000000000001bad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":[256,"55183366713952839560589448447443657926298550017416310579892194210338056680325"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ed57","0x000000000000000000000000000000000000000000000000000000000000b8eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002711","0x000000000000000000000000000000000000000000000000000000000000dcc3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"14722583026881879429763554117482359927706794722386357831963187625402904102630"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038986","0x000000000000000000000000000000000000000000000000000000000000a4ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f935","0x0000000000000000000000000000000000000000000000000000000000003661"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003f2ef","0x0000000000000000000000000000000000000000000000000000000000000041"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f987","0x0000000000000000000000000000000000000000000000000000000000007ef9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[8,"101"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f0f2","0x00000000000000000000000000000000000000000000000000000000000031a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a798","0x000000000000000000000000000000000000000000000000000000000000acc6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000630bb","0x00000000000000000000000000000000000000000000000000000000000011aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"5004"],"tag":"AbiUInt"},{"contents":[256,"1533442658"],"tag":"AbiUInt"},{"contents":[256,"47170236934093335165234459"],"tag":"AbiUInt"},{"contents":[256,"53164652744737520626410603451478256059609873425695486469361526509433416223318"],"tag":"AbiUInt"},{"contents":[256,"181"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062336"],"tag":"AbiUInt"},{"contents":[256,"3774322709029070953604552382066646783779844600362949891888274934325750604168"],"tag":"AbiUInt"},{"contents":[256,"105670924625380245292995601747763030906761094655050034534660413885588542846811"],"tag":"AbiUInt"},{"contents":[256,"424220334483336033123578368476806269974313260006272158822836688556763226698"],"tag":"AbiUInt"},{"contents":[256,"20127765838636202952594411596538275617"],"tag":"AbiUInt"},{"contents":[256,"310090126510116605161546058342328144186"],"tag":"AbiUInt"},{"contents":[256,"42805330287196134954657667515031562795944601050868782232978856536493338677721"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"3599"],"tag":"AbiUInt"},{"contents":[256,"75707192049751905357064307083597651552828109799456344054020365650196842364255"],"tag":"AbiUInt"},{"contents":[256,"113089321529258723526461484072180228155541917433721073754155262538424441912819"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639934"],"tag":"AbiUInt"},{"contents":[256,"1535040429"],"tag":"AbiUInt"},{"contents":[256,"77696835032993168881762720994664049540086942069892209043890685260481738535223"],"tag":"AbiUInt"},{"contents":[256,"162"],"tag":"AbiUInt"},{"contents":[256,"69546513224846930306255114283580836417875179464429436954273917942414337057454"],"tag":"AbiUInt"},{"contents":[256,"49"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"32363407991575714269746734517088555897460014059343181953404595979728325688559"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858881"],"tag":"AbiUInt"},{"contents":[256,"91763180410854481495624248849178834351791703461615550364278608281138504633816"],"tag":"AbiUInt"},{"contents":[256,"1537164327"],"tag":"AbiUInt"},{"contents":[256,"6809358952318112085160025176004538602194335550749257309939256983990629718928"],"tag":"AbiUInt"},{"contents":[256,"1532862603"],"tag":"AbiUInt"},{"contents":[256,"46589361039467026433486086349781324086"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639637"],"tag":"AbiUInt"},{"contents":[256,"55444360513317592981098702584005496374"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211774"],"tag":"AbiUInt"},{"contents":[256,"70171686711707713589876119751038776939213404151887062389207565719471255323570"],"tag":"AbiUInt"},{"contents":[256,"35508515904231705605245668979639358102244624626519620458119651559274387737859"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639850"],"tag":"AbiUInt"},{"contents":[256,"14812287995265739234137876334746589310915965552963688235870559770072480349871"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639798"],"tag":"AbiUInt"},{"contents":[256,"94254858331224956575994896504791534688414711183420899873413525117605068902783"],"tag":"AbiUInt"},{"contents":[256,"7936577997419275096475884145739116981535713143389364650091614057293589291437"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"31154537178733197516018161310850678980200694575821820561445215237771009224407"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628415"],"tag":"AbiUInt"},{"contents":[256,"11922839645150719662385527040141350603462862785730995218722409559789866157224"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1533649606"],"tag":"AbiUInt"},{"contents":[256,"25305894314870430414293517047862467450554265038869267069914570407374513475747"],"tag":"AbiUInt"},{"contents":[256,"1533952951"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"56810139053039990732617219303651174641493115924750229358774289023416893267583"],"tag":"AbiUInt"},{"contents":[256,"1019"],"tag":"AbiUInt"},{"contents":[256,"64141036822137283636104838080280812872288820781330299987232301684747132584011"],"tag":"AbiUInt"},{"contents":[256,"35634778952339845940401997798609860550117742314364257531361833286295267252028"],"tag":"AbiUInt"},{"contents":[256,"91128580884399753579888526070251363297886240898162157818226975004676042959831"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75c","0x00000000000000000000000000000000000000000000000000000000000000e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000002d126451b669f4070"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"\"\\SO$\\234\\236.\\224\\191\\226\\DC1\\168\\SUB\\FSF\\152\\DC2R\\155\\205W\\218\\218\\STX\\134N\"","tag":"AbiString"},{"contents":"\"atGv\\188\\191\\251jz\\235\\151\\151\\\\b\\211\\249\\150/\\242n\\146\\231\\n\\216\\138V\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":"0xd615c52d5AE16Ad8b6Ec4654D85753263437D50f","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"59916684082657135488206252608105614613959999201729053185383664283661055845199"],"tag":"AbiUInt"},{"contents":[256,"39540063024955986704407977942133151649557751011697775789309714791385404741792"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"1525787438"],"tag":"AbiUInt"},{"contents":[256,"97049154667073640178443174588743926767433154595218540124244189635106732922415"],"tag":"AbiUInt"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000825e0","0x0000000000000000000000000000000000000000000000000000000000004d87"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d51","0x0000000000000000000000000000000000000000000000000000000000000b81"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000769ee","0x0000000000000000000000000000000000000000000000000000000000005fe3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[256,"113482284950733983945705485296263748273962789926036305680405180780064378272300"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb3","0x000000000000000000000000000000000000000000000000000000000000ea86"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639888"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014c50","0x0000000000000000000000000000000000000000000000000000000000008338"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7e","0x000000000000000000000000000000000000000000000000000000000000ea84"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"33888987693246847436235904407614274047802376440823850971561054623631435210369"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x000000000000000000000000000000000000000000000000000000000000d8cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b49e","0x0000000000000000000000000000000000000000000000000000000000002321"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0ec","0x000000000000000000000000000000000000000000000000000000000000a293"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"57921407598143193760058981422916808140196220202968850046818530586145454429955"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ea63","0x00000000000000000000000000000000000000000000000000000000000058ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb28","0x000000000000000000000000000000000000000000000000000000000000ec36"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066fe4","0x000000000000000000000000000000000000000000000000000000000000987b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639933"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eade","0x00000000000000000000000000000000000000000000000000000000000047b1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"104"],"tag":"AbiUInt"},{"contents":[8,"144"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399ca","0x000000000000000000000000000000000000000000000000000000000000c731"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b1d5","0x0000000000000000000000000000000000000000000000000000000000001381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"81451397060404783042650039060501036387379574598758457004644269155386855969196"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005ffe8","0x00000000000000000000000000000000000000000000000000000000000000fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"278060784865040431762035120544907523184"],"tag":"AbiUInt"},{"contents":[256,"23642501534443452860636941551569746922468774172450046178524877684633293544752"],"tag":"AbiUInt"},{"contents":[256,"1531778128"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1c","0x0000000000000000000000000000000000000000000000000000000000004c8a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"99691736483738945395904983920733108445135981507262044117436835684485648026634"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003848f","0x000000000000000000000000000000000000000000000000000000000000a524"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000019536","0x000000000000000000000000000000000000000000000000000000000000000a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":[256,"64888328904899800805490675442526177173564950717308090248675128228188203367596"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132608"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000385","0x000000000000000000000000000000000000000000000000000000000000b44a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"1525748165"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000223d5","0x00000000000000000000000000000000000000000000000000000000000001f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":[256,"38703790147334428748692907651834304920892815237462609572443946979423023172353"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033d38","0x000000000000000000000000000000000000000000000000000000000000103d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"299"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034a2f","0x000000000000000000000000000000000000000000000000000000000000676c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"24020370607748163030415166896391"],"tag":"AbiUInt"},{"contents":[256,"137269255709523255860067744259530"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000577b0","0x0000000000000000000000000000000000000000000000000000000000001cf3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"44393959184661892243924291221825770181506626099234475772473512632386332022469"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080568","0x000000000000000000000000000000000000000000000000000000000000192c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1528874800"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000777c9","0x0000000000000000000000000000000000000000000000000000000000000030"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002ecb","0x0000000000000000000000000000000000000000000000000000000000003143"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"1534688455"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bce","0x00000000000000000000000000000000000000000000000000000000000013e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"1527724448"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008431","0x000000000000000000000000000000000000000000000000000000000000b31c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"\"\\179\\144\\144\\186\\214x\\197\\208\\202\\159\\SI:\\189\"","tag":"AbiString"},{"contents":"\"B3&\\157,\\171\\217\\135\\134\\134\\134\\134\\134\\134\\134\\134\\134n\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"999999999999999998"],"tag":"AbiUInt"},{"contents":[256,"111183798642967719992161356090899947804850398598216677157452481803226628888674"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609600"],"tag":"AbiUInt"},{"contents":[256,"323"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003526c","0x000000000000000000000000000000000000000000000000000000000000101c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"29335211343706204806549562495038130099765496565326554215405016099742190914170"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f5c9","0x0000000000000000000000000000000000000000000000000000000000009aa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]