[{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"5001"],"tag":"AbiUInt"},{"contents":[256,"5001"],"tag":"AbiUInt"},{"contents":[256,"5001"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"89476271847638434257785081607839920107625441357996670515103738885021284130419"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"95842370976143548842563192888706739280793914068832012460528688979815837019124"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055779","0x0000000000000000000000000000000000000000000000000000000000000010"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689599"],"tag":"AbiUInt"},{"contents":[256,"334"],"tag":"AbiUInt"},{"contents":[256,"13740655849887068786793610865369187186041957989000725319462312680243525030919"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb32","0x00000000000000000000000000000000000000000000000000000000000068b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000382","0x000000000000000000000000000000000000000000000000000000000000d8d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"68"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"104496143381065143253376702899312917786743217642126832683658433117514643506292"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084277","0x0000000000000000000000000000000000000000000000000000000000001273"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81f","0x0000000000000000000000000000000000000000000000000000000000001553"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"49855170714908701217595480782490200136499828839658711084605357677817509134934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000130","0x0000000000000000000000000000000000000000000000000000000000000380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"102865148483351459834637953155893877963353497578550598711500462181000604465399"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea19","0x0000000000000000000000000000000000000000000000000000000000002714"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4d","0x000000000000000000000000000000000000000000000000000000000000a4f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"49293949823248212396671417964299023518368795973394820455239569200465537345836"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007057","0x0000000000000000000000000000000000000000000000000000000000000e14"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"29083831533784818225479637265569300259562715482710213296179560227457470336175"],"tag":"AbiUInt"},{"contents":[256,"87011866212956717896307941096806279079866296273946353101028358418331195660312"],"tag":"AbiUInt"},{"contents":[256,"53061443129278759934012884249358301837229095240887420230162723476091708229338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000381","0x0000000000000000000000000000000000000000000000000000000000000592"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"102558554994052350883389829699496220527424343558177704623406122062838759391087"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4b","0x0000000000000000000000000000000000000000000000000000000000000a8d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"848"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf4","0x0000000000000000000000000000000000000000000000000000000000005c65"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"58353502273687189220648749970057768478404300512290765656851756732379834006051"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a80","0x0000000000000000000000000000000000000000000000000000000000000e13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000041","0x0000000000000000000000000000000000000000000000000000000000006abd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000019","0x000000000000000000000000000000000000000000000000000000000000ec34"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088318"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa3","0x000000000000000000000000000000000000000000000000000000000000008a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"76286709553626635403267081702332870100031285068555474200360649510947069295239"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000045","0x0000000000000000000000000000000000000000000000000000000000000bd0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"70440393148652146939242960155597192321019604537548678033916128919858002376238"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007ce","0x000000000000000000000000000000000000000000000000000000000000711a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"4220544531728714379155026096568369517289348887060158500058301331744934807228"],"tag":"AbiUInt"},{"contents":[256,"114118524756322966172387545095270363804047042266305243461566927937870555049473"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ccfd","0x0000000000000000000000000000000000000000000000000000000000000102"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e3","0x0000000000000000000000000000000000000000000000000000000000000bcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":[256,"196"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908082"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb27","0x000000000000000000000000000000000000000000000000000000000000101a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"79228162514264337593543950333"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb24","0x000000000000000000000000000000000000000000000000000000000000137a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639838"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f7c2","0x000000000000000000000000000000000000000000000000000000000000eafa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"15869781866965692691646030269915956853876463791977351244608807965241369493284"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f99","0x000000000000000000000000000000000000000000000000000000000000dcba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea4b","0x000000000000000000000000000000000000000000000000000000000000653c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639862"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81e","0x000000000000000000000000000000000000000000000000000000000000b44c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x00000000000000000000000000000000000000000000000000000000000009d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb46","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689602"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c5","0x000000000000000000000000000000000000000000000000000000000000137f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"499"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1d","0x0000000000000000000000000000000000000000000000000000000000000bd2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639897"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000122ec","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"28"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002afd9","0x000000000000000000000000000000000000000000000000000000000000d13a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":[256,"18446744073709551616"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007d81","0x0000000000000000000000000000000000000000000000000000000000000076"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"84544607792555759604417051356052433913459527514469770843680886299844364730352"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000066","0x0000000000000000000000000000000000000000000000000000000000003a9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"13259581548424266569792468886242530538860544777284573728168673324265175406013"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f36","0x0000000000000000000000000000000000000000000000000000000000001372"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb19","0x0000000000000000000000000000000000000000000000000000000000008eca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":[256,"58955692487961932346987213326624554558734820410586354652856804127046613411430"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb38","0x0000000000000000000000000000000000000000000000000000000000000382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":[256,"15830331574349890565823954736233711375804047723531589695124380944070818185759"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba5","0x00000000000000000000000000000000000000000000000000000000000003fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639889"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb03","0x00000000000000000000000000000000000000000000000000000000000013a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ad","0x000000000000000000000000000000000000000000000000000000000000138a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f97","0x00000000000000000000000000000000000000000000000000000000000035d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fe","0x00000000000000000000000000000000000000000000000000000000000024db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"75"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75f","0x0000000000000000000000000000000000000000000000000000000000007e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024b01","0x0000000000000000000000000000000000000000000000000000000000009e99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"79"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000046","0x0000000000000000000000000000000000000000000000000000000000007e51"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"81610973941434466398854436224158063509280544190457772737740575376555346560672"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f9a","0x0000000000000000000000000000000000000000000000000000000000007840"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"173"],"tag":"AbiUInt"},{"contents":[8,"37"],"tag":"AbiUInt"},{"contents":[8,"21"],"tag":"AbiUInt"},{"contents":[8,"12"],"tag":"AbiUInt"},{"contents":[8,"135"],"tag":"AbiUInt"},{"contents":[8,"227"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"174"],"tag":"AbiUInt"},{"contents":[8,"182"],"tag":"AbiUInt"},{"contents":[8,"123"],"tag":"AbiUInt"},{"contents":[8,"234"],"tag":"AbiUInt"},{"contents":[8,"11"],"tag":"AbiUInt"},{"contents":[8,"87"],"tag":"AbiUInt"},{"contents":[8,"42"],"tag":"AbiUInt"},{"contents":[8,"205"],"tag":"AbiUInt"},{"contents":[8,"5"],"tag":"AbiUInt"},{"contents":[8,"107"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a2ce","0x00000000000000000000000000000000000000000000000000000000000088d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070331","0x0000000000000000000000000000000000000000000000000000000000009e98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"48303568521248234691348154682443901256333015694616178249713324613626240323690"],"tag":"AbiUInt"},{"contents":[256,"80142498008264220188937176061685856589799527947040882260454694313849119433265"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630933"],"tag":"AbiUInt"},{"contents":[256,"34922228364782706450045414549055434590563901992551586150029719296294806598490"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638933"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"81776124951141953492749986023019569111813413460578497834680610128251544139116"],"tag":"AbiUInt"},{"contents":[256,"66223492907262783513754541290851628412827174772877067497500462567323873301405"],"tag":"AbiUInt"},{"contents":[256,"58765569514011280608360719412816378007800299984460452724091101779438975021512"],"tag":"AbiUInt"},{"contents":[256,"1365370647010602058727719871992524019034470992789309603324392554611070726"],"tag":"AbiUInt"},{"contents":[256,"83371349128019095288834755699130469457797470818177716251918532306304912502187"],"tag":"AbiUInt"},{"contents":[256,"71150326104127735334786366503795459695587481240329174084684591557787373493963"],"tag":"AbiUInt"},{"contents":[256,"43922861695145507019426490424170384227540711007832123957455470009991384464352"],"tag":"AbiUInt"},{"contents":[256,"103858140782787068727351286691902105769921044363646586244478968307707827337934"],"tag":"AbiUInt"},{"contents":[256,"756"],"tag":"AbiUInt"},{"contents":[256,"301"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"122"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"83020694357624329739048456844817838382370348430067808243434349099755209514729"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"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":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043c5c","0x0000000000000000000000000000000000000000000000000000000000006dde"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000013665b5aad00fffd0"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639856"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdb","0x00000000000000000000000000000000000000000000000000000000000007cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"76690987603801144960293339229833340312199353710302813512638561855775625187079"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bda","0x0000000000000000000000000000000000000000000000000000000000001342"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[128,"74854181856008352290369682501229905142"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c4f1","0x000000000000000000000000000000000000000000000000000000000000653e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051854","0x0000000000000000000000000000000000000000000000000000000000003c09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce4f","0x0000000000000000000000000000000000000000000000000000000000007630"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000065","0x00000000000000000000000000000000000000000000000000000000000000ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"53018821388917849115375976206587937266314619199539442756255108416816485980044"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232c","0x000000000000000000000000000000000000000000000000000000000000133b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\181\\225\\189\\200\\b\\\\\\140\\168\\SO\\DC2c\\ETB\\130\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\208\\192\\253#\\251\\RS@H\\ACK\\186JQ(\\248\\138p\\169\\237Q\\130\\ENQP$\\184\\148;\\227a\\169\\143\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"c^\\203\\225\\ENQ\\RS9\\229N\\154_\\203[N\\184\\177\\176\\&9\\SO\\193\\b0^\\170\\SUB\\232,\\DC4\\a\\230S\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\\\\\254\\199\\145\\229jmy\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"}b\\131\\135\\234V\\SYNF\\133\\208X\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\151g\\145\\SYN\\245]\\DEL\\188]\\161\\141I\\DC2\\239\\178\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\194\\&1\\135\\197\\157\\225xG)\\168\\&6\\170\\180u\\137R\\129\\159sf\\253\\236\\f\\240q\\b\\197\\224\\130\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\237\\129*\\224\\222\\190\\&7\\173\\192\\RSU\\192\\183? 8v!VH\\227HbnI\\138\\RS\\138\\242\\194\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\175\\244\\144\\157\\238\\CAN\\174\\NAK4z\\186\\178\\254~\\ACK\\206\\238,\\231\\NUL\\f$\\159\\SYN\\232\\138`\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"nh%\\251t\\148\\240|-\\188\\249\\&2\\NULA\\150\\190\\217\\&4G!(\\226]\\219j\\208w\\248\\170sq\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\218,\\ESC0 Vu[\\155\\199Y`\\166^\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\241\\US\\f:\\231\\SUB\\176\\207\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\173\\225H\\135{\\137\\192\\151L\\218y|-\\195\\255\\212t\\134_X`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\237\\170\\SYN\\170\\175N`S\\231\\CANa'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\242\\207akb\\157\\211=~U\\USty0\"","tag":"AbiBytesDynamic"},{"contents":"\"F|)\\a=I_\\ENQxc\\SYN\\166\\USE\\ESC\\DC4\\175\\EM\\r\\165\\vtS\\DEL-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189s\\b \\b\\209*\\202s\\SUBp\\abK)\\\"\\SUB\\130\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150f\\142\\179y\\233D\\175\\245\\ETXC5%\\245\\228\\142\\144C\\199\\161X\\231\\255\\245\\224\\206\\214b\\183n\\252\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\137\\218\\190\\131k\\228\\DC4y\\\"\\166[\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\252AF\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\170\\134\\226hx\\246:\\EM\\181\\234\\188S\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\175\\207\\223T\\178\\140\\&3X\\t;\\EOT\\242\\195\\150\\230M\\236\\182\\&5\\128S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206o\\185\\207\\201*}\\255k\\ETB\\NAK\\v\\227\\237\\186O\\241\\250\\US `\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\f\\221\\CAN\\133\\197\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\228\\DC4\\226Vm{\\160\\218V`?\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\a\\245B\\130N\\132\\nA\\DC2\\US#1K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211r\\203\\199\\223Y\\r.\\148\\134\\185m\\130\\131?\\151\\NUL\\ACK\\177(\\223\\163\\208x\\149J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\EM\\216\\190\\177\\245\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\196\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\225q\\196kur\\245\\128(\\187(iB\\\"O\\203\\236\\196\\131\\STX\\237[\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255;\\163\\146\\161\\231\\174&-N\\r\\STX\\STX\\DC3\\182\\235\\242\\196f\\179\\\\\\SUBV\\197\\210\\188\\157&\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217G\\235\\198\\184\\214\\189\\129I\\138 \\166ee\\ETBR3\\DLE\\STX\\189\\t5\\170\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"?X\\CAN\\225X53c\\232h\\206>4<G\\216pN\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\FS\\242\\134a\\146\\DC3\\240c\\192\\ACK\\195\\226\\\\\\208K\\179?\\SOHf5\\189\\135\\198\\255\\159\\201\\218:\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"V{-\\RS\\158\\185\\&3\\139k\\244W\\187\\128;*\\137\\156\\196c\\215e}G\\SOA\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\182\\189\\227\\&6\\206\\223\\240a\\247\\ETX\\147\\237\\179c\\f\\211\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248$\\144\\FS\\247 P\\EM\\247\\ENQ\\128\\SO,\\CAN+\\161Vw@\\211\\EM\\181\\184P\\181',\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STXZ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS|+y\\207\\&1\\156\\198\\173S\\239<\\194\\161/\\US\\250g\\b\\193\\197\\&9\\210\\245\\182\\143\\252*\\141\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\166Ko^\\220\\182\\187\\250\\ETX\\174-\\255\\255\\251\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vC]\\\"do\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175)\\ACK\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\165\\180sZ\\SOH\\215,;t\\132s\"","tag":"AbiBytesDynamic"},{"contents":"\"F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\214\\SUB\\207\\174\\248\\229\\230\\221\\246s\\214\\213X\\235[\\DLE\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\STX\\223\\GS\\246\\250|mr\\DC4\\133\\ETB2s\\SI\\242\\DC2J;4K\\165\\254:\\149\\DC4G\\132\\135{\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\179/\\167\\a\\133k5\\235?\\173\\238\\RS\\174c\\167\\150\\152\\224\\166\\146'v~+D\\CAN\\SOH\\f\\193p\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"oy5\\FS\\204\\DLE00\\195TH\\\\4\\211\\&2\\197>\\235\\&8\\252\\&5\\187\\214\\SO\\156\\179\\240\\138%\\197\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\246\\143$i'\\167\\v1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"XF@a\\207)z\\221\\239\\157\\155\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS{\\190C\\145\\DC1\\255\\182\\172\\163\\175\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175yE\\182\\238e\\157\\181\\GS\\170\\t\\165TQ!\\227B\\154B\\231\\fe\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\205\\233J\\233-\\200\\200:Q\\239Yi|\\CAN\\169\\f\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\f\\196\\203\\253T\\230\\232\\152\\205V\\DC1\\SOq\\188\\139.\\212h\\SOH\\246.\\192\\185\\219h\\NUL\\208A\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"5R<\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209%\\ACK\\151R\\156\\138\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181@\\130\\218\\191I\\DC4g\\177\\181t\\241o\\NAK\\205k\\169\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\254\\245\\147\\234\\244\\202\\140\\RS\\209\\SO\\236Z\\187df\\128\\212\\246?\\200/\\183\\NUL\\ruQc\\182{lE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\178.dnC\\192\\253\\141\\136b'\\137\\184\\169\\166\\176\\217|\\158\\238A\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\169o\\134\\166\\132 \"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"?\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\130\\155x\\156\\231++\\243\\148W\\149h\\253&\\217\\ETX\\147C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\238\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\223\\238#&MX\\146\\236n\\153\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&\\224{\\180\\144\\DC3\\174\\176\\196\\227I\\188H\\214J\\210\\234\\231G\\211^\\216:\\238\\157\\f\\173\\202M\"","tag":"AbiBytesDynamic"},{"contents":"\"T&\\246\\&6\\155\\134\\140\\236\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\152\\NAK\\148\\167\\193p\\GS\\231\\156\\181N2c\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\223\\154\\234\\197%Bo\\150\\147\\213\\220\\216\\&7\\186\\250\\131E~j\\132#\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\250A[\\164\\195M\\181\\177f\\179\\DC1\\208u\\215\\EOT\\187\\254B/*\\DC1\\SOHd\\t\\ENQ\\CAN\\ACKRd\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\228\\173\\SOH\\NULYW\\214y\\168\\139\\233\\186\\133\\191\\190\\137\\149\\153;-\"","tag":"AbiBytesDynamic"},{"contents":"\"&~\\191Z!\\214\\DLE\\b\\241o\\129\\157R\\FS\\224c\\179\\148\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\131\\136\\SYN\\221=+\\214_\\203\\251\\233b\\STXMr\\t\\158?\\211\\231\\146P\\146\\250\\143>\\233C6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\174\\159k9\\ETX\\142\\131\\v\\223\\217\\158q\\141!\\143\\ACK\\214\\SO\\160\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216AF\\172\\&1c\\251\\144\\214T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\238S>\\249\\204\\160\\NAKa\\234\\215\\146\\244\\172\\137\\DEL\\161 \\204\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\242\\ETB\\132\\240\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\172\\v\\164\\STXh\\RS\\149\\166\\139\\165\\186Sn%s\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\202\\187^\\150\\RS*\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\224<\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v%l\\208\\251d\\211\\190\\234[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\235\\243N9\\227\\144\\208\\ACKM\\157\\ACKh\\203\\198\\EOT\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\169}\\166\\159\\234\\a#JIr\\172\\nM\\194\\189\\181W4\\ENQ\\153\\150\\135f\\252\\a:m\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\t\\185]T?\\214\\217\\129\\177\\201\\190\\&9\\DC2\\234l\\132\\240{,R\\244r\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\206\\&1\\232;\\159VYsu)\\244\\213\\130\\205\\193bnkC\\143\\172\\208\\ENQ}\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\DC2S5V\\209\\205\\&0\\133\\211\\DEL\\DC1\\247\\191?\\166\\191\\144m\\235\\176\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\192\\&8\\166P\\170\\129\\245\\228yA\\n\\139\\&6 \\209\\248Y\\168\\r\\214\\143\\165]N\\nP\\200e\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\").b\\CANR\\ETBB\\SOH\\141RS\\SI\\151\\192\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"%u\\175)_\\135\\CAN\\154k\\252%\\128\\ACK7\\169\\DLE\\130\\245\\249\\214\\243\\158\\230M\\220\\241\\182\\168\\195\\n\\214\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\196\\SO\\166rz/\\159\\242\\&4\\182\\247/\\235Y\\183C\\FS\\190r\\178\\154\\233\\249\\139\\\":\\ETB\\234\\147\\249\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"2I\\236\\184\\150v\\226\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\199\\224\\128\\&6;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\244\\255\\214\\189U\\141NQ\\210\\150\\133\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMX<\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB$\\210\\DEL\\129j\\171frb\\187\\178\\184\\235o\\174\\SUB\\224(b\\168\\206-\\142\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"h_p\\222\\225\\vCc;\\245\\ETX\\157Z\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222?\\186\\202\\198\\&0\\180\\224\\SIO\\209\\189\\236\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\192\\235*\\161\\STX(\\223\\ESC\\\\=*#\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHWJ\\CAN\\215N0p}\\176e\\f\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\173\\239\\221\\128\\v\\v\\212\\NUL/(\\156\\173,\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\168\\168R\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS40\\\"N\\239D\\133\\151\\DC4\\139Ix{8\\238K\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\155l\\197s\\164\\n\\EOT\\223\\\"\\137\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\128\\216\\a\\196\\185X\\246\\254\\\"\\234\\219\\227\\SO\\192\\&7z\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\EOT\\176\\ETB\\184`f\\209VF\\199\\NUL\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\SYN\\240\\DC1*\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\193\\252V)|\\ENQ^*\\ACK\\254\\218\\186\\249\\t\\168\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\169\\172E,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\218\\180-\\235y\\EM\\183MF\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241>U\\191~\\212\\254/8\\218\\191\\217\\193\\t3\\208\\185\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\185\\182V\\214\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\SI\\131\\&9\\234\\209\\220\\223G\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\131\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\169\\SUB\\193;[\\154:\\165 G&\\132\\214\\DC1\\DC1\\246?\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\198<\\138\\217\\199\\ACK\\198\\SIm\\234\\231/\\241\\136\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\230\\t?\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"n\\173\\180\\188\\155\\129V4\\194\\212\\219\\a\\184\\169THzF\\146\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\".,\\251\\170>\\229r\\210G3\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOkz\\172`\\US\\ESC\\143\\155\\254v\\231\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130Q\\191\\&1p\\208D\\213\\132\\132\\219\\EM\\157E{yEz\\140\\137jm\\184Fa\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\188 \\143\\199\\156\\164\\152\\173\\172\\203\\207\\DC25\\137F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\176\\177\\179C\\194\\FS\\DC2|z\\174\\138\\r\\201\\156\\248\\159\\&5?\\133\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\USc\\139\\&1\\231p\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\USx\\155\\184<\\248\\209L\\a\\191FJ\\163\\163\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\240\\227\\128\\134T?\\240\\200h5\\DLE\\DC1Q\\202\\155\\253:\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200STC\\192\\203]h\\193[*\\249m\\ACK\\202\\248a\\192C\\SO\\\\\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\av\\135]\\244\\174G\\245\\243;\\ENQ\\176\\134\\SUB\\131\\224B\\ETXM\\201#h2\\239x\\153\\139\\NAK\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240uUPg\\138\\176s\\172\\US7\\239\\FSx\\255G\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\176\\DC4\\143i\\163\\143\\193\\173\\144g\\199\\NAK\\153\\130P!\\220\\207\\194\\215\\130#\\ryDX\\SI5fu\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\")\\RST\\183\\159\\EOT\\209\\141\\SI0>/\\226\\173\\200\\a\\RS\\223\\156(*<\\130\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\CAN\\DC2\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222(\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\DC1\\135\\143\\bph\\142\\202\\154\\r3\\237\\173J(\\DELUBz\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\131\\STX6\\RSM\\164rwQ\\203\\243:\\132u\\SO\\240\\211\\251F\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\128\\230z\\130\\174]\\USD\\188\\253\\168\\214\\251q\\r9\\133\\208eR\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\215\\227rfw\\139\\230\\FS\\191vC\\149\\175\\ENQ,\\153\\251+\\EOT\\182\\SI\\220u6\\USG\\US\"","tag":"AbiBytesDynamic"},{"contents":"\">\\GSJ\\150\\139\\176vv^^p<r\\249ak\\242*\\214\\138\\159\\192\\216\\203t\\199c\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\231\\SUB\\128\\\"{|\\230D\\145\\231\\182\\225:9D\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\179_\\139%\\142\\233\\f\\ETB(\\234\\244M\\FS\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\ETXb\\139\\168\\148\\176o\\193\\245\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\186\\142\\228\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\251R\\202y\\143\\SYNE\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\204\\184\\239Z\\189\\244\\150f\\215\\NUL\\154#l\\231u\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"sA!\\DC4\\194\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\201I\\192\\161+\\170|PS\\RS\\162\\254\\149k\\170\\220\\149x\\178\\NAK\\248J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\190Bc$(#\\193S*uD\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\r\\253\\195A\\232\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\227\\253*\\SYN\\208_\\240\\162\\EM\\171\\STX{XY\\245\\251\\240\\222Kd\\246LX\\212\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"'\\vL\\140\\SYN\\189G\\180\\161\\154C\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\130o\\218\\&1\\217W\\176\\179\\183\\149f$\\SUB\\t\\177NZ(\\234\\221\\217\\&4@\\204\\r\\GS\\190P\\162\\151A\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\222>\\235A'\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\170\\140\\SUB\\162\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\254\\&93\\159\\131V\\140-\\NAK\\\"@\\205\\151TP\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\159 \\223\\130\\&2\\223\\SUB!.\\150\\FS\\227\\176W0\\153.\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\":\\DC4\\nX\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"3X\\STX\\ACK;\\215d\\144\\CAN}\\211\\136zD9kS\\201k\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\227\\164\\250\\199Z=\\214%\\227\\221\\229\\206K\\166\\r\\a\\231x\\f\\135G\\176\\137\\254\\bA\\233\\158(\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"$Z\\\"LC2\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\154\\a\\143\\197\\FS\\216U\\SUB\\252q#$\\171S\\205\\136\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\231\\172Fx?\\249%^-\\196'U\\SID\\137\\220\\241\\&3\\ENQ\\ETB\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\SO\\154\\DC2\\229\\&2t\\183S\\SYN\\221BSp\\128\\130\\ACK\\247\\141\\188\\t\\128c\\DC1\\212\\&3q\\ETB\\163\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\138\\241R\\201J\\176\\DC3?\\SYN\\129?\\247c\\241%.\\136Mrr<\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\227\\153f\\225\\197P:\\\\3\\208\\198s\\218e\\b@M\\EM\\132\\233\\FS\\134\\229\\202zJ\\245\\245\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132Hbr/\\163\\149)\\245\\199\\150\\250g\\156|\\235\\GS[\\251\\143{4\\217\\169f\\192\\176g#\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\172w\\204\\231\\238\\152\\EM\\191\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\248<\\131\\168^3\\ACK\\243\\195]\\179\\DC2Ve6\"","tag":"AbiBytesDynamic"},{"contents":"\"u8a:L\\248+\\214e\\230\\145r\\253\\231\\NAK\\203\\US\\132\\135;\\133i\\205\\&6\\232a\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\227\\224\\135\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\198\\234'\\188\\165^P\\STXh+\\221\\138\\DC2\\252\\129\\195(\\211\\SYN\\140\\164u\\171\\241\\249\\183\\205\\200\\138\\183\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\131\\204\\216\\165\\235\\179!\\r\\152\\228\\202\\156\\SUBS\\189\\150\\185\\239\\t\\RSk\\198Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\215\\131\\US\\193\\fD/4\\206\\n&\\201\\CAN\\229\\v9\\254P\\233]\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\128>\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\253\\&0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\166\\EMdh\\249\\141\\153MF\\147\\145DZ\\163\\n\\156\\159\\136\\SYN\\147\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\230\\130b?\\DC1N2G\\255'\\\\g\\236\\196'\\SO\\GS3\\191\\241^p\\180\\130\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\241\\SUBkS_\\209\\252\\RS\\170m\\236\\&0\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\217\\GSW\\163\\157\\180l\\239@\\220\\233\\143a\\183\\200E\\251\\t\\184\\176\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\DC3\\199\\183#J\\142M\\134?n\\t\\140\\CAN\\SOHX\\172\\ACK\\DC3i\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\217,I\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\143\\223?F\\STX\\SYNL\\250\\150\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196L\\SI\\213m\\197\\f\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\218\\218\\132?\\131M\\199\\210\\233\\ETX\\157\\232\\176\\172\\194\\223\\228`\\146\\206\\162z\\148\\159\\a\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\144\\&3\\189,\\213&\\212\\&7\\184\\128'\\174\\195)9\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136f\\USS*=Q\\187\\248\\133A\\136N\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\245\\136\\207\\147\\184\\201\\&6:\\252s\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\208\\157\\254 \\143, \\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\171\\180j\\243\\255\\rH\\215\\209\\t\\RS \\SO\\205\\136\\225T\\237\\EMT\\180\\209`\\251Ir\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150b\\US\\250&\\231=P\\229i\\137szN2\\SYN\\198\\189\\247\\227\\157Z\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"q[\\149^$\\130\\138\\184\\177Z\\DEL\\184\\209\\&1\\195=\\143\\199\\235\\193g\\153\\206_\\185?u\\241\\171\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\177~\\135\\241 \\SI\\191<\\141!\\182\\&9\\241\\&6q\\187\\211\\185\\167\\&3~\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\&5\\201\\199\\FS:\\216\\195\\191;r\\214\\208@\\148F\\245_\\RS\\132\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\229\\RS\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\SUB\\187H\\249\\GS\\225r\\195?s\\136\\181\\134\\&96\\SI\\240\\199\\233\\150U\\219\\&3f\\202\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\170\\137\\255\\GS\\130\\193\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\254\\165~\\STXZ=\\163\\146r6A\\248\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\184O\\164\\213\\173\\179`\\199\\GS\\176\\184p\\154\\SO\\179\\163D\\ETX\\224K\\130\\168\\143ML\\STX\\a)\\244k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\212\\139\\SYN\\NULe\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255*'\\249\\190\\NUL\\147w\\129\\SOH\\209],\\250\\224zlb\\220\\165\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137#\\130X\\230u\\243\\194wv\\129\\214w\\139\\ETX\\136O\\DC4\\145\\SI\\v%\\145F\\160n\\218\\r\\242\\240\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"b<ny\\161\\145U\\147\\132\\210\\DEL\\172\\135\\197\\229\\142,\\ESC\\223\\159\"","tag":"AbiBytesDynamic"},{"contents":"\".h\\166\\212\\128\\247j\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"L@\\SIa\\229\\SUB\\187\\201d\\153\\200\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"0!\\140\\175\\197\\170SQ\\133\\DC4\\254\\163\\n+\\137m\\174%\\a{\\133-\\191\\&9\\193x\\181\\ETB\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\176I\\251\\US\\180\\245\\&9<e3k\\DLE\\166;\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEu\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\fx!\\136\\222\\242\\129\\166\\DC4\\227\\247P\\133E&\\136\\NAK\\190\\217\\ETX\\252i\\243\\f\\FS)\\a\\201P\\175\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\184:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\250U\\bi\\234\\178\\245\\154w\\t\\219\\193\\144\\231\\216\\210\\202\\227\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128Zx6\\172\\RS\\237\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\175\\&3\\210\\157\\133\\150.\"","tag":"AbiBytesDynamic"},{"contents":"\"L{\\SUB\\215\\254\\183\\170\\NUL\\173!\\163\\151\\135\\&7\\233\\244'8\\228\\167q\\251\\223\\167'\\234W\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\226\\143\\161G\\207G3_\\SUB?X\\EOT\\155\\&6\\131\\FS)$\\SO8\\137\\EOT,\\221\\SI\\179]\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\&26&\\160V\\t\\222\\253\\251}\\196\\218\\253\\NAK\\170\\209g\\226b\\DC3\\201/\\142\\191\\242fi}\\ni\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULwjyr#\\166\\160\\200\\175\\&9ug\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158)6\\156*R\\128\\218\\209\\142+\\255&Iy\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\222j\\198\\160z\\NAK\\222\\ESC\\183N\\133\\198mz\\165kQ\\188\\209\\174\\&1\\175P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215q\\150\\144\\147\\206Z\\216\\STX^\\239\\237\\243i\\174:\\163\\&1b\\EMs(M\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\">\\223\\US\\204\\EOTB\\185\\DEL\\238\\NUL\\184\\141sy{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\205\\128\\EMTz\\SI\\192\\233\\214\\163\\211\\tR)WSt\\167\\ESC\\252\\228L\\ac\\157\\217I\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\187z\\223\\223\\SYN\\\\O\\162\\&0D?\\139\\152\\SOH\\SO_\\247E\\128\\nj\\247\\213n\\214\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\178i\\216y&=\\220\\174\\214A\\215b\\151\\209\\134\\208\\DC1Gyk\\NAK\\168\\207\\RS\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\142\\247a|/\\188\\232\\STX=\\b\\DC4\\218\\148N\\195\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\DLE\\157RS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\216p\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\168\\&7M\\173y\\132T\\248\\236\\231\\129c|G\\154N\\203Zn\\143\\136%\\158C?\"","tag":"AbiBytesDynamic"},{"contents":"\"8;\\203\\221\\158\\202\\143\\b\\169u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\155\\225\\232\\\\ib\\157\\166\\178c6`\\197\\175\\199\\148\\188\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"}!5\\159 a\\\"\\237~\\213\\NUL\\198E,\\247\\239\\198\\241\\204\\198\\173<\\216\\245\\154\\133\\174\\180\\207\\170\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235q&\\132\\193\\231`j\\142\\129p\\214\\194\\STX\\160y\\136\\132\\RS\\132\\&3;v\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"-95\\227\\216c\\NUL\\131\\149\\227\\198\\&9\\f\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\NAK\\198\\206\\SUB\\161\\ACK\\DC4\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS3\\225\\157B\\DC3\\153-e\\189\\215\\224\\163y\\210\\223UY\\248M\\183\\198\\175\\238\\132Z\\224d\\136\\185\\137\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\195n\\141\\f`\\188\\STX\\169S\\253c3\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\215\\195\\210\\212\\192cd\\ACK\\ETX{a\\187\\187\\219v\\ETBwu\\\"\\SI1zGeb\\254\\227U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\194\\a\\170\\207v\\146)n\\225\\t\\DLEZ\\169\\\\\\157\\141\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\f..\\144\\161)r\\195\\240\\218<`\\NUL:\\165\\148\\FS!\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\176`O\\ACK\\ENQ\\211\\&1\\167\\FS\\158\\128Hr*\\197y~bK\\a\\185*\\148*W\\254R\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\158\\132\\225n\\180\\132]\\142;\\187\\139\\165U\\EOT*\\173\\SUB\\EM\\190\\&4\\167z\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166x\\218\\205\\177\\US\\232\\239I9LCA\\236y\\222\\133\\150\\249\\215\\129\\b\\176\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"7_1u\\STX\\187\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"6a\\171\\STX\\177\\205\\DLE3N\\aQ\\191xTK\\194zo%\\194mW]|t\\228\\226Gr\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\238\\CAN\\154\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\181\\223\\229\\DC1\\190\\&38\\r\\225\\217\\222\\233\\217\\US=Bko\\145K\\US\\132\\219!tNr\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\223\\240\\183\\149\\225\\135\\147G\\196\\161\\197F\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245g\\176\\f\\193?\\228\\185R\\190m\\132a\\253/\\SYN\\177\\249k\\213\\170$>\\237;\\232\\181\\197v\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\198\\137@|\\131.WB\\212\\244\\222\\&6E\\210\\203\\134\\184\\209;\\146\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\179\\174\\&7\\237_2\\178\\236\\ft\\203\\208\\r\\138\\128\\195\\201\\162z\\180K\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\130\\248\\172\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\184\\DC3jD\\GSI\\ETBdu`\\214\\196D,yq\\134BN\\158\\140\\203?\\139X\\ETB\\248\\130&\\235\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\232l\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\165\\140\\211\\EOT\\158\\a;\\153\\250\\156E{.F\\DC2{\\156\\&5Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173w\\b\\216T\\STX\\189\\179Uiztb\\165\\245{\\152\\218m\\214^,\\227\\150\\150\\ETBs\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\161\\220@\\147\\216R\\246&Yu\\151\\132\\148+?\\180\\219~9\\159\\235\\146BP:\\DC3_\\138\"","tag":"AbiBytesDynamic"},{"contents":"\":\\249\\247\\248\\&7\\220:\\141\\223\\143\\238Q\\222\\237\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"v\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"30521527820189112884734011874158939104349378922411186873541325794486922212201"],"tag":"AbiUInt"},{"contents":[256,"379"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637936"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639861"],"tag":"AbiUInt"},{"contents":[256,"113561512101094120532313514190735292735357816595575060903769331986162992394649"],"tag":"AbiUInt"},{"contents":[256,"12"],"tag":"AbiUInt"},{"contents":[256,"104443731398765281325044994424825944734750669572924217387978725196238739747568"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011522"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"112030816207924277549521560350359726701921103353506443184864729406092532539717"],"tag":"AbiUInt"},{"contents":[256,"804"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639939"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628415"],"tag":"AbiUInt"},{"contents":[256,"46096919249646953691497469346332147225498750600580680956295502594447302970483"],"tag":"AbiUInt"},{"contents":[256,"95839891215023160762687326562286524685936633811893219089819664000139374897291"],"tag":"AbiUInt"},{"contents":[256,"1182763128719173440613182539472077507377059525284769813279162"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731852"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630932"],"tag":"AbiUInt"},{"contents":[256,"60933097833523240136026397444485089689465843082127098319710097817863796567813"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"66499393052851838380445811609155760498299612054049443974884387719783529091369"],"tag":"AbiUInt"},{"contents":[256,"1173060344603632223312701681002619171358107367200003417124"],"tag":"AbiUInt"},{"contents":[256,"44389877217187166750819307866077792199899639018173731711215434745842581892379"],"tag":"AbiUInt"},{"contents":[256,"74057135379378711133355150566780563554624297778031853523637984432324818757538"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731855"],"tag":"AbiUInt"},{"contents":[256,"86400"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"93"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"918657624536470233127"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"87155871019886156013720948411570888020549340758725852624505136979517634003592"],"tag":"AbiUInt"},{"contents":[256,"31"],"tag":"AbiUInt"},{"contents":[256,"393"],"tag":"AbiUInt"},{"contents":[256,"257"],"tag":"AbiUInt"},{"contents":[256,"16"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892766"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"75167014705746092608432422561387820937287290680293628462596244978604824885735"],"tag":"AbiUInt"},{"contents":[256,"100000000"],"tag":"AbiUInt"},{"contents":[256,"81677627131229659421983379613277596449262988944568957185816325220103877442314"],"tag":"AbiUInt"},{"contents":[256,"847"],"tag":"AbiUInt"},{"contents":[256,"69546217880785449120179727517019805282257070233884511102999128201630219578727"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"110960569038311024310381161649618376911672942972794839602834305375059939891552"],"tag":"AbiUInt"},{"contents":[256,"115767915392478816130442331545625949368345847259313400588218840303045540860782"],"tag":"AbiUInt"},{"contents":[256,"999"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950333"],"tag":"AbiUInt"},{"contents":[256,"100000000"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088318"],"tag":"AbiUInt"},{"contents":[256,"8999"],"tag":"AbiUInt"},{"contents":[256,"106734141142773798614904456827534161338261659237726106468627491042848199710078"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639838"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892767"],"tag":"AbiUInt"},{"contents":[256,"923"],"tag":"AbiUInt"},{"contents":[256,"70346862357893207593754099274227963884873177219834370995086989197732743617690"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639678"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639701"],"tag":"AbiUInt"},{"contents":[256,"254"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609602"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"29570488723674658969917282955217226739505083413389103996602051387869527156808"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"109296368373589277627939331705315841923186585973717202426377915039568941768271"],"tag":"AbiUInt"},{"contents":[256,"958"],"tag":"AbiUInt"},{"contents":[256,"958"],"tag":"AbiUInt"},{"contents":[256,"958"],"tag":"AbiUInt"},{"contents":[256,"958"],"tag":"AbiUInt"},{"contents":[256,"958"],"tag":"AbiUInt"},{"contents":[256,"958"],"tag":"AbiUInt"},{"contents":[256,"958"],"tag":"AbiUInt"},{"contents":[256,"958"],"tag":"AbiUInt"},{"contents":[256,"958"],"tag":"AbiUInt"},{"contents":[256,"958"],"tag":"AbiUInt"},{"contents":[256,"958"],"tag":"AbiUInt"},{"contents":[256,"68284538763041368758733594416234290038922229140771901203185272371951099611594"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639907"],"tag":"AbiUInt"},{"contents":[256,"67"],"tag":"AbiUInt"},{"contents":[256,"101870975251976673995909135540868110625725851385128248666461705821372033033075"],"tag":"AbiUInt"},{"contents":[256,"2480778849875064403809087286595190975327627717670467604026809120209456043651"],"tag":"AbiUInt"},{"contents":[256,"89428849407970899112730529562267345206870911970147910724186879699446146196864"],"tag":"AbiUInt"},{"contents":[256,"79490073555679957417217595673503642386839319171507331764536143559285878215807"],"tag":"AbiUInt"},{"contents":[256,"84086543316560431517179766154240337720239491319836162244516665465048816722105"],"tag":"AbiUInt"},{"contents":[256,"15461726131110846645879503754120005245110070329825116127691719657477021027631"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011523"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a60","0x0000000000000000000000000000000000000000000000000000000000005c65"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"2673184969081029060716779622492025355560647336496148498426501994702135962953"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f35","0x0000000000000000000000000000000000000000000000000000000000000025"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"1313373039"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf9","0x0000000000000000000000000000000000000000000000000000000000006ddc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005578a","0x000000000000000000000000000000000000000000000000000000000000001e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":[256,"19294395515109491773490152893477850349327841348194500540760612941918115235791"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff7","0x0000000000000000000000000000000000000000000000000000000000002712"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"39"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000039","0x00000000000000000000000000000000000000000000000000000000000047fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"60"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe4","0x0000000000000000000000000000000000000000000000000000000000001397"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"23809048918419387297674717079047873228431546210567165809120508136766424135963"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000030","0x0000000000000000000000000000000000000000000000000000000000007e4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"6397009121743008242165682957781833506700215184071427583025181317597004347404"],"tag":"AbiUInt"},{"contents":[256,"418"],"tag":"AbiUInt"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002329","0x0000000000000000000000000000000000000000000000000000000000002f15"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000026","0x00000000000000000000000000000000000000000000000000000000000009de"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074d9f","0x0000000000000000000000000000000000000000000000000000000000007dfa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"20"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9d","0x0000000000000000000000000000000000000000000000000000000000000fba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":[8,"11"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d1b7","0x000000000000000000000000000000000000000000000000000000000000101b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f36","0x000000000000000000000000000000000000000000000000000000000000133c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"612"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e950","0x0000000000000000000000000000000000000000000000000000000000005d4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055778","0x0000000000000000000000000000000000000000000000000000000000000024"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629936"],"tag":"AbiUInt"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c3","0x000000000000000000000000000000000000000000000000000000000000d38b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000523ff","0x0000000000000000000000000000000000000000000000000000000000007e48"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"2028107654469412935396712379342721090751989470391995618849586874524853501917"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb29","0x0000000000000000000000000000000000000000000000000000000000006a00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e379","0x0000000000000000000000000000000000000000000000000000000000000065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001cae0","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"120"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59a","0x0000000000000000000000000000000000000000000000000000000000000386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"4"],"tag":"AbiUInt"},{"contents":[256,"78015504780664648328845280227902493252967109267756214298093013197056254193871"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e3","0x000000000000000000000000000000000000000000000000000000000000dcc4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001cae0","0x0000000000000000000000000000000000000000000000000000000000001396"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051259","0x000000000000000000000000000000000000000000000000000000000000ec35"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"80744508420019986373040334682097580814478620229413937597737992853360118945972"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81d","0x0000000000000000000000000000000000000000000000000000000000007840"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ea","0x00000000000000000000000000000000000000000000000000000000000011aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b2","0x000000000000000000000000000000000000000000000000000000000000133e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"56982003264209406021099558701734762903869596400136746886023601206118002355935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138a","0x00000000000000000000000000000000000000000000000000000000000026ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"96740253923087183316354319231697336375816104676374416482131110475998331524282"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000035","0x000000000000000000000000000000000000000000000000000000000000b7e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[256,"247"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c82f","0x0000000000000000000000000000000000000000000000000000000000000e11"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"31736073041404365895930341632215434887419137000268787853281335975117098858493"],"tag":"AbiUInt"},{"contents":[256,"30332109804130221158765593333730734087187493992196160624116303712091161569337"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012f","0x00000000000000000000000000000000000000000000000000000000000000ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a518","0x0000000000000000000000000000000000000000000000000000000000001329"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"39373956977237827727493353314652121494028745121296977632983608902151234977676"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34c","0x0000000000000000000000000000000000000000000000000000000000006a26"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"22"],"tag":"AbiUInt"},{"contents":[8,"183"],"tag":"AbiUInt"},{"contents":[8,"27"],"tag":"AbiUInt"},{"contents":[8,"158"],"tag":"AbiUInt"},{"contents":[8,"68"],"tag":"AbiUInt"},{"contents":[8,"147"],"tag":"AbiUInt"},{"contents":[8,"46"],"tag":"AbiUInt"},{"contents":[8,"84"],"tag":"AbiUInt"},{"contents":[8,"100"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c2","0x0000000000000000000000000000000000000000000000000000000000007e4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222594"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa0","0x0000000000000000000000000000000000000000000000000000000000000400"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000724d7","0x0000000000000000000000000000000000000000000000000000000000000065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628417"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000d","0x00000000000000000000000000000000000000000000000000000000000009c1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb15","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000102","0x00000000000000000000000000000000000000000000000000000000000007cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000045","0x0000000000000000000000000000000000000000000000000000000000000385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061e55","0x000000000000000000000000000000000000000000000000000000000000b7e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"30794763859351578459074742875872972113438638936552022606251323692834029487738"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639933"],"tag":"AbiUInt"},{"contents":[256,"65771894734058038335099155033834910660551214604667911294562341441947596013701"],"tag":"AbiUInt"},{"contents":[256,"65154072055220449831332566942155249624300563116912764944581978113445677898797"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035134"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639936"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858883"],"tag":"AbiUInt"},{"contents":[256,"60880924868680562041134149914602128959017617175944549299857616077226021824101"],"tag":"AbiUInt"},{"contents":[256,"103"],"tag":"AbiUInt"},{"contents":[256,"110005589958796552661594522436640369712581879912349578560346689990894234768709"],"tag":"AbiUInt"},{"contents":[256,"4001"],"tag":"AbiUInt"},{"contents":[256,"254"],"tag":"AbiUInt"},{"contents":[256,"9998"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266896"],"tag":"AbiUInt"},{"contents":[256,"47"],"tag":"AbiUInt"},{"contents":[256,"30353342906744577994189405764351654201307267621002883035610959628629863583959"],"tag":"AbiUInt"},{"contents":[256,"88005292104259908344424327540423809936523778855088703763775495579508024711354"],"tag":"AbiUInt"},{"contents":[256,"37614894829576987172908325862988557325000944803331733677505982494156463056015"],"tag":"AbiUInt"},{"contents":[256,"6824742778445364145635281926680315185430432956431122350299561934333450074246"],"tag":"AbiUInt"},{"contents":[256,"52603328555838271085791255325529307599215890340539442606082985422383957144805"],"tag":"AbiUInt"},{"contents":[256,"92723370752112718189388780052484227054550468679219852554136972066041479718797"],"tag":"AbiUInt"},{"contents":[256,"105882080684422677901900200888776684890766935730361788767727946118400420730897"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"10224024617558942249660914064392079518308627550091073649024355562923230195202"],"tag":"AbiUInt"},{"contents":[256,"84869328990283983119975904579392290188059614943929101977252190807299099556105"],"tag":"AbiUInt"},{"contents":[256,"31040879752821599076925786879020593284568531429663627760582492734879041259860"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"27028307571685772701173293192618340854302730965066968439271022341258149668438"],"tag":"AbiUInt"},{"contents":[256,"102628117768707657933533357473702246588018274300802123063005803996743447968811"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639938"],"tag":"AbiUInt"},{"contents":[256,"63144082461945236278850703628828347671523641291722744920362390543755704669591"],"tag":"AbiUInt"},{"contents":[256,"103617119456755567663961714840921822439389517231520336452481783495594207103379"],"tag":"AbiUInt"},{"contents":[256,"304"],"tag":"AbiUInt"},{"contents":[256,"10827117939493091676185569878626341602797972497343306706775170216312530973423"],"tag":"AbiUInt"},{"contents":[256,"38054262227299402396439455719517063140190553066051451589042605610919657486476"],"tag":"AbiUInt"},{"contents":[256,"111507745808560162647617397995581010418704916839508254796803425017763161586468"],"tag":"AbiUInt"},{"contents":[256,"17307534122356907568088665602015115381396033330674927415852820285171122830289"],"tag":"AbiUInt"},{"contents":[256,"99340380446937077294076613109640118919917374414825853993665842085549008566684"],"tag":"AbiUInt"},{"contents":[256,"26900645571362480873042252323815898803407527366160525262061532955652738693345"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639919"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035136"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222590"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"14711365311605516752929983100149462107685742506041533296169569549825782118760"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"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":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba9","0x000000000000000000000000000000000000000000000000000000000000ba53"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000002c1d37a3dd27c51d3"}]