[{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"4003"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000036","0x000000000000000000000000000000000000000000000000000000000000006b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"49"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000053295","0x0000000000000000000000000000000000000000000000000000000000001390"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"25042748742485488926665855464638361312651431856856926851202264275829752123009"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076ea6","0x0000000000000000000000000000000000000000000000000000000000001019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"61947241"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":[8,"231"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008a","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"136"],"tag":"AbiUInt"},{"contents":[256,"63794488185336966039390018294878120728390219156378786835640224923154264678977"],"tag":"AbiUInt"},{"contents":[256,"506"],"tag":"AbiUInt"},{"contents":[256,"30"],"tag":"AbiUInt"},{"contents":[256,"49611227388322071997312052156751835316755426217433970729710042861190115975655"],"tag":"AbiUInt"},{"contents":[256,"56772977667785531457437002289583037766705342264727919902505579610553423226017"],"tag":"AbiUInt"},{"contents":[256,"6866408397179500688323381229093061617072992691287445210178740912482186703940"],"tag":"AbiUInt"},{"contents":[256,"26371563011230988073750434305838234611425579584782865948659591616584452546811"],"tag":"AbiUInt"},{"contents":[256,"60176605344111683369821703470560123088778614705790396884809144164167819075969"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639634"],"tag":"AbiUInt"},{"contents":[256,"74315841269616996832770789501056759475309333169554840165087825162405867230000"],"tag":"AbiUInt"},{"contents":[256,"9002"],"tag":"AbiUInt"},{"contents":[256,"153"],"tag":"AbiUInt"},{"contents":[256,"108455864370362057047571099229007785644671039698847247968825421090914862587670"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609601"],"tag":"AbiUInt"},{"contents":[256,"47305954289708024293816899418825267062347849790191615078252072956870479406765"],"tag":"AbiUInt"},{"contents":[256,"79776180959348416897534777133607531973038912728990724112225436542251949982353"],"tag":"AbiUInt"},{"contents":[256,"30043173081742248630293524796589421796199153955671865096316326194512520123522"],"tag":"AbiUInt"},{"contents":[256,"112109136341230777646801708495097617232603719438104106971509631933050204970784"],"tag":"AbiUInt"},{"contents":[256,"15688455980021860040690358861620729814049018794689677839623611568705752289952"],"tag":"AbiUInt"},{"contents":[256,"32"],"tag":"AbiUInt"},{"contents":[256,"58024592590135352567545301218838875453273892145125316353348632409834567047115"],"tag":"AbiUInt"},{"contents":[256,"99999998"],"tag":"AbiUInt"},{"contents":[256,"31435522834930361234043908"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"34225304449249102870652415686754046230318298178256465027039103521203567986211"],"tag":"AbiUInt"},{"contents":[256,"25779528917048287189214945627658005776776695931510177679907934371225625450670"],"tag":"AbiUInt"},{"contents":[256,"31862416589927309353648009552326887566365654473533428618821958545320280621416"],"tag":"AbiUInt"},{"contents":[256,"40330924270244088993265210217859304979783165345035853642477662895165632774066"],"tag":"AbiUInt"},{"contents":[256,"110626202862361665088867325602622999523334948996680585015739291668785389223521"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"56022246160132300017832649976479932900957667873871161455114477789875974490210"],"tag":"AbiUInt"},{"contents":[256,"5003"],"tag":"AbiUInt"},{"contents":[256,"66964677968490256608702986316630612246040605070435985008722115403689258751544"],"tag":"AbiUInt"},{"contents":[256,"100641732077834933998293680117209397215615633194326699595521431731306292122928"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"93162397558560274316202025349110745355901616763752376977167941441132249024458"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639881"],"tag":"AbiUInt"},{"contents":[256,"95729561605445558970162054332866155296450913630485363803368443167604735898752"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639836"],"tag":"AbiUInt"},{"contents":[256,"50016082847855841602587738994774480267005439783477602612036883830429564175515"],"tag":"AbiUInt"},{"contents":[256,"41006817364061160325677695626626576940224873135203154082734252953881942115107"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"},{"contents":[256,"6404164348166950260708498201055553213551282588379"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"77148335893896341860693505815522099748930443030008665092777200023370332991157"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec4","0x000000000000000000000000000000000000000000000000000000000000b2fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000003e7b63f0a8eab4e1f"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032795","0x0000000000000000000000000000000000000000000000000000000000003610"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"40144876424445013377789566252085440282288037822513309671352668897698634568695"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000041a2","0x00000000000000000000000000000000000000000000000000000000000095b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae5","0x0000000000000000000000000000000000000000000000000000000000006a28"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"100000002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaff","0x000000000000000000000000000000000000000000000000000000000000cfae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"87153687101263043692177892229300549604530740838509646058904171029197173450781"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ef","0x0000000000000000000000000000000000000000000000000000000000003c08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"4085847352667853061"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008833","0x0000000000000000000000000000000000000000000000000000000000005c3d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"52"],"tag":"AbiUInt"},{"contents":[256,"21755798975047278231343400596909571342259837057950107168738320701639894653757"],"tag":"AbiUInt"},{"contents":[256,"126"],"tag":"AbiUInt"},{"contents":[256,"20"],"tag":"AbiUInt"},{"contents":[256,"34866600132419238130285160823400349507669588335097913529056355366731058228817"],"tag":"AbiUInt"},{"contents":[256,"55066886420921007219731411840386552400774635960170122857548231858494191477251"],"tag":"AbiUInt"},{"contents":[256,"5765104670521838979544033164131780694469778248916909992129028524537942349129"],"tag":"AbiUInt"},{"contents":[256,"6312718098041176834769704507117526016467067173920920423179838739166071763696"],"tag":"AbiUInt"},{"contents":[256,"52086866720095948282479393147034250182339204350788090925752809918832734836844"],"tag":"AbiUInt"},{"contents":[256,"65001582088780992686105062822807182528236403799401240823943165430025492595415"],"tag":"AbiUInt"},{"contents":[256,"18921787729408675800547411498635945922570809953663740211478791536529203642460"],"tag":"AbiUInt"},{"contents":[256,"52"],"tag":"AbiUInt"},{"contents":[256,"114"],"tag":"AbiUInt"},{"contents":[256,"18861048010582100336360246756526716672204300218677386783023454964291096675066"],"tag":"AbiUInt"},{"contents":[256,"7501864778616116522291248474860046177926973299204565268938268374409970389888"],"tag":"AbiUInt"},{"contents":[256,"8046156785715648613727841026033757557748960404392735192923096169453513289716"],"tag":"AbiUInt"},{"contents":[256,"18349009507368625266418800190679797118088464410462394156589461927556017802473"],"tag":"AbiUInt"},{"contents":[256,"9790384402553206544877159318211115107205118415250286434966123194081381749721"],"tag":"AbiUInt"},{"contents":[256,"21919861966347559201795773073357423221465299113881079052392193084168560835261"],"tag":"AbiUInt"},{"contents":[256,"13722356004869843875548888678150709528768038438068374230152011228797380668622"],"tag":"AbiUInt"},{"contents":[256,"26"],"tag":"AbiUInt"},{"contents":[256,"54789251888571649868787786677011839334802250645578881635820948841216097986933"],"tag":"AbiUInt"},{"contents":[256,"58068491"],"tag":"AbiUInt"},{"contents":[256,"29041386656652208397537991"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"40330924270244088993265210217859304979783165345035853642477662895165632774066"],"tag":"AbiUInt"},{"contents":[256,"110626202862361665088867325602622999523334948996680585015739291668785389223521"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"56022246160132300017832649976479932900957667873871161455114477789875974490210"],"tag":"AbiUInt"},{"contents":[256,"5003"],"tag":"AbiUInt"},{"contents":[256,"66964677968490256608702986316630612246040605070435985008722115403689258751544"],"tag":"AbiUInt"},{"contents":[256,"100641732077834933998293680117209397215615633194326699595521431731306292122928"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"93162397558560274316202025349110745355901616763752376977167941441132249024458"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639881"],"tag":"AbiUInt"},{"contents":[256,"95729561605445558970162054332866155296450913630485363803368443167604735898752"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639836"],"tag":"AbiUInt"},{"contents":[256,"50016082847855841602587738994774480267005439783477602612036883830429564175515"],"tag":"AbiUInt"},{"contents":[256,"50016082847855841602587738994774480267005439783477602612036883830429564175515"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001388","0x0000000000000000000000000000000000000000000000000000000000000401"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000002326"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"46"],"tag":"AbiUInt"},{"contents":[256,"107935960809344482168274886449862603629207972505459535607954075615738327752269"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ff","0x0000000000000000000000000000000000000000000000000000000000004c12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"17784270264357490643961248094849000066947711349411500060146878897926931341199"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fc","0x000000000000000000000000000000000000000000000000000000000000df12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"506"],"tag":"AbiUInt"},{"contents":[256,"30"],"tag":"AbiUInt"},{"contents":[256,"49611227388322071997312052156751835316755426217433970729710042861190115975655"],"tag":"AbiUInt"},{"contents":[256,"56772977667785531457437002289583037766705342264727919902505579610553423226017"],"tag":"AbiUInt"},{"contents":[256,"6866408397179500688323381229093061617072992691287445210178740912482186703940"],"tag":"AbiUInt"},{"contents":[256,"26371563011230988073750434305838234611425579584782865948659591616584452546811"],"tag":"AbiUInt"},{"contents":[256,"60176605344111683369821703470560123088778614705790396884809144164167819075969"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639634"],"tag":"AbiUInt"},{"contents":[256,"74315841269616996832770789501056759475309333169554840165087825162405867230000"],"tag":"AbiUInt"},{"contents":[256,"9002"],"tag":"AbiUInt"},{"contents":[256,"153"],"tag":"AbiUInt"},{"contents":[256,"108455864370362057047571099229007785644671039698847247968825421090914862587670"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"34225304449249102870652415686754046230318298178256465027039103521203567986211"],"tag":"AbiUInt"},{"contents":[256,"25779528917048287189214945627658005776776695931510177679907934371225625450670"],"tag":"AbiUInt"},{"contents":[256,"31862416589927309353648009552326887566365654473533428618821958545320280621416"],"tag":"AbiUInt"},{"contents":[256,"40330924270244088993265210217859304979783165345035853642477662895165632774066"],"tag":"AbiUInt"},{"contents":[256,"110626202862361665088867325602622999523334948996680585015739291668785389223521"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"56022246160132300017832649976479932900957667873871161455114477789875974490210"],"tag":"AbiUInt"},{"contents":[256,"5003"],"tag":"AbiUInt"},{"contents":[256,"66964677968490256608702986316630612246040605070435985008722115403689258751544"],"tag":"AbiUInt"},{"contents":[256,"100641732077834933998293680117209397215615633194326699595521431731306292122928"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"93162397558560274316202025349110745355901616763752376977167941441132249024458"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639881"],"tag":"AbiUInt"},{"contents":[256,"95729561605445558970162054332866155296450913630485363803368443167604735898752"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639836"],"tag":"AbiUInt"},{"contents":[256,"50016082847855841602587738994774480267005439783477602612036883830429564175515"],"tag":"AbiUInt"},{"contents":[256,"41006817364061160325677695626626576940224873135203154082734252953881942115107"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"},{"contents":[256,"6404164348166950260708498201055553213551282588379"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"77148335893896341860693505815522099748930443030008665092777200023370332991157"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae1","0x0000000000000000000000000000000000000000000000000000000000009aa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000026f4cbf0d9934d923"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b5a0","0x000000000000000000000000000000000000000000000000000000000000000c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002711","0x000000000000000000000000000000000000000000000000000000000000653f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065ae2","0x00000000000000000000000000000000000000000000000000000000000000eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"64378620725277564286288773586216120057068064645050847559255338191733750392759"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858879"],"tag":"AbiUInt"},{"contents":[256,"20675202227526478626702788855673617537760697076955127190313634392262315100654"],"tag":"AbiUInt"},{"contents":[256,"1530000435"],"tag":"AbiUInt"},{"contents":[256,"912"],"tag":"AbiUInt"},{"contents":[256,"3683437507360855816560784667210913475074000819278957278604989578402701826289"],"tag":"AbiUInt"},{"contents":[256,"5004"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428163"],"tag":"AbiUInt"},{"contents":[256,"87626979523844410086110256978744448460876204240885400384208677364723185919424"],"tag":"AbiUInt"},{"contents":[256,"94396161027869562113114219496817238667945816100630331724453372321546046951514"],"tag":"AbiUInt"},{"contents":[256,"21479513524043019462317004375319732997614749099403747067919856695876978812313"],"tag":"AbiUInt"},{"contents":[256,"62047447640347900743303091373296515265696628828523355770706562402662375646782"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035135"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629932"],"tag":"AbiUInt"},{"contents":[256,"100000001"],"tag":"AbiUInt"},{"contents":[256,"31020959081664550716880392380042874907658692889326824616825304456392069982799"],"tag":"AbiUInt"},{"contents":[256,"34883942563600321156320229405587419858228788757742438349621039031652407521025"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132607"],"tag":"AbiUInt"},{"contents":[256,"155"],"tag":"AbiUInt"},{"contents":[256,"66663948383404728951961452995371006601897654441082445070438077549221503933062"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"60693898768104086842434220907333758795389092220715915751706185873529208201845"],"tag":"AbiUInt"},{"contents":[256,"69848438060276014434113968385221819414346560732850620622387441216370805079353"],"tag":"AbiUInt"},{"contents":[256,"7735771929668152289068945799948414702780670451849336201549281052878082677940"],"tag":"AbiUInt"},{"contents":[256,"1528847977"],"tag":"AbiUInt"},{"contents":[256,"9002"],"tag":"AbiUInt"},{"contents":[256,"13255920709717989491214548665962911015802055949010214779595657163649228549399"],"tag":"AbiUInt"},{"contents":[256,"3785211792336702367166876"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"98160417907679424733047785114858259988039076217243359015121789303724466817073"],"tag":"AbiUInt"},{"contents":[256,"99873391701916458448116264459849130023922871781379367517872983746438058369174"],"tag":"AbiUInt"},{"contents":[256,"1531868055"],"tag":"AbiUInt"},{"contents":[256,"13393220386091740786067658021952439382948227603029628869845902581783002840129"],"tag":"AbiUInt"},{"contents":[256,"55980217124141107687423954543229530146320350394603608260281037344576791483150"],"tag":"AbiUInt"},{"contents":[256,"77352572684209086158328122864070950098858319496848145640871274523689183348222"],"tag":"AbiUInt"},{"contents":[256,"1526972746"],"tag":"AbiUInt"},{"contents":[256,"41985991243856266618745893351315473289741281153813703158586810047721553585586"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"540"],"tag":"AbiUInt"},{"contents":[256,"1527766991"],"tag":"AbiUInt"},{"contents":[256,"89209446806984308299305534505724285707609514063091455826786785192538046677759"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e378","0x000000000000000000000000000000000000000000000000000000000000d065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000000000000000000008b"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"\"\\193\\RSq\\192*\\t\\160\\156<y\\187R\\165\\SO\\233\\159\\231H0\\246\\\\V\\SYN\"","tag":"AbiString"},{"contents":"\"\\237\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"61750551989673177023506395234631503064775622126148343233176854379648958651467"],"tag":"AbiUInt"},{"contents":[256,"4053726614687440023053055113148595413497885437278805923465493416476028923009"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"20682187419873070160682006819264282504788492838724418647043389856763450250931"],"tag":"AbiUInt"},{"contents":[256,"106520096371482587118842615164576858306429054159888393090026044513657562879501"],"tag":"AbiUInt"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c1","0x00000000000000000000000000000000000000000000000000000000000003bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"82509363486121599204872591554629598556809376326682799239381618068783564534602"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b69","0x000000000000000000000000000000000000000000000000000000000000270e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c5","0x0000000000000000000000000000000000000000000000000000000000002326"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"29"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000cf54","0x00000000000000000000000000000000000000000000000000000000000003fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"1530604434"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006425b","0x00000000000000000000000000000000000000000000000000000000000094d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"52246046720284831825786278900726278721954166010411490249616227547254092792932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142f0","0x00000000000000000000000000000000000000000000000000000000000078ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":[256,"320387628892862854430042235871240267940"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a8","0x000000000000000000000000000000000000000000000000000000000000af4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"5270728251828877384436106623750385151891589061208120106583098104713671694603"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a0f1","0x00000000000000000000000000000000000000000000000000000000000094d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"Invali request\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\\"\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7be","0x0000000000000000000000000000000000000000000000000000000000000061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":[8,"6"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232c","0x00000000000000000000000000000000000000000000000000000000000047fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"110249176066521922947348791050357024652939451630625211366485329744912583399743"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052405","0x0000000000000000000000000000000000000000000000000000000000000382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f39","0x00000000000000000000000000000000000000000000000000000000000021c6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"286"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51b","0x0000000000000000000000000000000000000000000000000000000000000f9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000597ec","0x000000000000000000000000000000000000000000000000000000000000d8d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"17855233482027804483037562843844419286036506279888780399558894049368963501714"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045e2a","0x000000000000000000000000000000000000000000000000000000000000cbb4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"604800"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002b4da","0x000000000000000000000000000000000000000000000000000000000000d294"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff8","0x0000000000000000000000000000000000000000000000000000000000002328"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"79996269520745059383887593287427618318467145100482255743657828737445369605987"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1d","0x000000000000000000000000000000000000000000000000000000000000039f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"81982288570761681816519147997192828041701276392278490434117419187524016929774"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000c","0x0000000000000000000000000000000000000000000000000000000000009f37"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81e","0x0000000000000000000000000000000000000000000000000000000000007329"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4d","0x0000000000000000000000000000000000000000000000000000000000000043"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"22"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec5","0x000000000000000000000000000000000000000000000000000000000000004b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"114494373808216510637240602816502571655457561889235870447528303901826374685771"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f36","0x000000000000000000000000000000000000000000000000000000000000001f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"1528723996"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000010","0x0000000000000000000000000000000000000000000000000000000000005042"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000671fe","0x00000000000000000000000000000000000000000000000000000000000000eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"88232230354556854705699947911286782382223133244183884039858039413240275666389"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e952","0x00000000000000000000000000000000000000000000000000000000000000e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":[256,"1525832069"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071d96","0x00000000000000000000000000000000000000000000000000000000000003ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002330e","0x000000000000000000000000000000000000000000000000000000000000c543"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"96"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000065","0x0000000000000000000000000000000000000000000000000000000000008f8a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731855"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000329b9","0x0000000000000000000000000000000000000000000000000000000000004f01"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232b","0x0000000000000000000000000000000000000000000000000000000000007841"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639679"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce54","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"18490513346411950703670669535592706005686756976599862186553056988016687903692"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead1","0x000000000000000000000000000000000000000000000000000000000000a682"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"10224185870706100125652623265919731446630007967974758109175396217"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f268","0x0000000000000000000000000000000000000000000000000000000000003a0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf5","0x00000000000000000000000000000000000000000000000000000000000030c6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"100890329284510392825117971634504328152514592711579824308659664587378298733187"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035452","0x000000000000000000000000000000000000000000000000000000000000dcba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000015","0x000000000000000000000000000000000000000000000000000000000000004f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000006c","0x0000000000000000000000000000000000000000000000000000000000008f4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008cb56","0x0000000000000000000000000000000000000000000000000000000000000bcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[128,"301024994269414378629165837436332030262"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004b37e","0x0000000000000000000000000000000000000000000000000000000000004ea0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089139","0x000000000000000000000000000000000000000000000000000000000000749d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"85650856821406719626613598969549708230125288177673134235670086484429116913499"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe4","0x00000000000000000000000000000000000000000000000000000000000011aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"61796214280986915255977513013917367116540703640461233141059323408420259621608"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eadd","0x000000000000000000000000000000000000000000000000000000000000003a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd9","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d605","0x0000000000000000000000000000000000000000000000000000000000004b99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008345","0x000000000000000000000000000000000000000000000000000000000000260b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"1534390313"],"tag":"AbiUInt"},{"contents":[256,"1529213630"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006dbe0","0x000000000000000000000000000000000000000000000000000000000000d336"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"112274298987539540838261088828493506192468875169239958794701819690271893161507"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a6e2","0x0000000000000000000000000000000000000000000000000000000000005c7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"113128581014052211128655538437944379766278414640096675271270609745617453739867"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092bd4","0x0000000000000000000000000000000000000000000000000000000000001381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"52115665278155107399980740523944528212662280201808880858122121256354398523098"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001a5fb","0x00000000000000000000000000000000000000000000000000000000000035d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bd","0x0000000000000000000000000000000000000000000000000000000000007119"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001b","0x000000000000000000000000000000000000000000000000000000000000136f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\182\\255\\ESC\\253\\132\\154\\151I\\198\\155\\216\\152\\138\\141-\\138f\\227\\154\\t\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS5\\133\\202\\167M1m\\233\\220^\\n\\137\\136\\200p\\182\\242\\NUL\\239\\240Tq\\SOH'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152e\\ESC\\129\\172rX\\NAK\\255\\DC4\\150\\242\\STXl\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\222\\196hu\\ENQ\\152\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144<\\bv\\248z\\230\\ENQ\\247\\v\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"zM.\\187H\\239C&.\\129yq\\221[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191K\\ETX\\224$\\208\\NAK=\\EOT\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\214\\208x\\157\\246\\182\\NUL\\DC3\\SOP\\197\\220\\226|.)\\245-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157.\\130\\195\\162Y8~+\\150Q\\EM\\ACK\\255\\203\\&6\\150d?\\SUB>\\183\\149\\&3\\238\\167\\ETX\\167\"","tag":"AbiBytesDynamic"},{"contents":"\":\\v\\204b\\192G;\\154\\169a\\182#n\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\131J\\181\\179\\134\\183\\171\\135\\141o\\141!\\244\\128\\140\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\&4\\248\\SO\\\"\\203\\212\\157\\191\\152\\CAN\\246\\b\\133%\\235\\CAN$J\\211\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\160\\154\\US\\207QW/\\196f\\242\\147;\\SUB\\SUB\\141[9\\DC1\\250\\255\\NAKQ%Bwa\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\159o\\EOT\\DEL\\ENQ\\176\\164\\229XC\\176`\\201\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193gLZ~\\a~\\251\\230\\169\\190 Q\\nU\\238\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\185\\224\\156\\162O^\\233\\194\\186\\233\\NAK/\\ETXlc\\169\\237\\EOTj\\216\\171\\168Y\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\174\\CAN\\246A\\190\\ro\\144{#I\\181]e#%\\139\\DC3\\EOTl|\\245\\145\\163qXx\\217Im\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184>\\187\\DELx\\134-\\191\\\"\\238.\\135\\ACK\\154\\253\\189\\160\\SOb=\\201\\209[\\138\\EOTd\\140z\\n\\134\\132\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\166\\DC1\\224\\182f\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\167\\SI\\n\\188\\254i\\189$\\158\\158\\DC2\\251V\\223G\\145M<#\\212\\197\\236-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\169\\GSK8\\200\\ENQl\\240B\\166\\tV\\232\\USL\\199\\229\\240\\DC1\\216\\255,\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\172me\\180\\154\\153\\182\\196\\159(Y\\n;\\135\\NAK\\183\\STX\\EOT\\ENQw\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\213b4\\237\\&3\\192\\&7\\144\\\\Z8\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SIu&Q\\209h~W\\ESC<b\\RS\\\"\\218W\\RS1Qs\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\208\\142W\\233\\244}_\\128\\215\\220\\155\\n1\\195$\\SYN\\SUBno'\\169Jr&v\\217|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\130\\190\\144eW\\223\\154\\249-\\148\\174N]u\\198\\149\\174\\175\\248\\189\\rj\\160\\186(\"","tag":"AbiBytesDynamic"},{"contents":"\";t\\n\\EMy.\\157\\&8 \\188\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\244z\\DC2\\246%\\v\\244\\149g\\216\\132\\207I\\DC22\\SUB\\174M\\255\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\179\\193\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\142B\\232?\\220\\DC4T\\169Iz\\149\\STX\\\"$\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"T\\245\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\225\\f/\\SUB\\130\\RS\\197,/\\254a\\247>\\240b<\\168y\\f\\SI@y\\187\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"_Ztf\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\DC2Nt\\148\\212\\202;\\SOH4n\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\171\\DC3\\218\\231\\237:P\\189\\247\\DC33W\\n\\145\\204\\233\\230\\172\\217\\190\\DC2-\\133\\139\\&9\\ETXG|\\219\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\255\\183G\\174\\171\\154Z\\US\\250\\147\\169\\243K\\ACK\\172\\DC2\\152\\&1{\\179M\\EOT\\145O\\133\\DC1\\179qT\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181Z\\180/v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\&3\\134@\\254\\SYN\\134\\136\\165\\128c\\202\\DC1\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\152\\SOH\\ESC\\154\\161.\\188AZ\\SUB\\220\\134J\\138\\232\\147\\200\\204\\f\\138E\\255\\183/S\\230~/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199*\\150Z'\\185\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\DC4_\\168N\\237Qg\\188\\t.;\\234\\DC4\\202\\191\\167,\\202\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\246@B$\\154\\226\\174{\\194\\FS\\150V\\195>\\204k:\\254\\FS\\141\\230\\132\\194I\\182>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\156\\&1\\NAK[\\176\\178\\251x\\SO\\203CI\\182\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\SOe\\214A!\\151Z\\201\\254\\fp\\214\\&0\\172\\SOH)\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152:\\255\\&1\\239\\&8R\\237\\140\\SO)\\255\\186\\138\\154R\\219]$\\216\\169\\247zIX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174_2\\181t\\246NP\\ETX#E\\172`\\NAK\\239\\129\\217\\222\\253\\207\\149,\\240q\\202\\249w\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\131\\SYN\\245\\233(\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206P;\\NUL\\162\\171\\ACK2\\ETB\\163D\\214\\146\\217u\\142R\\133\\201\\252\\138^;\\131J\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192m*\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\154\\234\\183\\132\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\223\\162\\EOT;\\198\\ETB\\141ar\\237\\186\\151\\151`\\EOT>\\165\\135\\229\\200[\\179\\ACKd<\\134\\&0\\203D\\232d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b+^\\246\\231\\149\\v\\t\\159\\154\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\253w\\227\\165\\171\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227J\\DC15\\232\\130\\248\\135\\144\\141\\197\\141\\229\\230\\148\\210+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159~\\149k\\US#\\212\\130{\\224\\\"\\173\\r \\136\\240\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\233\\235L\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\EOT\\176FN\\133\\199\\233d\\GSu\\215\\203\\RS8\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\tz\\222\\\"\\237[\\154}>\\EOT@\\r\\SUB\\139\\ENQE\\136\\&9\\144\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"WKZ\\175\\138-\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"m\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\252O\\161\\239\\&4q|O\\206\\DC1K\\213\\174B\\161\\227]\\167\\134\\ENQ\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\237':\\172Ld[\\t\\224p\\ENQ6u\\165/\\210\\171\\SIM\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"3T\\170\\USK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\195zF\\221M\\166r@\\190\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220|;v\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\145\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\177\\227\\198\\142\\158\\212_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\230D\\231y\\202\\255\\DC2wje\\\"H|&* \\185E\\176V\\143\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\f\\t\\RS\\166\\EOTZ\\197r\\r\\151\\158W\\235\\200\\159\\210Y\\191\\254\\NAK\\225n\\200X/\\186|\\142F\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\246\\165\\210\\187*\\150\\218\\186o\\161\\170\\147\\192\\185\\163\\162\\174]\\t\\242/\\149\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ'\\180\\242\\164\\150G\\209l\\131f\\ETB\\183\\205\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\":\\246\\196\\167\\143\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\181\\168\\215\\237\\147g|gX\\247\\ETB\\SI\\225g\\f\\195\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\201\\249\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\147\\234\\145\\&0\\207x\\ACKV\\NUL\\198\\US\\163\\234&\\STX\\172\\171\\DC2\\GSmT\\141\\253Y\\230\\203\\194\\129\\223uE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\206\\201\\240]\\211\\153\\174\\229\\154<6\\214\\&2\\132\\&3\\177\\134S\\215\\165\\250\\154\\193L\\165\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\205\\129\\200\\134\\175f\\187\\218R4>\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\233y\\EOT\\SYNP\\n\\151\\186\\154\\163\\131A\\142\\&3\\192_\\234\\190\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"N5\\229V\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\ETB\\192\\255\\168\\243\\ACK\\244\\221\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"]3L\\190\\212\\FS\\138$\\166\\168\\GS\\203\\191i\\146\\134\\DLE~LJ\\136\\242?]\\US\\159gb\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\234e\\206)=\\ETXj\\ESC\\147\\226F\\154_\\v\\220\\SOH\\209K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\&6\\161\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\229\\199\\242@\\DLE\\152\\196v\\187\\219\\184\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"1bk\\146\\165\\t\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\".\\193f42@\\174\\162ii\\253P\\146\\223B0!\\158\\ETBZo\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226n\\147\\US\\\"\\ACK\\ENQ\\210\\171\\DC3\\170X\\206\\165\\212Da~\\179\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHN\\250\\209\\197\\v@\\198\\231\\200\\139\\DC3\\SI,E\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\211\\234\\159\\155\\224{\\EM/\\ESCe\\160\\156s\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\166?\\147\\198\\219\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\194\\211U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235w5\\139\\153%P\\213\\137\\134\\143\\fQ\\160\\193;_\\160\\234\\238pU\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\165\\223\\238\\232\\158yF\\158\\145\\229\\205sP\\FS\\223\\205n$\\FSN\\148\\161{\\197\\NAKI/\\165\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\180\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185)\\128\\181AH\\172\\207\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"gU\\254\\152\\189\\146\\US!\\245\\&9\\197\\171v+V\\245O\\136N\\219\\170Mui\\164\\DC2\\DC36Fk\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\SO\\SOH7\\200\\252\\\"\\229\\203\\221\\208\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\206\\230;\\209\\US\\224Tw+*\\\"\\177(7\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\237\\207\\215\\211j\\161\\185\\220\\&9nch\\175\\235\\&2\\247\\136\\146\\218\\158\\164\\128\\b;-\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255$J\\EOT\\153\\206\\&7O\\151$#\\191z\\v\\EOT\\207\\r\\138\\DLE}\\208\\132 \\ENQ:\\143\\153L\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\&2:\\EMzI\\US\\198\\146\\237\\139\\178AP\\233\\NAK/\\US\\192^\\238\\152\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM=\\158<\\220\\148n\\131\\135Gp\\198\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\SYN\\179\\146\\231 V\\163\\137\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GSZ5\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\185\\131\\&9\\215\\SYNQ\\FS\\168\\RS\\ETB\\158\\SYN\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153l\\254\\139[g\\192o\\DC2\\179E^\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\155\\216S\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\226\\FSqu\\DC1i\\151\\192M\\ACKV\\DC1V\\RSS\\251\\223\\144\\210\\SO\\238$\\ETB<\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\157\\211}\\\"\\SI\\EM*B\\187\\SUB'\\140MW\\197\\162,j\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\152\\144\\250^O%}\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165V'\\221\\220\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\206kAn\\168\\190{\\255\\215\\b\\191n\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153!=\\150\\254)\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\EOT\\208Cu\\EOTj\\207+ \\ETB\\NUL\\NUL\\236\\160\\RS\\202e\\207\\&5[\\209\\197\\151\\219\\136\\161K\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\215\\233\\213\\&8\\244\\132nY[\\183L\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\128\\154\\\\!h\\SYN\\199N\\252\\174\\208\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"_M\\208\\165cH\\144\\\\\\162\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\a\\143$\\158\\179\\199\\FS6O\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189(\\177\\208\\236,<\\181?\\DC2\\165\\178\\&8\\203M\\144e\\163\\237\\139Q\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"vP\\153\\ENQ\\DC3\\166R]\\172\\FS\\180\\164\\t\\a\\\"\\DC3\\255\\182\\132\\255\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\DC1\\157\\187T>|\\142\\223\\132\\144\\DC1C\\136l\\240\\171\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\134'\\171\\144\\238\\229\\ETBa\\203\\234\\204X\\DEL\\136Jbhd\\155\\150\\183=<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\SO\\233jO\\144\\\\\\254bK7\\ETX\\188\\160\\188\\n\\219\\248t\\250V\\232\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\183Q\\171\\242odz\\228\\253\\186\\GS\\146\\r8s|\\234\\246\\149~1\\USqf1\\EMR\\137\\225\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\250%\\EML)Gp\\239\\EM\\150\\190\\134\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\135\\CAN(\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\138d\\DC1\\253\\149m\\232\\250p\\138yB+\\SIL\\154\\212\\ENQ\\192\\163\\158/\\197\\245\\191\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"e(\\169\\254b\\212D\\f\\187\\129\\145\\172\\DC2\\252{\\212\\234\\189\\132\\150\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\187\\195\\GSrv\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\164\\148\\144\\DC4\\191\\246\\132\\131n)\\167\\228\\250\\USb\\r=x\"","tag":"AbiBytesDynamic"},{"contents":"\"1-\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\128$\\f\\180\\197\\EM'\\NAK:\\171\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\252\\253t3\\176F\\EM2;w\\\"\\219\\228\\207\\203W\\157\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\234\\181\\211\\153\\180Ua\\ETBi\\au=\\203\\129)Sjq\\129^V\\230\\ACKLn\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\236 +\\137\\225\\DC3\\222@89\\158y'\\209M\\164\\190a\\197\\141\\DC3\\ACK?AaV\\202\\172\\146\\208o\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152vP\\175L\\164\\&0\\147\\214\\NUL\\200D\\131@r\\t\\243\\207\\207\\&9\\207{\\227P\\142\\222\\236\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"J\\142+\\237\\245\\239\\213?y\\173Z*v\\185=\\136\\200\\234\\197'\\148ol\\225chSc\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"M=\\244o[\\DLE1\\244\\211\\232HL\\v\\226\\FS\\225\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"X(J\\226JAP\\246\\EM\\179z^\\159[N\\175\\225\\224\\EOT\\130\\241\\v\\GSR\\CAN\\186l\\196b/\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\r\\216\\160\\RS\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\255\\186\\f\\176\\230\\215R\\217\\176l\\228\\128\\240\\187.w\\182\\182\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\253\\188\\203W\\234bi\\137\\207\\152\\237I\\194\\129^\\EMc\\229\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\SYN}A\\143\\158\\ENQ\\202\\151\\249\\171\\182\\ETB\\DC4\\DC2\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"zYz#O\\SUBRG\\179\\154d3x\\253\\156.\\179\\243}dv\\237_\\241\\&1\\234\\165\\166\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\219\\237\\179\\FS\\147\\206\\250\\200Q\\199\\150\\229\\&3\\166\\254\\179P?\\130\\133\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\253,\\171\\185\\196Q[f\\184\\130\\180\\232\\&1\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228O\\185\\208Y\\169\\246}\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\223\\174\\245\\253\\EOT\\201\\EMR\\240.`\\193\\&5\\230\\CAN\\161+\\205S\\249\\149\\&3\\181a\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\178\\SUB\\131\\ETB cRL\\207u<.\\172\\\"\\NAK\\EM\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\205\\244h\\146\\131\\154h4\\162\\134\\209\\221\\CAN\\EOT\\157\\151h)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK(\\SUB\\202\\167#\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\237\\240V \\169\\165q\\249ai\\133\\200V\\191\\235\\225\\152&\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\173\\143\\b\\212+\\131\\136D6\\bVO\\177J\\SOH=;\\143\\143\\237 P$\\189\\180q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\&8\\153%-@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\202w\\164\\187\\243wBl\\178n\\184\\184\\208\\218\\176I\\208\\146P\\235\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\161\\146xf\\132,\\FS;\\ENQ\\149\\229\\EM\\249\\207\\244\\229\\166\\246\\160[dv'\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4V\\185\\250\\251\\&2\\173\\NAK\\ETB\\235\\197\\150!\\191]'\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\226\\197 \\142\\165\\148\\US\\201\\194pC\\DLE\\154\\233\\167}\\185B\\207!\\183\\196\\&4\\191\\&1\\140s\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\215\\154O\\164udx/\\167Yi\\247\\138Np\\DC1\\169\\SYN\\219\\&9\\241\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SOHX\\199\\189#\\228\\\\{\\197\\175\\188T]\\242F\\226\\233\\238/\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\158\\147\\130\\199)L\\146A\\NUL\\185\\173\\132\\148\\161\\\"F\\154\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"QB\\253\\226\\&0\\SOH\\DLE\\173IC\\SOH\\GS\\SOH\\184-\\198\\213\\248\\254\\a#{\\NUL*\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246W/\\241Y\\191\\190+\\129QS\\233\\168\\223Nh\\205\\&3.\\NAK\\226\\SO\\SOH\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\177\\158\\ETX\\232\\155:\\154\\224\\195\\SOH\\170\\222}\\244s\\SI\\131\\191}\\SI\\204\\158g\\216\\b\\141\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\SYN\\193`\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168A\\189\\US\\198\\r\\144\\151\\DC2[yO\\FS\\246\\NAK\\210\\SOH\\231^\\197\\SOH\\128\\215\\DC2\\171\\184\\EM`\\EM\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"c!p%3eO\\149m\\251\\212\\&7\\131\\228?\\173\\ENQ}\\128\\231\\164\\CAN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"uy)\\225\\217G\\133\\DLE_=&\\213\\217\\200I\\nf\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\DC1\\140\\135\\150\\166f\\158\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\133V\\252\\233\\201\\DC47\\192\\128\\&8\\DC3xv\\149\\135\\EM\\210\\218\\vN\\DLE\\229N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\237*\\n\\193#\\171\\155L\\DELHv\\150\\207\\159\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\186\\164\\130\\187W\\169\\130Q\\165\\242'\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\227\\GS\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166t6\\149&\\154\\&3\\SUB)\\159bb!\\DC2\\130\\217\\194\\218\\&30\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC9\\DC3^\\218Y\\197\\128W\\191\\145\\250`\\ETB\\237\\240\\255\\197\\ESC\\148QF{\\254IF\\221^\\145\\162\\151q\"","tag":"AbiBytesDynamic"},{"contents":"\"E1\\STX\\238\\216Xu\\193\\218!\\231\\137\\185\\&9U\\US\\191\\204\\149\\DC1\\239P{U\\231\\252/\\179\\252FR\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"Z  \\ENQ\\229\\184\\233\\180\\149\\NUL~\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"Bh\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\182;\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\175\\233\\249\\167R\\DC4\\b\\bW'\\ACK\\218\\248\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\EOT\\183\\241\\173]\\214\\168\\212\\233\\DC1'\\131\\DC3o(\\174\\248,]\\STX\\227r\\191\\235\\EOT\\172^1<l\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GSQ\\172\\&5\\145\\193\\164\\224\\ETB\\255$~\\131\\220;n`\\219\\248\\f\\vg\\188\\254\\137\\&9\\198\\EOT\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"[Q!\\141\\189\\155\\148$7DX\\169\\219\\158\\246\\196\\162\\169\\ACK\\190,v\"","tag":"AbiBytesDynamic"},{"contents":"\"wl\\137\\217\\137\\133Z\\241\\252\\249\\200\\218\\SYN\\238\\239\\145\\228\\STXH\\237\\225u12\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\NULr;j\\168!\\139\\194\\163\\140N\\242\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\130\\r\\222Mv\\155Le\\173.\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\ESC2\\210\\DLE\\165\\215\\194\\EMh~]\\163\\188\\134\\157\\148N\\195v#\\DC4u\\159\\171E\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\SOH\\170\\150\\211_\\173\\248\\216\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\&5\\154\\165,\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131j\\v\\248\\152\\203lBD\\239\\160W\\\\\\SO\\224\\248r\\206\\SOH\\175\\199.\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"LN\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\186s\\200\\141\\194\\233\\213\\DC3\\227\\162W7T\\DC1\\ETX3\\220\\rS\\247\\225\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"C\\236\\174\\189\\173\\&3[\\211\\n\\CAN\\199E\\229\\178\\130!\\166MC\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\150\\161A\\US\\US[Q\\242\\t\\171D\\192\\253N\\226\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\203\\241o[(M\\172G\\252\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\205\\SOH\\204\\146.\\211\\254}\\SUB\\254\\222\\182uv\\247\\156]\\EM\\220\\f\\222\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249e)k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\193\\&9Y\\229Vu\\FS\\ETB\\158\\149\\159\\186~V3g\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\145?\\149.;Q\\250ha\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\216\\132\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"$P\\SI\\237\\&1B\\163\\244\\193!J\\237z\\167\\194h\\221\\ACK\\204\\139Z\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\219\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\198\\145\\136\\166\\245\\174\\DC1\\t\\163\\205\\133RA\\208\\DC2.'\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"q~\\195\\251\\251\\166\\RS\\225/;W\\ESC\\DC1\\138z\\160L\\223>s0I,\\165*\\156\\&6P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\214YQy\\176\\177Uk\\SI\\182\\DC18\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\218\\234c\\165\\r\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154$\\233\\224\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\194\\209\\DELI\\222iS\\189\\235\\GSSsB\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\214N\\US\\RSZ\\EOTCc3\\224\\147\\&6\\130\\159\\241(\\154L\\b\\216\\184\\204\\230C\\210\\191\\NUL\\DC1\\224\\SOH\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226YR\\DEL\\RS\\208Ut\\245\\194\\v\\DLE\\215\\US\\180r\"","tag":"AbiBytesDynamic"},{"contents":"\"|\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\132f\\SO~\\ETX\\fgh\\224\\146\\183x`#\\143\\236z\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\237\\173R\\238zh\\140\\149\\229hB\\DLE\\154}\\145*kWF\\183\\141\\212\\133\\148\\DLEm`'\\140\\161J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178F/\\209U\\187v\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\&9P\\208\\183+>\\179\\140\\169h[3\\172\\ACK\\245\\214\\195\\184x\\SUB\\CANXB[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RSv\\164\\STX2A\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\254\\f\\173\\ETXw\\194\\180\\180\\224\\EOT;\\171\\129\\248TW\\SUB\\ACK\\245yT\\207\\&8.\\SI\\146\\&8tF\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\NAK\\206\\186*\\226K\\186\\ENQ\\152\\226\\186\\170'ri\\181\\192S\\192\\131W\\208z\\129\\243|e$\\208s\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\&0\\167\\185\\147\\FS\\156N\\SO<\\188\\177\\150\\\"$\\v\\DLE\\219E\\210\\181w)\\185\\132\\&7*.\\246\\175\\132\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"*\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\&3\\216N\\237\\164\\187\\211\\128B5\\148L\\CAN\\EM\\255\\199:<\\218XKRB`\\EOT\\194\\205\\246;\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\DC3{\\239YE$n\\133\\141\\173E\\v\\155\\212)@\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"n\\241\\FS\\237\\188\\134\\195\\157\\f8\\193T\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\DC2i\\179\\219!\\199\\176t\\170\\214\\191\\SOH\\132\\165\\232\\236\\188\\ETBe\\194}\\128\\NAK&\\137\\170\\145\\144\\CAN\\208\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\&4\\239i\\182\\253\\167\\177\\177z\\181\\NAK]l\\174\\188\\233W\\NUL\\178\\228G\\249\\132\\128\\161\\135\\152\\138\\163\\172Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\171#0\\173(\\198q\\EOT\\170\\249\\255F\\168\\156]\\132\\198\\218\\207\\248\\SOH\\EOT\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\213t/\\178i3d\\RS!\\220E$ts\\217\\FS\\243g\\233%e\\189\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\EM\\249M?\\208`\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\252^\\ESCs\\149\\253*\\200Y;\\235\\&4\\194\\ESC\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\189\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\130\\STXZ\\215\\129\\169\\nM\\202]7K\\223%\\172\\240,\\134\\133C2\\b\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"U2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\173\\253I+`^\\197\\228\\231/\\228b\\152\\154{\\162\\139+\\144[\\248fG\\SUB\\227\\161\\EM6\\199\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\168\\206\\t\\150=/O\\229\\155\\DC3\\246\\181\\197V\"","tag":"AbiBytesDynamic"},{"contents":"\"h:\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\178\\224LJ\\172,\\255\\153oq\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205k\\142J\\205<q\\233\\237DS\\203\\155\\DC3\\146\\224\\222\\181\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\RS\\191\\206\\204u\\139\\139\\228\\231\\246\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"2\\157\\138\\181\\131\\NUL\\206T\\199\\253R\\133\\203\\DEL\\DC4\\SUB\\\\\\NUL4\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\244\\167\\ETB:\\DC3\\251\\222J\\143\\US]\\146\\140\\&8\\SI\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\223|\\241\\195\\177\\174\\224G\\224\\f\\141Z\\188\\245sK\\166i\\221\\183\\147U\\\\V\\138\\193G\\156\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\150\\176\\150\\176tt%\\236\\145\\128\\&4\\227\\184i\\170[\\151\\SOH\\194[\\148\\143\\130\\160)4\\194.\\151HZ\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"GYPn\\172\\161\\240Uw\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\166|\\159\\US\\149H\\128\\175\\EOT\\129\\ETX\\DC4\\b\\173G\\190\\253\\184N\\189%\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\157\\229T\\138\\v7l\\159F\\134\\204\\231AH\\132Z\\139\\&2=e\"","tag":"AbiBytesDynamic"},{"contents":"\"<x\\DEL9\\230`\\204s2}\\221\\170@B\\184\\200\\132\\185\\RS\\185#v%\\242\\162\\224\\DC2i\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\185\\174\\&2QM\\141c\\163\\157/7\\249\\189.\\255a\\138\\172\\164$?\\138u03X\\nN\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228I\\t\\168\\194\\\"\\157\\192z\\149\\139}M\\219\\202'\\149\\&7'\\196\\204\\209\\246\\217\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\US\\131d\\217\\RS\\215-\\ETX\\US9\\196\\224#\\158t\\216\\209\\DC2|\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\SOH|A\\185\\244@K/\\153\\239\\249\\DC2\\169W>u~\\ESC\\bbo\\217\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\211i~\\\\\\DC3{cu\\191\\151A\\141^\\157d\\243h\\134\\232\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246wk\\b\\143\\EM'8\\ESCN\\143\\RSJI\\216\\131-\\160\\b\\NAK\\202Y;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\&1\\245\\144\\154(?\\225\\DLE;\\180\\190\\244\\223\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLETO\\165\\130\\201\\175\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\SI~u\\207\\188\\212\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\155\\n\\GS\\156\\246un\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\204H\\181\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\133~\\146\\226\\146H\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\245j.\\217'\\243\\242\\132\\197[\\ESC\\189L\\147\\196\\v\\226p\\198\\170+\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\194\\FSv\\DC2\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\207\\243\\193\\f\\187eq\\137\\207\\&6\\147\\180\\247\\FS\\145\\221\\193c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\179R]\\ACK\\253(\\174\\129t\\225\\US\\142\\155\\251r\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212E\\\"-ZH\\151\\218\\144S\\149\\151\\158ur\\236\\185\\229;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179G\\187\\230(\\\\X\\128|<\\185Xk\\CAN\\249\\132\\137\\167?rd&6\\150\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\\"r!\\215\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\219\\240\\201\\171\\224l\\FSZ\\ETX\\179\\255\\224\\150\\213`\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\167B\\186&u\\180|\\b.g\\217/\\224\\CAN\\193;\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\FS\\197\\SO8@[\\251\\250\\157\\164\\186\\197\\178\\157\\179\\149*\\160'N[\\154\\CAN\\201\\222y\\171d\\220\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\211\\161\\180\\175\\251\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\&8\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174]k\\251\\173!\\SUB&+\\234K\\246\\237\\131z\\SO \\199(\\253\\142\\248\\ESC\\EM\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191o\\174\\188\\GSk\\159d<*\\134\\128\\152\\150M%t)\\228\\213J\\249\\203L|q?\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232 \\178\\131\\&8ya-\\252\\211k\\DEL\\b\\225L\\ENQ\\198\\ENQ\\232\\EM\\142Nn?\\139\\194%7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\136\\&4\\151\\236e\\141\\197\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\168\\&6\\171\\&5W-J\\DLE\\GS\\225\\234\\247:\\228/\\ACK/\\212W\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165l\\161\\EM\\213|a\\213u\\176\\202\\233Pf>\\137D\\ETXG\\152\\r\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\232q\\154\\188\\EMp\\250\\155\\240\\135\\162\\202g T\\192\\219CGB\\160\\DC3\\207\\131)\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\138\\ESC\\152\\197b!aPgQ\\SUB\\183\\171\\180aX\\228\\225<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3P\\246p\\a^\\165\\\\\\ACK\\204E\\183\\128n\\ETXW\\235\\209R~~\\238\\&1>m\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"xh\\195#\\141\\239\\219\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"^>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190Si\\142S\\168\\226H\\\\M\\196L\\129\\180k\\154\\252}\\129\\178\\170x*\\153@\\235&r\\NUL\\176\\145\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237Z\\245\\204\\166\\228\\145\\130\\DC2\\r\\244\\DC1p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\172\\\"\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\SYN\\208\\149h\\\"\\ESC\\240o\\163\\194U\\255lx\\130\\135}F\\203\\133\\235T\\178M\\170\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\162>d\\SUBy\\230\\vUu]_/7U\\160\\&1\\177\\148m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\\\9\\DC3#%\\147z\\165\\nC\\128\\&1\\173v\\184\\174|nO?F5Ci\\ENQ\\171\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\197S\\132\\CAN\\242\\130\\223\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\199\\t8\\196e\\194B\\155\\234\\146\\186\\159\\185z\\224a\\230\\227\\245\\&8\\EM\\214\\253\\CANL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\165\\130Z\\189\\ENQu\\132\\232\\218O\\160\\ETX\\212\\233D~\\212\\199\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"M\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\DC41/\\139\\198\\151\\203\\153w\\129\\203\\209%\\STXld\\US\\152a\\161^\\206q6\\ESC5\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"'F(\\189b \\174=\\238\\250]\\136\\195\\187\\233\\160Lq\\133V\\FS\\233\\194\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\224\\t\\EOT!#\\DC4\\153I6\\254\\229\\DC1\\EOTw|\\214~\\223\\r\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\&9\\142\\&2\\161\\SO;3\\ESC\\187*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\&0\\135\\227\\197A\\248L8\\247t$\\EOT|\\CAN>q\\229\\174\\f\\ETX\\192\\150\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\NUL8[\\205\\178\\164\\DC3\\159\\NULP\\202\\DC4\\229_0\\160\\145-\\178\\\\\\145\\ETB\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250t\\163\\&1\\200tnJ\\SYN\\150H\\163dF,\\242T Jk\\175\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134_\\188J\\163\\&8\\ESC\\253\\153PH-\\235\\b\\223\\209\\175\\SO\\SOH\\a\\177W\\251h\\\\2\\DC2fd\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"<s\\194JsMy\\168\\&8\\fm[\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\STX\\SI\\235i\\159\\235z]\\137\\206\\211\\ACK\\151l\\224z\\183\\NAK\\189\\224\\DLEl\\210\\165\\159G\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234@r\\176=\\218\\208\\240p\\155\\163nM?\\195\\159]\\223U\\214'\\f\\159{/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\138`\\132\\235\\175\\247\\b\\248\\&5\\193\\141\\252\\175\\ETX\\166]S\\133\\182\\159\\151Z\\138\\157\\DC4\\237\\156\\164\\207\\DLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Z,\\194\\b\\215\\136V\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\222H\\215\\252\\DC2\\DEL\\236\\167\\&6n(\\ACK\\192R\\190\\209,\\187zs\\150\\132\\FS\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143_\\151\\173\\186K&4\\RS\\tQY\\230\\198\\181\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULv\\168\\158\\254z\\225\\193\\190\\153Z\\191f\\RS&\\247w\\255q\\\"5\\213\\214Ha\\SOH\\ETB\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\ETB]\\n:\\159\\163\\181\\SUB:7\\CANe\\136\\136\\a\\225\\189^\\241:HVa\\198\\176\\214\\GS\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\236Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225|\\251\\DEL\\EMV\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"@X\\144\\154\\244\\213\\169\\158\\212\\236\\CAN\\242\\191\\150}\\134]\\177\\130\\232\\162\\184p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\243X\\151\\226I\\EM\\DC28|\\169\\&9 s\\DC4\\172\\143+\\ETX\\t\\169<\\169\\FS\\137\\SO\\169\\153O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\167\\CAN%g\\244\\RS\\200x\\210\\\"\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\",$\\217\\227\\165\\&1\\GSPp\\ETBr\\153:\\129\\252\\177\\NAK\\243\\202\\230\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\248\\193:\\186\\&9*\\222\\SYN\\183uA\\SOc\\174\\193\\&4\\f\\SYNP\\DC10\\168\\154\\US\\140\\174\\215AL*\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\213Ll\\197L)[,\\202&V\\140\\222\\ETX>\\228Z\\131\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166M\\DC4\\143\\152\\ACK\\224\\175\\208y\\182Vl2\\173+\\240\\207Vc8\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\234.\\131\\238s!\\140\\156\\144\\195t\\138\\172\\170H\\138#\\ETX/!\\\\U\\231\\221\\182\\157\\184\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142Y\\173\\167\\191\\134\\219HR\\238#B+\\218FC\\160\\219N\\208b\\193\\168\\153\\169-\\238\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207[\\226\\STXfb\\225\\157\\213\\184\\GS\\142\\162P3\\DC4\\133\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\US\\244\\\"~nT=:I\\146\\221\\228\\DLE\\135\\ACK)Q<uQP\\174\\234\\153(TT\\\\\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\f\\146\\\\\\158\\153\\211\\EOT\\224i\\184\\SYNx5\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\ACKo~_m\\239\\136\\224\\206\\135\\226|b\\DC3\\246z\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\f\\154;\\179\\231\\219\\ENQ\\152O\\165\\156\\214\\SUB\\245\\195/Lq\\DC3\\144\\231\\&3\\SO\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACKe\\161\\GS\\154S\\255\\159q\\228\\236\\GS7\\199\\DC2\\220\\138\\145\\128\\212\\164\\206\\DC1\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\175\\164l\\154f\\STX\\f\\128\\194\\218\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169^\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\&0\\187\\177\\ACK<\\205\\v\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"/d\\180\\137\\n\\245\\211U\\181~1\\a+SH\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\189\\ENQ\\206\\158\\158oY\\155\\131h\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\195<\\246\\SI\\161\\222C\\146:\\GS_\\134\\163\\188\\US\"","tag":"AbiBytesDynamic"},{"contents":"\";\\218WhEa\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB&E \\158\\170\\&5\\219\\184\\172[\\198\\218\\&8B\\200\\202b\\192,\\207q\\128\\242i\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\151\\143\\215\\204\\ACKR\\173\\212\\EM\\201\\235O5o%Z\\\"\\180\\198\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\DLE\\230\\225\\217\\148\\224\\ETB\\191\\STX1\\174\\146@?\\ENQ\\183\\239\\211\\216\\183\\EM6St\\a\\185q \"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175V\\156\\CAN#\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175U(ak.9\\250\\205\\177\\DEL\\214hq7\\221fB\\\"\\139\\206\\ETB\\154\"","tag":"AbiBytesDynamic"},{"contents":"\")\\164\\ETX{\\FS\\193J\\239.\\224\\136\\205^\\226[Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\160\\177'\\255\\192ur)q\\v\\247\\NAK*\\239\\143\\216\\\\\\132\\&4\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\236n9%\\t\\157\\150\\176\\DC49v\\250\\245\\STX\\SO\\153\\128p\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\173\\FS$Tz\\160\\141\\213v5\\148ir\\220^\\149\\141\\DC1\\183f_#\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ab,\\GS\\238+<7\\234\\SO\\150\\135\\225\\129\\192\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"s\\172\\241\\238-\\242\\155\\217/\\209\\214Z\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\242\\207\\235\\a\\203@\\173;L5\\205\\GS\\249#\\139\\148\\244\\239g\\174\\228'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\149\\141\\ENQ\\173\\RS\\131\\237\\236\\189S\\163\\GS\\149>;\\156\\FS\\SI\\DC3\\154\\131\\215Yx\\232\\130y\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"w?\\\\.@\\235W\\140\\180)\\148\\212\\US\\194\\SUB\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTm\\144\\128\\166\\DC3HY\\204\\222\\203\\SUB\\132\\t\\141X\\224n\\FS\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\253\\SO\\158\\f'\\SOH\\131\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174p\\201\\254\\248m=\\183ho\\167\\187\\196\\252\\157\\236\\162\\&4sfo9h\\r\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224x\\182\\198\\214\\&83\\146\\168W\\186x\\DC1X\\157\\DC1\\133\\180 qt\\174\\tTj*\\\"\\234g\\146w7\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1530010337"],"tag":"AbiUInt"},{"contents":[256,"849"],"tag":"AbiUInt"},{"contents":[256,"58278936556605526982503240294063908993216652547185466398747158701776821341341"],"tag":"AbiUInt"},{"contents":[256,"76914446634339050267497728450616822426216378939684487724533419484994607296278"],"tag":"AbiUInt"},{"contents":[256,"25531786429206832825340632"],"tag":"AbiUInt"},{"contents":[256,"260866630325730893467632294149390633606"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1529205529"],"tag":"AbiUInt"},{"contents":[256,"836"],"tag":"AbiUInt"},{"contents":[256,"33005839765362140163273712630925487291319563314061254768960632490574052715124"],"tag":"AbiUInt"},{"contents":[256,"1534354975"],"tag":"AbiUInt"},{"contents":[256,"35377999547158705002928859441645869026592334190297688580126117575762244710289"],"tag":"AbiUInt"},{"contents":[256,"1812215489"],"tag":"AbiUInt"},{"contents":[256,"64673778341382379612587209434452186451445592534854583726551743692173217166331"],"tag":"AbiUInt"},{"contents":[256,"69"],"tag":"AbiUInt"},{"contents":[256,"1528316652"],"tag":"AbiUInt"},{"contents":[256,"1527079189"],"tag":"AbiUInt"},{"contents":[256,"1527079189"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"50996625891108334109846508576338920757339999037946956986454048187964360012398"],"tag":"AbiUInt"},{"contents":[256,"299347267190977656222253694293274347341"],"tag":"AbiUInt"},{"contents":[256,"1529537972"],"tag":"AbiUInt"},{"contents":[256,"107155074012079781980126236515592790215244732737525778543879566720078645731988"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639937"],"tag":"AbiUInt"},{"contents":[256,"108637017962061584689228319451578937955339643676445931240218264302587093540990"],"tag":"AbiUInt"},{"contents":[256,"415"],"tag":"AbiUInt"},{"contents":[256,"22491382247130036755653639018489158178696743653768459685445784908630572725107"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"35053624603341551345616451626312793436924996788185792550096299910862620053296"],"tag":"AbiUInt"},{"contents":[256,"63702493237597701632349649596038340128260236826575628009213937197924864902216"],"tag":"AbiUInt"},{"contents":[256,"7455720423574072209115982298877402490433803249940429922654471433202839312284"],"tag":"AbiUInt"},{"contents":[256,"66363786547498019017843687349559830628716335471933893582348027568244489685879"],"tag":"AbiUInt"},{"contents":[256,"36267158842066210368674160056345696170338867920775205819747412828598485043066"],"tag":"AbiUInt"},{"contents":[256,"50044470695854223560692097883378651618746895529961040054901754521992796676211"],"tag":"AbiUInt"},{"contents":[256,"1526904119"],"tag":"AbiUInt"},{"contents":[256,"1536276513"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"64683334952651570964168991931151972911618445904165838439352753194461719568984"],"tag":"AbiUInt"},{"contents":[256,"9999"],"tag":"AbiUInt"},{"contents":[256,"58290327272480205979299269479793169313468123663488495332259910447472310706839"],"tag":"AbiUInt"},{"contents":[256,"77654968290212727218547627788910121102316340346083411284777198972487426138996"],"tag":"AbiUInt"},{"contents":[256,"31593261603541890469149304716413565752109130034456925404836429567636024216299"],"tag":"AbiUInt"},{"contents":[256,"41069638788526948169115882243582615847918851972379113880993508278221317404316"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1533293834"],"tag":"AbiUInt"},{"contents":[256,"70247393403590399243087898900496273841161962871877987163424606880600442073067"],"tag":"AbiUInt"},{"contents":[256,"99686980018809655784309953407711726867357959891944239815401389782143056693180"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"62530172726301308969781861589400509548317058016552538789208483999471587869885"],"tag":"AbiUInt"},{"contents":[256,"92360910201926163555427168599265029014610803395735226907715716729889595766556"],"tag":"AbiUInt"},{"contents":[256,"5000"],"tag":"AbiUInt"},{"contents":[256,"48506340129450385632350126293985704085364041650295977791512750961832789057051"],"tag":"AbiUInt"},{"contents":[256,"230"],"tag":"AbiUInt"},{"contents":[256,"80136321160077442379654575063455856818325812226006188632084186422919788173732"],"tag":"AbiUInt"},{"contents":[256,"89349937383680386805948960873428745755354826589576496512593383194735674556814"],"tag":"AbiUInt"},{"contents":[256,"9003"],"tag":"AbiUInt"},{"contents":[256,"86524082043369310260066182915404716875783078918520786925771163776463436203513"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639840"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"302"],"tag":"AbiUInt"},{"contents":[256,"105"],"tag":"AbiUInt"},{"contents":[256,"94064469236491915202361925"],"tag":"AbiUInt"},{"contents":[256,"58840300724022507936178550116840155660647441504316060186434237520128930490110"],"tag":"AbiUInt"},{"contents":[256,"30251086290673424239306717837380849165639723116390206519596632734804343882040"],"tag":"AbiUInt"},{"contents":[256,"967"],"tag":"AbiUInt"},{"contents":[256,"4961033118496631862428470366497851414924829935124279025736450230325487103247"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"11098734413212867719742648910482220752983858358525415237949594301902858226387"],"tag":"AbiUInt"},{"contents":[256,"874"],"tag":"AbiUInt"},{"contents":[256,"90984689195079763544503816818053824120433865116118596152481189606271594384012"],"tag":"AbiUInt"},{"contents":[256,"26349298348750740052946901595708076565220476624247398610487132243759055527451"],"tag":"AbiUInt"},{"contents":[256,"1532148021"],"tag":"AbiUInt"},{"contents":[256,"102216610187100492900043346082959456193769899951300420688671690178336064406605"],"tag":"AbiUInt"},{"contents":[256,"46887170432443412283799156223187163326110386932114725172709388749618667728197"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637939"],"tag":"AbiUInt"},{"contents":[256,"3056957120150356388389357462015300457672064545124843211099855403302878539643"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639829"],"tag":"AbiUInt"},{"contents":[256,"115130242151764245087167197940694856260639273410302000877790587778993532387498"],"tag":"AbiUInt"},{"contents":[256,"33390883082904895011680521209779725156118579641859863105704513102767014421029"],"tag":"AbiUInt"},{"contents":[256,"135"],"tag":"AbiUInt"},{"contents":[256,"56279192600375746777170006366611539811141511728104209113978679924678912151787"],"tag":"AbiUInt"},{"contents":[256,"1121994296931964146"],"tag":"AbiUInt"},{"contents":[256,"52"],"tag":"AbiUInt"},{"contents":[256,"43948357501203458725096509265790319503139024645694069343867440835099052064117"],"tag":"AbiUInt"},{"contents":[256,"1999998"],"tag":"AbiUInt"},{"contents":[256,"110248400914187084112059711759859468589275868000866971989352000291271580733899"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"3913646523728922108047895324476148322570869742869983070061799117040057101059"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"111582329307973962172117575656817784488058010485373220128837009453860161795747"],"tag":"AbiUInt"},{"contents":[256,"1720400105311218123013639892120306964397027319353332923306103597470179971955"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003100c","0x0000000000000000000000000000000000000000000000000000000000002323"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b149","0x00000000000000000000000000000000000000000000000000000000000095b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002711","0x000000000000000000000000000000000000000000000000000000000000215e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"101"],"tag":"AbiUInt"},{"contents":"0xDEC9f3Dcc5158854Ef368E0B842F9e2cA8c990DB","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb49","0x00000000000000000000000000000000000000000000000000000000000003cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000049","0x000000000000000000000000000000000000000000000000000000000000171e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"222"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1609350765207330717175443937959907137478644973940031157991597219060568816353"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077602","0x00000000000000000000000000000000000000000000000000000000000011ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008c1a1","0x000000000000000000000000000000000000000000000000000000000000a941"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004308c","0x00000000000000000000000000000000000000000000000000000000000009e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063530","0x0000000000000000000000000000000000000000000000000000000000003f7c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f467","0x0000000000000000000000000000000000000000000000000000000000005ea5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":[256,"65901889385158471734791735769608021995435417750658850122183478708416581368305"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1525785820"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000716b6","0x00000000000000000000000000000000000000000000000000000000000094dd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":[256,"604798"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b43c","0x0000000000000000000000000000000000000000000000000000000000002f7b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"197"],"tag":"AbiUInt"},{"contents":[8,"152"],"tag":"AbiUInt"},{"contents":[8,"79"],"tag":"AbiUInt"},{"contents":[8,"30"],"tag":"AbiUInt"},{"contents":[8,"202"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"136"],"tag":"AbiUInt"},{"contents":[8,"136"],"tag":"AbiUInt"},{"contents":[8,"129"],"tag":"AbiUInt"},{"contents":[8,"155"],"tag":"AbiUInt"},{"contents":[8,"117"],"tag":"AbiUInt"},{"contents":[8,"48"],"tag":"AbiUInt"},{"contents":[8,"246"],"tag":"AbiUInt"},{"contents":[8,"86"],"tag":"AbiUInt"},{"contents":[8,"186"],"tag":"AbiUInt"},{"contents":[8,"78"],"tag":"AbiUInt"},{"contents":[8,"154"],"tag":"AbiUInt"},{"contents":[8,"13"],"tag":"AbiUInt"},{"contents":[8,"255"],"tag":"AbiUInt"},{"contents":[8,"101"],"tag":"AbiUInt"},{"contents":[8,"119"],"tag":"AbiUInt"},{"contents":[8,"230"],"tag":"AbiUInt"},{"contents":[8,"86"],"tag":"AbiUInt"},{"contents":[8,"117"],"tag":"AbiUInt"},{"contents":[8,"35"],"tag":"AbiUInt"},{"contents":[8,"140"],"tag":"AbiUInt"},{"contents":[8,"22"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef49","0x0000000000000000000000000000000000000000000000000000000000007117"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"1528172465"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000049c8a","0x00000000000000000000000000000000000000000000000000000000000015ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"66743023118644064202682922280878161311528777795813873578070957572930028676821"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2f","0x0000000000000000000000000000000000000000000000000000000000006e3d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"439"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff7","0x000000000000000000000000000000000000000000000000000000000000d6df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132609"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000009ab","0x0000000000000000000000000000000000000000000000000000000000000231"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb26","0x0000000000000000000000000000000000000000000000000000000000009a9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea45","0x000000000000000000000000000000000000000000000000000000000000784f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"22521364890035665372155927794436484706114451526563216679804336003077982350709"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015b08","0x0000000000000000000000000000000000000000000000000000000000008028"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071308","0x000000000000000000000000000000000000000000000000000000000000b449"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"25531787429206832825340376"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000019a8b","0x0000000000000000000000000000000000000000000000000000000000000fa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"85457782985980748990185089717932731249813879648935349963106120554291032406023"],"tag":"AbiUInt"},{"contents":[256,"109243214750625449320098301413378119148384612521334945874977445357638269395995"],"tag":"AbiUInt"},{"contents":[256,"15"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4d","0x0000000000000000000000000000000000000000000000000000000000006a27"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029aa2","0x000000000000000000000000000000000000000000000000000000000000912d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"106935072112610894966780766032341704009395885066200255795263336665352535194549"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75d","0x000000000000000000000000000000000000000000000000000000000000ec39"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000383d7","0x0000000000000000000000000000000000000000000000000000000000000e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"27996954696372256011232192204291696739413953791064702576100496192760966385804"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024d0f","0x000000000000000000000000000000000000000000000000000000000000006a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]