[{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"91675681517745655004465007847220499826789334122689536569558246373297422014046"],"tag":"AbiUInt"},{"contents":[256,"79662936001282743151213205034399674148070654159826131362863246255946387539437"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055775","0x0000000000000000000000000000000000000000000000000000000000006a01"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":[256,"21864616084177402407410143784210253356158742756278344900183751866098742135566"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b6a","0x00000000000000000000000000000000000000000000000000000000000012a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f6","0x000000000000000000000000000000000000000000000000000000000000129f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaea","0x0000000000000000000000000000000000000000000000000000000000001396"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"32314874264243284068095061545340143515759846381059888479608628742235707268183"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002bf8b","0x0000000000000000000000000000000000000000000000000000000000000062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"258"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000f3c5","0x0000000000000000000000000000000000000000000000000000000000006541"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef48","0x0000000000000000000000000000000000000000000000000000000000001414"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":[256,"77893713571088129992624267998752408271322336662327588562646094216532806256150"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164c","0x000000000000000000000000000000000000000000000000000000000000d9d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012f","0x00000000000000000000000000000000000000000000000000000000000085e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"79228162514264337593543950335"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517f","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"103715062675797594260169714328830823475184742802740697506066120147497628147218"],"tag":"AbiUInt"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c820","0x0000000000000000000000000000000000000000000000000000000000009206"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"32163049394942319597822609017496185512081017298369052012948791380193149179263"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bc","0x000000000000000000000000000000000000000000000000000000000000da5f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[256,"19868408114538469518009083286662894526736143808166323085023"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec3","0x0000000000000000000000000000000000000000000000000000000000001358"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"2000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7c1","0x00000000000000000000000000000000000000000000000000000000000013ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639819"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064ad5","0x0000000000000000000000000000000000000000000000000000000000001316"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x0000000000000000000000000000000000000000000000000000000000000552"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"47609761944624203876671292835591440620904564684460041542245826216183915960652"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005fb0c","0x000000000000000000000000000000000000000000000000000000000000a291"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000034","0x0000000000000000000000000000000000000000000000000000000000000062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"139"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065373","0x00000000000000000000000000000000000000000000000000000000000095b9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"3"],"tag":"AbiUInt"},{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015180","0x0000000000000000000000000000000000000000000000000000000000001371"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\251\\206\\&9cW\\229\\179\\157\\235\\232\\RS\\188\\209\\153Q\\160\\166\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\222\\ENQ\\183(n\\DC2\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\147\\159Wv\\173\\SYN\\SIA\\249\\229\\180\\175\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GSU\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\205ez=\\NAK\\186\\SI/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\217\\180\\US?b\\SO\\241\\181\\185C\\GS\\STX\\STX !\\231W\\bvr\\199\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139$\\ESC{\\238r\\183b\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\190Bf\\170\\149\\&7tPT\\239\\183\\nQ\\175\\184g/\\198\\STX\\235#\\206\\135]\\SYN\\198=u\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\224\\196Da\\197v~\\205\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\180\\b\\150>\\ENQ\\140\\130q_\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"()\\143\\&6\\136\\\\\\214\\ESC\\148-\\157\\ACK\\131\\NAK+\\192\\129v\\194\\195\\167Z1{g\\237R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250#7'3\\183.\\217\\169/8\\DELe\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245W6\\203S\\242r\\251ca\\130\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\209J\\172^\\130\\249\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\197s\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\245\\&1\\168\\208m\\149jmw\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"6\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\170\\198\\197\\198a\\RS\\158r\\136\\223u)#\\191\\STX\\216\\224M\\242\\131\\GS\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188opr\\DC4\\250\\&2\\SYN\\180_\\DC24\\FS\\192d\\147\\237\\238(<A^\\178\\202\\131}\\133\\&9\\238\\253m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130f\\155\\202\\176o+m\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248,\\183`\\146\\&9\\253N\\136B\\ESC\\137\\224:p\\233\\175*a\\225\\251\\251}\\239\\139T\\177\\207\\252\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204|[]\\FS\\188\\238\\CAN\\241w0\\NUL\\ETX\\254\\140#\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\147\\DC1T\\195\\ESC\\NAK\\145\\178\\&0\\v\\178N\\SYN\\243\\EM6\\181Y\\DC2)~+8\\136\\&6\\199\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187d\\164\\&7\\SUB\\249\\n\\187\\182\\220\\207e\\214\\170\\179&\\254>R\\180\\r\\US\\ESC\\200\\212j\\DLE\\156\\234\\160@\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"eS\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\205Y\\229\\SO\\172o7\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\GSGI?F\\253_\\164\\221\\135\\143S\\212e\\ETX\\149\\173r\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\209\\SOH\\165K?\\147\\SOH`\\193\\139\\229\\178\\196\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\222\\241^,,o\\218\\220\\fvj\\250\\v\\132V\\236\\US\\146\\225\\171\\146\\203\\237n\\208\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\160\\135\\DEL.\\NAK\\190oY\\171\\t&0kU\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\198\\199\\&5i\\152\\tX\\DELcb\\197\\150\\NAKt\\188_+\\220b\\130\\129d\\138\\SI\\248%\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\141\\189\\245'\\134\\189\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152y\\DEL\\197'\\230\\129q\\\\\\172\\202\\159*D\\139p\\207\\186\\&7\\199Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USm2v\\164\\195\\216\\186OS\\178\\201\\&8\\138\\US\\132~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEa\\243\\219b\\175Sk\\\"E\\167\\t\\193\\162z\\134\\180\\rv\\130\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2-Ux\\184\\162\\&7\\224{\\130~\\187G\\170Y\\167Z\\GS,\\135\\DC4\\229$\\137~\\DC3\\CANY\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\143m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\DC1\\209\\151\\226\\&3,%\\DC1\\254\\169\\128\\236w'\\175\\231c\\224\\147C\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\150\\193gJK\\222\\196\\173$a\\ENQ\\163\\182\\STX+r\\152`\\146X\\ENQ\\DLEe\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\GS\\182\\DEL\\238h\\244|\\GS\\229\\230<a\\207\\183\\198$\\243\\220b\\192\\179C\\145\\175i\\207\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\241\\SIPIv\\175?Z9\\USg\\220\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147t\\201\\172R\\247T\\199y\\156\\250dYE\\EM\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\176\\191M\\204+\\142\\235N\\SO\\222K\\189\\224iBN#t\\144\\159\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\205\\248\\&8\\217\\152\\133\\224\\241x&\\146\\174\\198x\\202>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\&8\\174\\143d\\143;\\206^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173?\\214k\\180\\197\\NUL\\150\\229\\246\\&5\\156i\\FS\\210D\\199\\247\\128\\249\\232v\\174t\\243\\238\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209|\\189\\132_\\SO\\205\\194\\212\\171~\\250\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"P*QHp\\149\\210ZV\\235\\247i;%\\DC4\\213\\147eCf\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"$\\176.\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\236\\EOT\\150\\234]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\ETX\\150F\\SOHE\\149\\240\\135\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\160\\144\\a\\205=0\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\USc\\NUL\\ENQ\\148\\191\\220\\&5\\DLEj\\184\\140\\211M*\\146e\\249\\228\\142_\\198\\216\\254\\131\\170\\DC2\\213\\f,N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\ACK\\\\\\DLE^\\163\\143\\140U\\133K\\230\\177\\160\\232\\187\\145K\\145g\\158*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\DLE\\227\\178&\\236\\EMImd\\193c'*}\\151\\156.L7\\159\\185\\204#\\US\\141\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\&3\\155\\&1\\b\\188\\151\\205\\ENQV_\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\";\\234\\186vvY\\r`m\\a\\200H\\196\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235I.J\\184]\\240\\225\\&2\\244\\185\\166\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"|Q<O6\\226\\247\\216\\ESC0\\207$J4\\146\\227\\238\\166\\GS\\t\\EM0\\DC1\\225\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253%L\\217\\198H\\224_\\148\\194\\224\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\215\\182\\248\\220\\184WK\\203\\215\\&9\\230Ak\\217$\\163\\&1\\141\\ACK\\196.q\\ESC\\133M\\\\\\STX\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\187\\226\\242\\DEL!\\167\\132\\DELS\\205}yZ\\227\\198vCv4u\\128}\\209\\186\\t\\187Q\\DC1\\146\\245\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\ENQ\\208\\245KA\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"H(\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164V\\ACK\\249\\CANG\\164\\191ne\\DC3F\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"e9\\DC19T\\187B\\SUBf\\148E\\200K\\255:\\144\\NAK\\DC3\\176R\\191\\199\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"II\\GS\\254e\\r\\210\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\252\\EM\\\"%\\218\\&3L\\223\\CAN\\229\\f6\\\\\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"^f\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vkl\\149\\224L\\171\\132\\DC1\\165-\\DLE+>\\245\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\242\\185<,Q\\ENQC]\\253\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\143\\158\\148d\\254k\\228G\\200f\\171\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\249T\\203^^`\\DLE\\209\\205\\171\\234\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242K\\\\\\217\\&1?`\\DC1\\215\\DC2Z\\243\\222[7k\\232\\240\\199'\\181j\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\178\\157\\199:j\\225\\187Wb\\162\\139\\&4\\RS\\236\\a\\232\\188Q\\240\\fk\\231O\\202w\\138\\DC4~\\t\\US\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\239\\134\\NUL\\f\\158\\253\\&9\\163eo\\v(Iv\\216be'S\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245y\\NULD\\226u\\208\\DC1\\183\\216Nv\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"V\\SI\\253\\226\\SUB?\\145B\\149\\ETB5\\128\\DC3\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\142\\\")\\158\\US\\166\\179$z\\ENQu%\\161\\SUB\\174\\160\\SUB\\SYN\\228\\ENQF?4\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\129p\\tB\\129\\DC3\\f#\\240b\\210n\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\196/\\137U\\205\\171\\205\\146\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163|4_\\220\\151\\155}s\\176F7\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\DEL\\241k\\148\\247w\\131\\226\\n\\STX\\bp\\232*\\186 \\235\\164g\\bC\\DC4\\158-\\fI\\133\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\198\\233\\ENQT.\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\252\\GS\\209\\136\\140\\139/4\\201\\ACK}\\232L\\186$q\\183\\150\\NAK\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\233\\182\\137\\230\\197J\\239\\141v#\\206\\190\\159MH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNV\\214\\&9\\249$\\ETB\\199\\130\\232\\CAN\\229\\&7\\176\\131\\DC1\\vyn\\137~\\177\\227\\130\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204X\\139\\164\\SOgt\\149\\161e\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\165\\NUL6'\\204\\ETB.\\240\\&2-\\180\\184K\\165\\&5\\175;\\CAN\\168<!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128y\\ACK\\161ng\\233Hx\\151x>\\152\\168k\\203\\165\\ETB\\168\\130\\152\\237\\\\\\228\\163\\235\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\137\\207'\\143y\\160\\ETX\\225EB\\139\\163\\\"t\\238^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\222\\209\\t\\n\\137\\DC1\\154a\\203\\142\\168_N\\ACK\\173\\252Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\182\\201x'\\178\\133/\\143\\157\\166\\ACK\\176a\\142zH\\200\\251\\191gh3-k\\215X0\\158\\162g\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\237\\224N\\b^?\\244S\\162\\220\\SOH=4\\151\\143X\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"G\\213s\\230n)HZZL\\170\\DC1\\DLEv\\196\\177\\173\\210\\&6\\210\\SUB\\140\\SOH\\FS\\226\\EOTf*h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130u\\155\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138.\\136\\ETBl\\DC2\\185\\GS\\223\\140\\&4^\\231\\159\\145\\DC2}\\174D:\\252\\SOT\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\STX\\169>\\\"n\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN<s\\ENQ\\\"5J\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\147\\183b3\\SUB\\175;\\224 X\\166\\139\\159@h\\175o\\211|\\216\\173\\169\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\aJ.f[\\184\\141\\181\\DLEcG]\\189C\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACKsu:\\160\\242cW\\149\\SI,\\169\\240\\DC2o\\129\\141\\207\\209\\239\\SUBIh\\206\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"Pd\\207\\EM\\rb3\\147\\199\\206r\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\163T\\244\\209\\250'\\247\\128qN[\\160\\232\\247'\\163J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\183\\236\\247'\\ETBEj\\SOH\\130:\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\177N\\RS\\174\\186\\193K\\155\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC+\\131\\NUL\\196\\133Z\\176\\183\\229a\\193\\157\\131\\242\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190r/F\\SOH\\206R\\176?\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\DC2s\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\234\\194\\128\\149\\227\\140\\208\\225\\254\\147\\DC4\\166wJ\\180j\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\179\\185\\&8\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\138\\ESC\\250\\147\\148j\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\207\\231\\207w?\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\152D\\209\\170D\\140\\ETB\\148W\\SOH\\181\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\129\\213\\176\\180\\&1\\SI\\195\\DLE\\138\\212\\218J\\t\\239\\a\\144\\206J\\175\\137\\234\\203q\\140'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\EM\\158|\\223\\DLE5k'!\\134EK\\191\\237\\180P\\188M=\\DC3\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\191u\\221\\200\\nA\\CAN\\DC3@\\215\\139\\\\\\223>_\\v\\191\\161\\SO\\154K\\250p\\218\\136R*1\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\RSl\\203\\234\\151#\\211\\237X\\172B\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184g\\219F\\t\\132\\238\\193\\150\\157\\&4IV2.x\\224\\250\\DC3\\211\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"f'd\\128H\\212\\181Z\\191\\236\\a}\\163q\\194\\200\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157s\\195\\228\\RS$\\EOT\\209B\\226\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"M~\\SYN\\143\\175Pt\\204\\149>R\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\224\\245{U\\204\\194\\&9o(\\169\\169\\137_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\164!\\EM/\\188DVD#\\159ms\\196n\\229\\208\\137\\130\\202\\239\\&7\\191\\128\\SO\\240I|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKW\\191\\tF\\176\"","tag":"AbiBytesDynamic"},{"contents":"\".\\143\\251\\EOT\\176\\157\\170_\\242\\246\\175\\193\\221\\203\\204E\\183~>\"","tag":"AbiBytesDynamic"},{"contents":"\"u3\\213\\&9R\\t\\215*|\\215\\237\\182\\173+\\228\\ACK\\151{f\\153Cm\\173\\137\\245Np\\DC1(7\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\172\\&7\\193=\\EM\\172(\\165\\214d\\174\\191\\135\\140\\178\\&3EP\\129\\146'\\220\\247\\DC3\\253\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\190\\216\\152\\140\\236\\202-\\a;~\\\"e[\\214\\133\\247\\245\\132B\\223\\&2g\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\137\\169J\\DC2Sdb\\229\\GS\\166P\\FS\\ACK\\166r\\190;\\EOT6,\\247\\&7H6\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"<9\\139\\251\\244L\\ETB\\136\\155H\\144\\SI\\177\\144\\214\\197\\144\\DC3\\212_\\188\\GS\\137\\vZ(V\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\",\\221]\\211\\137\\RS\\250#\\245\\144J\\209F\\204\\206\\152\\vm/\\136\\157N\\154\\DLE\\246\\255\\206=ck\\129\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208p\\137\\133-\\EOT\\221\\202\\229\\192}\\226\\128\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\252\\231\\NUL\\240k\\242STC\\253\\159\\DC1\\r\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQn\\140\\132\\160r}\\173p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251_]U\\129s\\229\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\197\\231TSA}(\\206\\198\\233s:\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\232\\222\\\\\\230\\139\\187[e*\\147H1\\164\\136b+\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\239\\212\\DLEY\\143f\"","tag":"AbiBytesDynamic"},{"contents":"\"smB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\184\\235e\\178\\236\\&0`\\SOH\\247\\214s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM`\\236\\238\\156WK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199Fm\\139\\247\\146\\ETBIv\\179\\176`\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\EM\\GS\\250\\207\\DC4\\138\\224\\186\\SI\\222\\SUB\\180\\142!\\ETX\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\201\\DELe\\248\\217\\166\\235\\185*\\ACK\\US\\156\\b\\245\\ETX?\\NAK\\206\\ESC\\255\\EOT#4\\129\\SI\\168L%FJ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170P\\232D\\200E\\224\\254K\\150\\155K\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\181\\195\\151\\228\\b\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CAN\\v\\237G\\166\\&3\\136\\215mp)\\USA\\199\\144Ni\\194\\198\\&0\\250\\238m\\141Y-\\250\\185r\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\DLE\\SO\\172\\STX\\212\\205\\&4\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\154\\226\\181p\\ESC\\250\\240P\\175\\209\\136Z\\163\\SI$\\190\\SYN\\133\\223\\176\\&8\\214\\215(t\\141]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\SO\\144\\177&\\167\\229\\188< \\208\\211\\163\\202\\&5~3\\148\\255\\247b\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\138/\\167\\164\\142J\\251\\197\\148\\RS\\187a\\r\\195\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\170U<\\152Rva\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\251!\\167\\&1eD\\199Q\\216\\134\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"DZ\\197iuZ\\140GL\\FS\\250\\242U\\230\\137\\ESC\\SI^b\\225P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\DC2\\182\\241\\SO\\146M\\182\\175\\141\\241\\244\\248S\\188\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"K(e\\156\\154x\\212\\153\\235\\217\\ACK\\DC3\\169\\198s\\193\\242/w\\131\\250\\133[\\163a\\220\\167\\RS\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178x\\219AD\\162<\\ETXBz\\201\\131V\\213\\155}\\191\\209i\\DLE1=s\\175\\186hB\\NUL'q\\214?\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\214\\202\\173\\167\\DC2\\240\\234\\175\\240S[a\\SYNa\\195gn\\248+Kr]\\175\\DC4&\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\NAKS\\164\\208\\&4\\244\\240\\225\\246x+m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\162:\\r\\DEL\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\&1\\239o(\\245\\NUL7\\151_\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\ETB.*\\150\\230\\ENQ/^U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\179\\193S\\EOT\\185Sw\\226\\215\\192\\207c\\147\\SUB@\\197<\\213T\\164\\220k\\248\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138S\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\194\\233\\170\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\214X\\249\\155\\DLE#\\130G \\128\\131T\\158\\164\\248V\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\212\\187\\&8\\182\\211\\165\\163Wz\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"[f\\245|\\199\\211\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\143\\152\\CAN=k\\CAN\\164)n\\154\\131\\151\\v\\160\\SI3\\232\\&6\\224\\161\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\222\\175\\246\\FSi\\130\\GSjJ\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\DC1\\206MB\\240\\&1-\\219\\167\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\aQ\\DC3\\200\\246;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\244\\189\\DC2IR\\EM\\162\\231+\\192\\157\\STX\\159\\214\\170\\182\\139\\144g\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"*@dH\\162\\246\\139\\&2\\242\\SI\\USb\\149S\\214\\174\\160M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\152\\252\\221\\214\\244\\199\\134\\236\\202\\139G(,Jm\\159\\130\\191\\198\\249_\\150hc\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\221\\215P&z\\160\\156\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\234;\\194\\238U\\ESCQX\\201kmi\\r\\131=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\152\\178\\151\\164e9:\\139\\204l\\187g\\163ft\\199\\&2y\\224\\184\\241\\202\\SYNC\\165\\142\\NUL\\149\\194\\222<\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\136+Lr\\207/\\ETBvS\\165\\253\\a\\170d \\180\\149\\236\\&0E\\a\\203\\143\\211\"","tag":"AbiBytesDynamic"},{"contents":"\":\\198\\t\\134\\155\\&9g\"","tag":"AbiBytesDynamic"},{"contents":"\">H:\\SOH*H\\DC2\\143^\\244\\&4\\NULD\\140\\218j\\217\\178;\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"sP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238x\\ACKB\\161~\\159\\DLE\\ACKx0\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\154\\237\\224\\195{q\\213n\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\165\\&6\\151\\223[\\225\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"1[\\128\\246s\\176\\175&&\\203\\211\\236\\\"\\198\\196gk~I\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\155\\187E\\SO\\224\\163\\145KZ\\US\\173&\\185\\244\\208\\DC1\\198\\GS T\\157{\\211\\240T\\189\\154d\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\222%\\197\\150.\\DLE\\239w\\SUB\\DC2O\\135<\\238C@\\189\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\244+\\134\\DC4/\\SI\\160\\216\\213\\150\\182t\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\143F\\234\\239!\\177\\206\\&0\\144\\bz\"","tag":"AbiBytesDynamic"},{"contents":"\" 7\\182\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"5q$^\\172\\CAN\\DC1n\"","tag":"AbiBytesDynamic"},{"contents":"\"o>\\DEL%R\\198\\\"\\252\\230i\\175;y%p^\\221\\162\\SOH=\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176Z\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162h\\164T\\223\\182\\208\\DC3nk\\214\\179_\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247K]\\195\\v\\155\\226\\182K\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\226\\EM\\140\\143\\DC2\\226\\199\\&6!\\NAK?\\216\\244\\215\\&7Q\\203\\183Q\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\170\\231 &\\252N\\157\\252\\DLE3m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\163s\\140\\t\\253\\153\\152\\DC1\\226\\224\\227\\253/\\185\\SOH\\128\\237Y\\174\\222\\139f\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\243CK\\171\\205.\\251\\165\\163\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\229@\\169\\247\\192\\141\\156:b\\206\\226;)\\SOHB\\179\\ETX\\221\\200\\n&E\\225c\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\151\\\\\\254]F\\208u^\\250e\\169\\&1\\192w\\232\\208\\138\\DC4\\210\\228\\178!\\193Ly\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\241\\187\\185\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\196\\254\\161\\NUL\\183\\STX\\169#\\203\\175\\143\\160\\184\\183*<\"","tag":"AbiBytesDynamic"},{"contents":"\"Ql\\166\\SOH\\242IoL\\223\\240\\172\\145\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\SI\\174\\140\\207E\\196L\\253V\\158\\210(\\246/\\STX\\197\\208\\164~\\CAN\\148{_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213)\\156\\201\\&7W\\165\\158\\249LCvb\\158\\SOP;;\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\205\\134\\210\\STXL\\217\\222;#\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152w\\254\\203\\&7\\v\\NUL\\195;.\\139x\\243\\222\\NUL/L\\139w\\196\\DLE\\220{\\224|\\151e\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222~RJ%3b\\206\\168\\196B\\148*\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\242\\EOT\\224\\139\\163\\184\\228{\\DC1i\\155\\&5\\185c'\\223\\158\\FS-\\255\\253\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250~e'\\237\\155\\184yy\\193t\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"L:\\129Y\\SO\\191\\226\\199\\149\\US\\147>:\\162\\147\\191\\a\\242T\\194\\206\\SOIB#\\143\\NAK\\171@\\DELCK\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193<\\ACK\\250J>\\159E\\US\\239\\241M\\DC3i\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\175U'-\\161g\\202?\\NUL\\243XZ?\\188\\233\\224\\EOT`^\\254\\162\\165\\205\\NUL\\131[\\228\\141\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\SOH\\243\\195(\\133\\222\\242\\130\\140\\ETXM\\172\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"n;\\136\\245\\207\\231*\\216\\188\\225\\244\\139\\132\\186\\223\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\&2\\190\\DC2:u\\158h\\EOT\\253\\234\\a2\\137\\249'\\193\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\201\\EOT\\180\\ETX\\211G\\181t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\180\\187\\217\\&7\\v\\GS\\tU\\ETX\\SYN\\RS\\CAN\\214\\221-\\132\\216\\221\\202\\165t\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130>o#\\175\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\220\\NUL\\186\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\+\\171d\\195\\171\\a:\"","tag":"AbiBytesDynamic"},{"contents":"\"<h5\\130\\142\\158\\203Wj\\234A\\r\\204e\\222\\200Fil!\\r\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\DC1\\206b\\t\\170\\&6\\242\\\"\\ACK\\132\\211\\188\\190\\222\\247\\247?\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\SYN\\135\\234\\196\\233\\&6h\\158\\233iA\\221B[\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\SOH\\145\\170\\138\\STX*\\\\\\FSA\\218\\215y\\130y\\235O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\170\\172\\185\\234\\135\\n\\168#\\218\\172\\133\\177\\239\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\227:\\216\\n\\137/9&s3\\230\\203\\EOT\\197\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"ko\"","tag":"AbiBytesDynamic"},{"contents":"\":m\\156\\ESC8b\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140[\\161\\251\\181\\220\\231n\\220\\235\\193r\\SOH\\154\\ETX\\223R\\140\\168CD\\249\\145\\156\\189\\255\\232\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!<%\\216v\\149\\&4\\DC3t\\148\\228\\&8\\140\\249@\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\155\\199)\\175\\176\\218:\\220\\144\\240\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176`\\156\\255H$\\171\\212\\SI6\\160a5/\\214\\164\\174\\176\\DLE\\247y?\\156\\208\\146\\179\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\ESCM\\145\\206\\215:\\147i\\164\\207\\225\\207\\STX\\r\\a:\\215~:\\207\\217\\224z\\159\\209\\151\\&6\\206'\\188D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137>9\\a\\rx!\\209\\246\\222\\249\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219@\\146\\255<8(n'1Uj=\\DC42\\188\\196\\233\\v \\241\\183\\RS\\213\\ETB\\214\\204y5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143]D\\161\\&91F7\\210\\128\\246\\190\\218\\\\\\180\\142\\131;\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\249\\233\\231:d\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\144\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\":D\\153\\&7\\131\\130\\EOTj\\ETB\\US\\209\\150\\205E\\129\\248\\171\\202C\\207\\252\\ETXq\\159fd \"","tag":"AbiBytesDynamic"},{"contents":"\",\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240k\\254\\DC4\\160\\206\\131\\a\\156\\254\\219Ow\\187\\164:\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186v\\159\\158\\236\\\"\\155\\182 \\210\\171\\DC4\\220\\156P\\190\\&0\\RSh\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\204(\\192G%\\129\\191S\\195\\180\\SYNKJ0TD\\174\\EM\\145\\195\\204-<\\253l\\234\\160\\t\\138\\220\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\231\\RS\\210\\187\\203\\240\\252\\237\\198\\142n\\200\\DC2i4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\174\\&3\\218\\212\\STX\\235tJ\\215\\238\\221\\187\\US\\196?}\\184(\\132\\128NA\\129\\152\\199\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235N\\SOH\\201\\EOT:\\175vn\\152\\203\\NUL>\\136$*c\\171\\SO\\177\\224\\138\\n\\142\\164\\181\\199\\158\\223\"","tag":"AbiBytesDynamic"},{"contents":"\":\\144\\231\\241O|\\201\\215\\&4iP\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\226\\246\\242\\204\\SOSCr\\160\\232~\\171\\236Lnl4i``\\158F$A\\STXmY\\170r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197O\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\148\\ETX\\ESC\\171\\ETX$)\\US\\164G\\243\\144u\\226\\195m\\175>\\133N\\t\\DC2uX!/\\154G\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!wQ5\\a\\246\\175dj\\SO\\n~\\DLE\\EM5\\222\\161\\SOH\\218\\149\\255w(\\180s\\238KS\\GS\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\SUB\\237\\191\\EM\\182|\\179\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"5878623614256507594275124645717695763639139257454428163"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428163"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428163"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892767"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"74628413768868231132558931992391530961266425113648661401733071663495214730340"],"tag":"AbiUInt"},{"contents":[256,"847"],"tag":"AbiUInt"},{"contents":[256,"56407147450564978021957493958722775052546518453058323696525185707274825328168"],"tag":"AbiUInt"},{"contents":[256,"61313279940273116716929962089085611716510107913026411283980758072516470703226"],"tag":"AbiUInt"},{"contents":[256,"897"],"tag":"AbiUInt"},{"contents":[256,"777"],"tag":"AbiUInt"},{"contents":[256,"426"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636334"],"tag":"AbiUInt"},{"contents":[256,"1526641873"],"tag":"AbiUInt"},{"contents":[256,"1533030371"],"tag":"AbiUInt"},{"contents":[256,"5004"],"tag":"AbiUInt"},{"contents":[256,"146"],"tag":"AbiUInt"},{"contents":[256,"10000"],"tag":"AbiUInt"},{"contents":[256,"466"],"tag":"AbiUInt"},{"contents":[256,"184"],"tag":"AbiUInt"},{"contents":[256,"49413369607548189242158826892630030194473077590294478109655449670452065071879"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507329"],"tag":"AbiUInt"},{"contents":[256,"1000"],"tag":"AbiUInt"},{"contents":[256,"56100364546694300166452438716484957855786235561407056203149448397243751113647"],"tag":"AbiUInt"},{"contents":[256,"96975129095315017227995808351063454979994821503062303765429510857283084451083"],"tag":"AbiUInt"},{"contents":[256,"53"],"tag":"AbiUInt"},{"contents":[256,"70773503318606618443413029745704048502794272630246134188452304729727159715248"],"tag":"AbiUInt"},{"contents":[256,"1509995359791888906107116626875206948968081154027963856272498662459543635748"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639637"],"tag":"AbiUInt"},{"contents":[256,"56314017246199648083743889001918703744363536520429427266842016489178180959173"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"443"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"92934083406568884893843634805689619331838709883007772332549620433598607103716"],"tag":"AbiUInt"},{"contents":[256,"10313334198947196504739697659816456698205772806085343666042148939263416157819"],"tag":"AbiUInt"},{"contents":[256,"1528729676"],"tag":"AbiUInt"},{"contents":[256,"85464661906409367275178387378964339175114060969013753558344062549418507155292"],"tag":"AbiUInt"},{"contents":[256,"329548105522794566462436691517854173125"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639817"],"tag":"AbiUInt"},{"contents":[256,"1547144"],"tag":"AbiUInt"},{"contents":[256,"1527539938"],"tag":"AbiUInt"},{"contents":[256,"1528020606"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639930"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132605"],"tag":"AbiUInt"},{"contents":[256,"110430349089886093445280810360383908181930964041720620223447239399224687254511"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"88106554529660555280199856868166492311103461498182092686260270683158001701280"],"tag":"AbiUInt"},{"contents":[256,"884"],"tag":"AbiUInt"},{"contents":[256,"91975174508435320413326478443916300524449101649070437317251887479027240911495"],"tag":"AbiUInt"},{"contents":[256,"796678504945397586812415508811102313629886572179129084540469777161877602580"],"tag":"AbiUInt"},{"contents":[256,"105505484068180047983923988444565728870181635345772954526251389782470310951073"],"tag":"AbiUInt"},{"contents":[256,"24206686389402729005267318316673417048681464926394957337599433512536279284860"],"tag":"AbiUInt"},{"contents":[256,"1530642232"],"tag":"AbiUInt"},{"contents":[256,"116836988835337442967472361205890396726"],"tag":"AbiUInt"},{"contents":[256,"60339807266943493437915136059682763114128660038521327930293052107667401154037"],"tag":"AbiUInt"},{"contents":[256,"1257194225896207017607373558920176907624018024899521049211801464174088972048"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639833"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"304"],"tag":"AbiUInt"},{"contents":[256,"899"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634932"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639898"],"tag":"AbiUInt"},{"contents":[256,"110228536814129511016431141159611496273912856260435861011275890576484948896922"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638933"],"tag":"AbiUInt"},{"contents":[256,"256"],"tag":"AbiUInt"},{"contents":[256,"80528860287851997393799439272018330252443547982843680821393531203967437485460"],"tag":"AbiUInt"},{"contents":[256,"14720779588440683928706442551050884893222197439910524510603557014127515308149"],"tag":"AbiUInt"},{"contents":[256,"31974233013133113985823363512479675689035226826456107915029816156055222876963"],"tag":"AbiUInt"},{"contents":[256,"54166673828360311581759838614687206017410550490316340142961769816644132403259"],"tag":"AbiUInt"},{"contents":[256,"25692498734009190655920113984714445426248414371248052476713663168011999347345"],"tag":"AbiUInt"},{"contents":[256,"782115977378242409776836229903803806052680309758344520041"],"tag":"AbiUInt"},{"contents":[256,"216"],"tag":"AbiUInt"},{"contents":[256,"93811925838998623017634821896251818415666848067753143951176886216224086256719"],"tag":"AbiUInt"},{"contents":[256,"81052407585018695003780453916894317036447133022566836968216871923713764868700"],"tag":"AbiUInt"},{"contents":[256,"35218889199716882590005359187965762795122222454277892914971805281053017009110"],"tag":"AbiUInt"},{"contents":[256,"233"],"tag":"AbiUInt"},{"contents":[256,"67507428465115678276224853180320539961410303466636959584024452556624419144864"],"tag":"AbiUInt"},{"contents":[256,"72522444358727967462358086223722840663942486043909923383713651404446802786411"],"tag":"AbiUInt"},{"contents":[256,"599"],"tag":"AbiUInt"},{"contents":[256,"10130431210017875287411200620048698441858617547797783418932157340549865405742"],"tag":"AbiUInt"},{"contents":[256,"33177676770918499626483201915737896237515539599115802018106351173075913132562"],"tag":"AbiUInt"},{"contents":[256,"75339342004372558386434169016445380068890952116883820543775519866363647215361"],"tag":"AbiUInt"},{"contents":[256,"587"],"tag":"AbiUInt"},{"contents":[256,"55"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"2293698284364200235573484"],"tag":"AbiUInt"},{"contents":[256,"252"],"tag":"AbiUInt"},{"contents":[256,"66046668008701433976875015474293085995096091635385489878113284218696741473298"],"tag":"AbiUInt"},{"contents":[256,"86398"],"tag":"AbiUInt"},{"contents":[256,"30213314749031041472258711911613770402607098342194183866741159410529570082905"],"tag":"AbiUInt"},{"contents":[256,"317920044321789162027302871044388548129"],"tag":"AbiUInt"},{"contents":[256,"1530027460"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639902"],"tag":"AbiUInt"},{"contents":[256,"297"],"tag":"AbiUInt"},{"contents":[256,"8546540686835201035543343995010599823483445949154217829473952163979"],"tag":"AbiUInt"},{"contents":[256,"96346790551014127956426117479804218440126413374539661857589660002757552046785"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"29499285302760770687398065719045088529488951773867565612484043251540805131719"],"tag":"AbiUInt"},{"contents":[256,"113813635026148204552691844520998226335505255462284021497483876719303940303641"],"tag":"AbiUInt"},{"contents":[256,"932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639849"],"tag":"AbiUInt"},{"contents":[256,"744"],"tag":"AbiUInt"},{"contents":[256,"568"],"tag":"AbiUInt"},{"contents":[256,"1532730854"],"tag":"AbiUInt"},{"contents":[256,"48"],"tag":"AbiUInt"},{"contents":[256,"1532987554"],"tag":"AbiUInt"},{"contents":[256,"9997"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035137"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"69"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000679f7","0x00000000000000000000000000000000000000000000000000000000000095b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"106524763680690114790609807679605486208965050245366517267173661555708000613820"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3c","0x0000000000000000000000000000000000000000000000000000000000000008"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"33"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005caa0","0x000000000000000000000000000000000000000000000000000000000000bb4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"1532319212"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafd","0x0000000000000000000000000000000000000000000000000000000000007e4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c1f8","0x0000000000000000000000000000000000000000000000000000000000007115"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"301"],"tag":"AbiUInt"},{"contents":[256,"109879386868078354002034361359814116184200498021475871657824085887626568939228"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce4f","0x000000000000000000000000000000000000000000000000000000000000137e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051251","0x000000000000000000000000000000000000000000000000000000000000b282"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"116747985"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000006a","0x0000000000000000000000000000000000000000000000000000000000000fd6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"41"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e702","0x0000000000000000000000000000000000000000000000000000000000008ec7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"297"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e9","0x000000000000000000000000000000000000000000000000000000000000b282"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010978","0x0000000000000000000000000000000000000000000000000000000000007d0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132606"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007fff","0x000000000000000000000000000000000000000000000000000000000000e344"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074d9f","0x00000000000000000000000000000000000000000000000000000000000035d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892765"],"tag":"AbiUInt"},{"contents":[256,"25997384764474559164117165229364547890092057845220270549568341783451598473163"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639924"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639678"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfc","0x000000000000000000000000000000000000000000000000000000000000a135"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5d","0x000000000000000000000000000000000000000000000000000000000000254b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\182\\215\\ACK'\\174LY\\t\\207\\US\\173@ \\205{\\154\\134YZ\\223G\\236\\186\\ACKVn\\138\\DC3\\176\\US;.\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000090335","0x000000000000000000000000000000000000000000000000000000000000674d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":[256,"85197168836168918411"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012e","0x0000000000000000000000000000000000000000000000000000000000008199"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"18446744073709551616"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2a","0x0000000000000000000000000000000000000000000000000000000000007116"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":[256,"101759124189602123437524428923157304542483059083330771800130625178817635181623"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab50","0x000000000000000000000000000000000000000000000000000000000000037f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f39","0x000000000000000000000000000000000000000000000000000000000000134f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\ESC)\\EOT\\213\\143\\142\\186\\NAK\\217\\211\\&6\\227\\240\\215\\150Dp\\234[\\\"8\\242M\\151R\\201wg\\157&M\\SYN\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c18d","0x0000000000000000000000000000000000000000000000000000000000008eca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0f","0x00000000000000000000000000000000000000000000000000000000000000e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[8,"96"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000081f7","0x000000000000000000000000000000000000000000000000000000000000dbe6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"93777649251441453399672925415455338974113281968321634540753231483552114894941"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003dd","0x00000000000000000000000000000000000000000000000000000000000069fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"309485009821345068724781052"],"tag":"AbiUInt"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb46","0x000000000000000000000000000000000000000000000000000000000000002e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000199f8","0x000000000000000000000000000000000000000000000000000000000000b44a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054511","0x000000000000000000000000000000000000000000000000000000000000260a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"19126620377530338458732643160923660953893362061161095520831798101321573639686"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f1","0x00000000000000000000000000000000000000000000000000000000000007d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"3589463072398831531453284649858950988738700784959839758769542272890412128770"],"tag":"AbiUInt"},{"contents":[256,"4684854446053876387326594848608351153081736584609855450054839854225967904035"],"tag":"AbiUInt"},{"contents":[256,"111147670281172808735354710269047631030901576970077458001869486773555603383228"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c8","0x0000000000000000000000000000000000000000000000000000000000000310"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639910"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacc","0x000000000000000000000000000000000000000000000000000000000000dbc1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"83"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead1","0x000000000000000000000000000000000000000000000000000000000000012f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639831"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e340","0x0000000000000000000000000000000000000000000000000000000000000002"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"5878623614256507594275124645717695763639139257454428161"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000003","0x000000000000000000000000000000000000000000000000000000000000135c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164d","0x0000000000000000000000000000000000000000000000000000000000007115"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x1C310426202C49BD70225A9A660dA6019422FFcA","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f97","0x000000000000000000000000000000000000000000000000000000000000105d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"18446744073709551615"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fc","0x0000000000000000000000000000000000000000000000000000000000006df3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51a","0x000000000000000000000000000000000000000000000000000000000000d9d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2d","0x00000000000000000000000000000000000000000000000000000000000093a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580af","0x00000000000000000000000000000000000000000000000000000000000001b0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5f","0x000000000000000000000000000000000000000000000000000000000000137d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"163"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb47","0x000000000000000000000000000000000000000000000000000000000000d3b9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6d","0x0000000000000000000000000000000000000000000000000000000000003f7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"1531392045"],"tag":"AbiUInt"},{"contents":[256,"1531689353"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c4","0x000000000000000000000000000000000000000000000000000000000000dcbe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636334"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe3","0x00000000000000000000000000000000000000000000000000000000000013a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c2","0x000000000000000000000000000000000000000000000000000000000000970a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"85338762884605171637677331684082573992033359136239018517081073327072015179401"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002a28c","0x00000000000000000000000000000000000000000000000000000000000035d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0f","0x00000000000000000000000000000000000000000000000000000000000095e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"29516935071531792891451642804400762708615515418549045263653130232396833754708"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164d","0x0000000000000000000000000000000000000000000000000000000000007e4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"28555723039294610858774011665320831671416157789586335543099391839303738735222"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9f","0x000000000000000000000000000000000000000000000000000000000000058d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"36901851302386439467389845941875144634421710888587136461044426534940668789664"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea60","0x0000000000000000000000000000000000000000000000000000000000003208"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"75525798852012708876168890230240636810422926136932434497391026501627875723021"],"tag":"AbiUInt"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002a28c","0x00000000000000000000000000000000000000000000000000000000000042bf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"1528592186"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021648","0x000000000000000000000000000000000000000000000000000000000000a905"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"30353088039818188213099914404888632534249743075057216546990636256615569729817"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81f","0x0000000000000000000000000000000000000000000000000000000000003f7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe8","0x000000000000000000000000000000000000000000000000000000000000008a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"104450503670568990565221505219163835539796248638428081697859135577269380978364"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000e0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006aad8","0x000000000000000000000000000000000000000000000000000000000000ea4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000047","0x0000000000000000000000000000000000000000000000000000000000007fe9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"1526306998"],"tag":"AbiUInt"},{"contents":[256,"51105564222737200258616194404224560851447702727758950596008236060579213057573"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec9","0x0000000000000000000000000000000000000000000000000000000000001362"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"87724698037181515488927550697442163833043382316622942450036364957580292095339"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae8","0x00000000000000000000000000000000000000000000000000000000000029f8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"12"],"tag":"AbiUInt"},{"contents":[256,"30"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"3999"],"tag":"AbiUInt"},{"contents":[256,"30"],"tag":"AbiUInt"},{"contents":[256,"4999"],"tag":"AbiUInt"},{"contents":[256,"104604138965476125824789581636336784621586370205403693374250992058374292536518"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a37","0x000000000000000000000000000000000000000000000000000000000000008a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"3777176129286360711263395885048438808550445522590926630070300936265268527700"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce54","0x0000000000000000000000000000000000000000000000000000000000003eea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001a","0x0000000000000000000000000000000000000000000000000000000000000bd1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb31","0x000000000000000000000000000000000000000000000000000000000000d8d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"474"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b3","0x0000000000000000000000000000000000000000000000000000000000005d4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c8b0","0x0000000000000000000000000000000000000000000000000000000000000e0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"79713017337643266449517299805687033391717010393748270779634732139245028669075"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007d37","0x0000000000000000000000000000000000000000000000000000000000004c13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"1527971797"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e952","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f3b","0x0000000000000000000000000000000000000000000000000000000000007ece"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\DC4\\SOH}\\174\\202\\156\\136\\146\\249\\DLE%\\234um\\v\\135\\217,\\159)\\FS\\184\\209\\237\\196\\142\\185\\255\\227\\250\\192\\249\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000050","0x00000000000000000000000000000000000000000000000000000000000003eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"18731959109197504651879409903922859426205476696329961041416862769576966957462"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e701","0x000000000000000000000000000000000000000000000000000000000000139d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"1530548621"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012f","0x000000000000000000000000000000000000000000000000000000000000270f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c763","0x00000000000000000000000000000000000000000000000000000000000048ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"8582359240289587368504213270169166556254180206933021142825131632804627481302"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000012924","0x000000000000000000000000000000000000000000000000000000000000dcb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"9"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064ad5","0x0000000000000000000000000000000000000000000000000000000000008495"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"1527757879"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010978","0x0000000000000000000000000000000000000000000000000000000000002122"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4a","0x000000000000000000000000000000000000000000000000000000000000c064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"851989826242749876713000309966177820070056267842612517533445927917263235397"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000363c8","0x000000000000000000000000000000000000000000000000000000000000b861"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"79228162514264337593543950335"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999998"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639701"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046b47","0x000000000000000000000000000000000000000000000000000000000000b6b4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]