[{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"83"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec7","0x00000000000000000000000000000000000000000000000000000000000095e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"71340173479999900505561747235865006350116976850772202942055964150285017679560"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f3","0x00000000000000000000000000000000000000000000000000000000000003eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"47"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035137"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e950","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ea","0x00000000000000000000000000000000000000000000000000000000000026c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"1538"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052d62","0x00000000000000000000000000000000000000000000000000000000000011ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb07","0x0000000000000000000000000000000000000000000000000000000000001391"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c4f1","0x00000000000000000000000000000000000000000000000000000000000095df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec7","0x000000000000000000000000000000000000000000000000000000000000037f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"79050611397571450661990868458439980144718760515786694257476721785047269604579"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000085","0x000000000000000000000000000000000000000000000000000000000000d9dc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\177s\\180o\\GShU\\199\\168[\\224\\EM\\134XR\\253h\\166\\157Y8\\229\\198\\193\\251W\\SUBJ?\\219\\SOl\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\aRkz`\\164\\172\\164\\174Z;\\173\\233\\139i{\\135\\213\\147\\EMp\\129q7\\245\\213z\\DC4Q\\193\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240}\\227\\168v\\169\\SUB\\224\\224c\\SUB\\205\\SYN5\\193\\172\\177\\216\\233O\\DC1U\\DLE\\SYND\\231\\STX\\n\\134!\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\168y/\\137G-\\EM\\b\\219\\136\\242\\211\\191\\DEL\\210\\252l\\\\\\129\\211}\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\213\\252P\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\239\\192\\242\\US\\198/t\\147b\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"@Y\\230\\210:5\\200\\196]\\136\\193~\\236\\251\\181\\191\\DC4v2\\254\\253m\\250*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231 \\ETX`W8\\211r\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\166\\184=\\195\\185R\\145\\158\\186\\209pI\\f\\176 \\250\\201\\167\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163l\\217\\156\\201Q\\236|\\144qL\\161\\245\\184nV\\228o\\ETB#\\ESC\\139O)\\169\\b\\235F&\\225\\&20\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\200g\\NUL\\242Qb\\221\\RS\\b\\237\\222\\DLE\\251\\223E\\161\\236\\160\\244Z\\197\\235Y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\209\\\"\\162\\136n\\206\\EOT^\\SIp\\DEL\\150\\rJ\"","tag":"AbiBytesDynamic"},{"contents":"\"CI\\131rWY\\184^W\\r\\161m>=i\\180l\\164\\177'\\193\\238\\&1D\\134\\157ef\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\207\\157\\131\\163\\175\\252\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"$\\226;\\225\\FS\\DC2F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\135\\US\\188<\\144!\\179W1\\189(L\\STX\\223\\243\\174\\CAN\\241I\\190\\159.k\\181\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\156\\179\\149U\\159\\218\\234\\201\\154\\r[1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\203{\\b>\\237\\158h4\\209F=Q\\\\\\DEL\\135\\221\\213\\139e\\218f$\\220C\\186\\FS\\248\\DC4\\ETXM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\r\\236\\185H\\226\\144\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\159\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\221\\ESCY\\210AG\\244\\223~(\\227\\239\\&2\\ETX38\\240\\209\\214R\\a}\\209\\DC2i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\193$&\\176\\238\\201b\\RS]\\253_\\165&\\DC3q\\160h\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\209\\230f\\248\\214\\219,\\162P\\142\\ETB\\235O~=\\NUL\\DEL\\217qB\\134\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\142A\\212\\DEL3\\148\\154m\\140j\\155\\229\\243\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\135\\157\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\197>\\244\\EM'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\150\\193\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\147\\&0D=eb\\199~PRX$quq\\135\\184c\\179\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216 \\\\~\\ETX9\\211f?\\158\\198S)\\EM\\182\\188\\186\\228\\128]\\SO\\159-\\FS\\128\\202Y\\199U\\213KP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\FS\\179H\\141]\\175#\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187S\\140\\&3\\b\\132\\182\\132&^S\\239\\171\\217\\&1\\172\\DC4\\213\\208\\147\\171\\192\\210q\\203T\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\147\\136\\170\\218^\\rh(5v\\231m\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196i\\160\\131\\200mr\\157Ka\\148\\150\\207\\187\\DEL\\225\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\196I\\238\\a\\230\\&3_\\175SO\\159\\213\\255\\251\\182\\EM\\225>\\143H\\205nW\\248\\135\\210g\\196\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\218Tca\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155K\\\\'\\207e\\237\\190tS\\224\\168\\DC3\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\r\\191\\168\\&7\\223x\\208>?i\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\DLEK\\164IP\\137\\ETX\\229\\133o\\249\\167\\241\\165\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233X\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\159\\&7\\ACK\\128e%y\\EM_?\\ESC\\229\\NAK7\\133Pr\\169\\208\\DC4\\\"K\\DLE\\220\\v\\244t\\255R\\255N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\213\\211\\233\\&1y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\198wh\\254\\244\\t\\169\\174\\161Z\\230\\202\\177\\&9\\155\\151\\154\\174\\207\\185\\168\\SIu\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\DC4\\219\\248\\185[\\178#\\US\\214\\DEL\\181\\175\\213u9\\ENQ\\229\\244L\\175\\&6O\\166}\\152\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\189\\SOH\\171\\167\\211\\202\\&1\\156\\198\\201p\\176\\&6\\237p\\255\\207\\n\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ENQ\\SUBF\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\151~}\\240\\227\\187x^\\160\\195(E\\224\\249\\244\\160c\\173b9L\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\";\\\"\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224B\\193\\137\\143\\t1\\a\\fse\\ACK\\213|\\212\\207\\148Xw\\216\\224\\151\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\179\\208\\237\\228F\\164\\214I\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\142\\229\\215\\225C\\255.\\131\\225@t\\141N\\ESC\\197#],\\136\\143\\133\\NAK\\171>\\253\\132\\185\\231\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\SUB\\211t\\222iMeOf\\158\\175\\207[\\\"\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\\\\\SUBr\\252\\131\\DC4\\171\\198\\189'\\133\\225|H\\197\\196\\134\\DLE\\SIZ\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\198\\167\\SI\\169G\\222\\228'\\248\\188\\192\\DC3\\217Y\\234\\v\\140\\220\\220\\&5\\189\\158\\225p\\246\\245\\219\\181\\202)\"","tag":"AbiBytesDynamic"},{"contents":"\"s\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\228\\249F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\248\\NULR+\\172\\225\\204\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\213\\DC2\\177\\167\\199\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\235\\252x,\\178\\141b\\199\\b\\SYNC\\253\\174v\"","tag":"AbiBytesDynamic"},{"contents":"\")\\227\\249\\160\\135\\204\\128:b6l\\196q\\213\\DC2\\195Vg\\186\\240P\\235\\NUL\\224\\b\\242|\\221\\145\\216\\235\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\145\\156\\v\\228>\\246\\186D)\\164\\221\\184r\\235E>c\\168\\184\\249\\251\\255\\159\\SOH\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\230\\DC2sJU\\251\\147\\166\\252\\210MZFV\\a\\149\\252\\FS\\237\\n\\NULB\\227u\\SO\\EOT\\215\\242\\156\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"c>c\\133(\\179\\137f\\250+.\\157{\\242\\170\\150\\247L\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RSB\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\US\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"@|KgH\\\"D\\153d\\163\\228\\152\\b=1c\\186\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\248\\183NKi*\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\251\\251\\156\\149\\206\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207[\\180\\239\\129\\248^o\\235\\155\\fo\\166[\\169\\151\\RS<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\232!\\226\\161\\191\\160\\252\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\212\\\"\\231\\188}N\\153\\f\\200\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\183\\147\\GS\\197{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\163\\174F\\161qc\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\153\\191\\152\\158\\EM\\155\\&7\\ACK\\139\\NAK\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\236\\SI}\\162!\\NAKH\\195N\\223B{\\145\\v\\240\\225'\\SO\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\r8\\SYN\\EOT\\178\\148\\249mj\\140\\252f/\\152{\\189\\DC2\\193\\165\\203\\177:$\\176\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\214\\240;<\\247\\255\\US\\171\\148\\182b'\\198\\181\\229\\144\\NAK\\164\\204\\207%\\171\\250\\223\\254\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\DC1\\\"\\224\\214\\ACK\\GS#\\224\\156\\220\\191\\157\\174zS\\ENQ\\ETBJ\\239\\229\\239\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\243\\204\\178G\\\\-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199{s\\154\\&1M\\173\\&6.\\168J\\236'\\193\\204,\\182\\DC4\\232\\209\\254\\228%\\185\\195]g3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\163\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"k\\250\\EM\\210\\231\\168\\&2\\180\\169\\136E\\CANH \\ENQ{S\\251\\225@\\247\\147 u\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\252\\ACK\\242x\\216?\\170x\\137\\SUB\\227\\210\\247|\\236B\\169\\&4^J8\\162\\ETB_\\249\\SOHk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\221\\166\\130\\252\\v\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"])\\239~4\\186\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\SUBA\\149\\150\\146\\148\\167\\207\\&5\\157\\DEL\\240\\&8:\\232\\FS\\151\\167\\184\\218\\246O\\198\\r\\200m\\183\\242O_d\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\&9.\\181H\\192\\138\\207e\\133\\234\\239X\\151\\&9\\NAK\\255c\\228\\135\\208\\DC1\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202*\\219]I\\207\\159\\219\\208Y\\253\\132Z\\213\\244\\173\\DEL\\205\\220K\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\162\\130~\\r\\USaR\\181\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195gm\\218\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\&6X\\188\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"d\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\250}\\SO\\132/\\217V\\167\\204\\155\\SYN\\182yKP\\RS{ \\149/\\236\\219\\134?]!u\\189\\180e\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\146\\217\\198\\EOTLQa\\185\\238\\238\\216\\239g\\176\\172\\132\\144\\GS\\NAK\\131\\SI\\175\\198\\156p\\249\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231M\\ENQc\\141~p\\GS\\DC2\\212\\196>\\213\\224\\a\\246\\DC4\\181\\142J=\\RS\\254n\\247?\\159\\DLEn\\199v\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203zS\\161\\195c\\235\\CAN\\159,$8y\\171\\251\\137HT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\142W~\\158\\145W>\\237\\224\\&4S\\129\\203YlK\\207/\\208}j\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199I\\170\\DC3\\206ZyK\\249D\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\227\\181\\212\\EM'\\226rU+\\138\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\").;\\248\\184\\243H\\211\\ACK\\179\\140\\r\\ENQ\\203\\255\\&7\\220\\US\\198\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DELO\\139\\DC1[4\\165\\SO\\230\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\229\\253\\199\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"|\\183\\CAN\\158\\254\\255\\a\\DC3\\143UD\\151\\181_Ct\\207\\ETX\\205\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\n\\184F\\219\\134\\212\\232K\\154\\DC3Z&\\211#\\206\\171B0\\239\\&4@\\157\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\DC3\\243fs\\ETXYj\\221M\"","tag":"AbiBytesDynamic"},{"contents":"\"N,cnDc4\\230\\SUB\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\151a\\233\\221c\\192a\\147\\153\\USv\\181U\\197F\\133\\128\\221>\\190\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\194\\f00\\SUB\\254\\154\\\"\\201\\183gT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148&\\218\\&5h\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228SYo_\\196@V\\174\\&2#b'\\158:\\\\\\SUB\\246\\133cT(\\159\\157\\&8\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212M \\197\\184\\176\\206ks\\245\\160m0\"","tag":"AbiBytesDynamic"},{"contents":"\"a73\\151+\\216O\\206\\191\\EOT\\137\\144I\\164\\213!Y\\152\\186\\ETXH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\FSz\\186\\175O\\183:\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\222g\\NUL\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140O\\217&\\t\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\238\\170\\166\\133\\206~\\189\\223H\\248\\201\\SIt+\\143,\\DLE\\CAN\\239\\195\\181\\SI\\193}~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\171\\175\\130K\\235\\212l\\195`\\137\\195F\\221\\138p\\157#\\142{\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\237\\CAN\\196\\242\\230\\&2\\179u\\186\\170\\DEL\\139\\187\\\"\\DLEM\\138\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\217*\\245A\\193\\217\\230(\"","tag":"AbiBytesDynamic"},{"contents":"\"-.\\188\\146\\194\\\"}\\184\\209\\DEL-\\168\\159yv\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146 b\\140UG\\238\\243\\250B\\244\\255\\&4\\164\\198t*\\187\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\163z\\\"\\148)\\179\\198-\\254\\194\\171I\\132\\131\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157co\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\\"t\\242^\\ENQX6\\143\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\CAN9\\190\\DC4\\174\\213\\156\\161O\\164\\DLE\\ACKhC\\212\\213\\172\\255\\&1\\146\\240\\NUL\\184\\213\\166{G.\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\154{ \\CAN\\207A\\186\\EOT1\\226\\DC2\\254\\145\\190\\217\\140\\DC1_\\STX\\154\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\156A\\228\\DEL\\246\\&9\\236\\&1\\144\\234\\&7^iR\\244w\\133\\211\\192\\190\\199(4\"","tag":"AbiBytesDynamic"},{"contents":"\"-M,=\\DC2x$\\188\\214\\190\\&6\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\135\\RS\\235\\174S\\183\\230=\\228\\200\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\235=I\\\"\\205\\STX\\205\\229\\198\\&9y\\243\\ETX\\129\\180\\162k/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\CAN\\255w\\ESCb?V!\\239\\148\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"61389184192093095506168292409602898423560238840258365590283517550417793088115"],"tag":"AbiUInt"},{"contents":[256,"105141524840846864014327186071206834406515247537579245418532919167429642825174"],"tag":"AbiUInt"},{"contents":[256,"89313769616765297734421822522650421652743917497542441508893148832671527580120"],"tag":"AbiUInt"},{"contents":[256,"823"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639813"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"123"],"tag":"AbiUInt"},{"contents":[256,"9234270146571594764457175568591856815583414873118510516265279282531251245360"],"tag":"AbiUInt"},{"contents":[256,"9234270146571594764457175568591856815583414873118510516265279282531251245360"],"tag":"AbiUInt"},{"contents":[256,"9234270146571594764457175568591856815583414873118510516265279282531251245360"],"tag":"AbiUInt"},{"contents":[256,"9234270146571594764457175568591856815583414873118510516265279282531251245360"],"tag":"AbiUInt"},{"contents":[256,"9234270146571594764457175568591856815583414873118510516265279282531251245360"],"tag":"AbiUInt"},{"contents":[256,"9234270146571594764457175568591856815583414873118510516265279282531251245360"],"tag":"AbiUInt"},{"contents":[256,"9234270146571594764457175568591856815583414873118510516265279282531251245360"],"tag":"AbiUInt"},{"contents":[256,"9234270146571594764457175568591856815583414873118510516265279282531251245360"],"tag":"AbiUInt"},{"contents":[256,"9234270146571594764457175568591856815583414873118510516265279282531251245360"],"tag":"AbiUInt"},{"contents":[256,"3434878499170323818028707225102243286045558801681918736875514210689260061436"],"tag":"AbiUInt"},{"contents":[256,"24643714958474745442850902436108519401600893362369275543458402518171326648870"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639797"],"tag":"AbiUInt"},{"contents":[256,"22969330962826337310939327747825018877409334705160390126528841360586231447058"],"tag":"AbiUInt"},{"contents":[256,"2752697401083005"],"tag":"AbiUInt"},{"contents":[256,"48899052206652718405574369463373057081024587142878972710154050468035449797412"],"tag":"AbiUInt"},{"contents":[256,"88417406119863080943483763144355904730946361933366776363269630636819365809470"],"tag":"AbiUInt"},{"contents":[256,"114976678077949209445503112220118868619836513032192360321468872835016774004306"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211776"],"tag":"AbiUInt"},{"contents":[256,"93713461050463628786358002196656354853713140574098930299762065175475575855892"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639904"],"tag":"AbiUInt"},{"contents":[256,"233"],"tag":"AbiUInt"},{"contents":[256,"105761990386531205491148630427120909779167184840835117361954431799002596652448"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630934"],"tag":"AbiUInt"},{"contents":[256,"945810583627694492842824952883723329876239698837586895699671061186841744822"],"tag":"AbiUInt"},{"contents":[256,"106530238353905079083673273666292269580144222315891971389573775866157980735427"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639905"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609602"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639909"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639706"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"32431916700811353186880947236982913284550549323614402693418888450317813580580"],"tag":"AbiUInt"},{"contents":[256,"83582409886177813899831481570400469165314821543064712327282759923164402158052"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"41486594922694418296934988446103899936780045891901199051299853584686980253137"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417343"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689599"],"tag":"AbiUInt"},{"contents":[256,"2989279400380612666639920296823884213383521199288276099746433773469297987344"],"tag":"AbiUInt"},{"contents":[256,"17"],"tag":"AbiUInt"},{"contents":[256,"110587069522412059761740641977218986978153999002602553461401455107781577116490"],"tag":"AbiUInt"},{"contents":[256,"26234782642358265573835190242366061182848000593420327723401799704341423996285"],"tag":"AbiUInt"},{"contents":[256,"651"],"tag":"AbiUInt"},{"contents":[256,"106"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639819"],"tag":"AbiUInt"},{"contents":[256,"114300480340159176869017965533589872475569202244314241574439525691599719987724"],"tag":"AbiUInt"},{"contents":[256,"37980200334223720323067332236182389535429250591572467045169558703932466045104"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639801"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"},{"contents":[256,"54807456593891405559691346832202339076638772116942233661582415858891466786763"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"54686815095006919858724403808156667905975669701883757047214415782505769889205"],"tag":"AbiUInt"},{"contents":[256,"61177770721796190853590830775674867088103867487798603826065929892568273534859"],"tag":"AbiUInt"},{"contents":[256,"296"],"tag":"AbiUInt"},{"contents":[256,"1313373038"],"tag":"AbiUInt"},{"contents":[256,"48"],"tag":"AbiUInt"},{"contents":[256,"68262338795302537391101259941854468894112968442719639459558135829356277878493"],"tag":"AbiUInt"},{"contents":[256,"115608791356935344108626613805300601988657291635223393196821829534041617945663"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892765"],"tag":"AbiUInt"},{"contents":[256,"38188021513278094084476799468462293353373375792806811154325927341385290041270"],"tag":"AbiUInt"},{"contents":[256,"89915903883585312934280614028606279405896416049541533696798316476936097004372"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731854"],"tag":"AbiUInt"},{"contents":[256,"92517132440857752176337719290487401303572781187386978879298127677362611862921"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"110240557762449183787128270561592533351830757147469317262190092620161396685877"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"89259420588732044151628275657419554630416039552469556204538900772823514854399"],"tag":"AbiUInt"},{"contents":[256,"1997"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639902"],"tag":"AbiUInt"},{"contents":[256,"84"],"tag":"AbiUInt"},{"contents":[256,"66"],"tag":"AbiUInt"},{"contents":[256,"90375971093539249085452289763075319023176045918514442836759812842303931806558"],"tag":"AbiUInt"},{"contents":[256,"98907477831454540098026553370253854838797648277089038975498849803853389057622"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639935"],"tag":"AbiUInt"},{"contents":[256,"70988418889964408549264161980668327257074055326248194994455447884606764546428"],"tag":"AbiUInt"},{"contents":[256,"109431327119706671456751400495520715008222819374382805820612498936676263310715"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639632"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e761","0x000000000000000000000000000000000000000000000000000000000000012a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":[256,"3600"],"tag":"AbiUInt"},{"contents":[256,"75790139093875924650671439311414076089515424106170736273576250127456950310996"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950339"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fe","0x00000000000000000000000000000000000000000000000000000000000007ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008a","0x000000000000000000000000000000000000000000000000000000000000a292"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270d","0x000000000000000000000000000000000000000000000000000000000000137b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007cf","0x000000000000000000000000000000000000000000000000000000000000b4bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"73885738508956564224384474479543046990440639508051752718445720871607319631416"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d828","0x00000000000000000000000000000000000000000000000000000000000095b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb01","0x0000000000000000000000000000000000000000000000000000000000000001"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1b","0x0000000000000000000000000000000000000000000000000000000000000130"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34e","0x000000000000000000000000000000000000000000000000000000000000135c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafd","0x000000000000000000000000000000000000000000000000000000000000755a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\228\\148\\251\\231\\GS\\234%\\FS\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\171\\200\\243\\153\\rHQ\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\142C\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\222\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\142\\210\\141\\229\\&9\\251\\178\\DC4\\252\\205]=\\204\\DC3lC\\214\\253\\135,\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\180\\128=\\EM~\\187T\\215\\&8\\226X\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\FS9\\167N\\187\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\231\\238Z\\246\\239\\252\\a\\234@/\\166\\&9a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\237\\DLEI\\157\\128\\191\\203/\\250dzH\\253\\215\\199\\255\\SYNt\\249$3\\178j\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\t\\195\\146nWJ-\\219\\200Io\\212\\196Q\\235\\192\\SOF8\\ACK0\\243\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\156\\223\\165\\147V\\ESC\\147\\176\\154)\\136\\DLE\\CAN\\177\\164U \\236\\\"n\\SOH\\EM;mJ\\131\\140:\\214\\206n\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\165\\138`6\\DC4z\\246Q\\253\\213\\200\\SI\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"rA-\\136\\157\\&5\\145v\\130\\186$\\156\\248\\194=\\250\\175\\179\\135\\193@\\193\\GS\\255\\SOH\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\137\\224B4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208M\\203\\153U\\ESC\\154\\154\\159\\136q\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\175@\\153\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\160\\168]\\244_\\209G\\181\\135y\\132T\\250\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\230|E_\\131\\132D\\166\\135qA\\186w\\251\\233\\\\\\201;\\220\\209Q\\198[\\210\\179\\211p*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\169\\140\\239\\130\\223cF\\196\\255\\&7\\\\c\\175m\\170\\206pP\\ESC\\178I\\CAN\\RS:\\133\\209Q\\223\\154\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\219\\198L\\131A\\234^@\\ETB\\132\\145\\DC2\\169\\129\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\140\\229\\&7/\\184\\ENQ\\222\\206r\\247;\\246\\162o\\160FX\\171\\160\\CAN\\149P\\241\\233~U(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\DC1\\191\\US\\196\\131zq\\238\\175\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\251;\\141\\183\\166\\244\\ENQ\\RS\\232\\144jK\\254\\152\\224\\DEL\\218KG\\SOH2\\195\\203q\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\223\\154~na\\137-\\179aZ-v\\145\\177\\US\\168\\148\\153\\224\\216\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\156\\236\\216\\EM\\181\\184\\242\\216q\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\168\\SUBk\\138\\EOT\\tKQ.\\203\\183\\SOH\\198\\163\\191\\246T}\\132S\\167\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\218\\213$\\SUB\\177\\160\\226\\163\\FS\\199\\b\\131!,\\238\\225\\146\\210^w/\\167\\232\\141\\DLE~ON,\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183sz#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\211\\139\\231}\\222\\155\\242*\\228\\150\\167\\160\\213\\182X\\160i\\181\\248\\182%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\&0\\169\\DC4\\NUL\\201\\a\\142\\145\\209\\129\\ETB\\190J\\143\\181\\171O\\216\\218\\ENQeg\\228\\&9\\143\\202\\NAK\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\\\\\130\\156\\207Y\\182\\&4\\186\\219\\180\\254\\243\\190\\DLE\\ENQ\\254\\ESC\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\221\\164\\161A\\243\\n\\t\\138foU\\DC2C\\ENQt\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\148\\247l\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\237'\\DC4\\210F\\t/D\\ETX\\212\\155#!\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\DC1\\175\\a\\149:V\\233\\133\\247\\&6\\143\\201\\206r\\RS\\162\\194\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139m'X\\EOTE\\ETX\\231\\224}(\\190\\200\\136t\\SO\\171[\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\199\\204\\144\\DC2\\184\\137\\EOT\\245/\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\176\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\192Cz\\139\\133\\&3C\\214\\216\\&1j\\143\\212Nb\\131\\ETX\\225\\221[P\\180\\181\\147g\\237\\SOH\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT3\\205\\188\\CAN\\157p\\DC3[,\\140\\b\\SUB\\138F\\238\\168\\186?\\131k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\224\\141\\\"\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130j\\162\\EMCwtkl\\191\\n~\\239\\169\\190\\196\\168\\136\\NAK\\141\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\248E9\\160\\176\\STX\\180{\\226\\243;\\173S\\STX\\223\\222s\\201\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"B%4}\\145{\\226\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\198\\EM\\\\yE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213W\\STX+\\193\\142\\224\\n\\145r2\\SYN\\216\\143\\246\\166\\199\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\236,\\214#\\n\\ACK[m5A\\189\\191lZ\\n\\132\\245\\163\\\"'\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159+}\\192P\\234\\&9*\\SOH\\255K\\249\\220\\238\\ETB\\238\\161\\176\\215\\160X\\165\\237\\159<6\\SI\\153\\172qX\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\137\\138\\196<`\\243(Q\\133[\\214:\\175\\174\\229\\149\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"j&[\\235\\250y\\242\\158\\221De\\153j\\ETX\\252v\\199\\&2\\169\\215wuE\\173\\&1\\172\\&5\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\211-\\182\\165\\NAK\\212R\\193\\161G\\240Q|\\131,d\\140m\\GS\\149\\249\\ENQ'\\189\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\243\\154j\\DEL\\172(\\187\\165\\n\\SO\\164\\192z\\223\\251\\DC1\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232ZK\\FS\\229?\\141\\SIJN\\EM?\\138n\\177\\186qVdu\\148\\219\\218\\218\\230+\\159\\DELC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\211\\131\\247\"","tag":"AbiBytesDynamic"},{"contents":"\".\\216\\198m\\223\\STX\\133\\194\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\228\\228tvF\\246?\\152\\GS\\185\\148.\\SOH\\255\\233)}V\\231\\DC2l`4hA\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"M,\\DC2\\240i\\186\\190\\170\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206O\\ENQ\\182\\194\\182\\178\\229\"","tag":"AbiBytesDynamic"},{"contents":"\",\\160\\NUL\\183\\ENQ\\ENQ\\ENQ\\139,\\159M\\160\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\be\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\DC2Q\\145G\\195\\193\\226\\128IX\\238\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200b\\189jw:\\138^6<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\160\\DC4\\236\\133\\SYN>$[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\226p@g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USB\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\129\\ESCo1P\\r\\160\\176\\181+\\190\\137\\199\\168'\\163\\&6\\184U\\239\\&0+\\SUB\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174c9 \\204\\212e\\NUL'\\163\\163\\151\\159\\141\\175\\215\\152\\252\\145i'F*v\\208\\231k\\t\\213\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\191\\204J\\166\\193\\191%\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\190Z\\151&\\SUB%\\223\\145\\137\\FS\\253/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\183U\\177[\\140\\&8\\SI}\\220eh\\170\\199N\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\139\\147\\210L\\199.\\143\\148\\138\\174\\217\\183\\US@{\\176\\SOH\\235hm\\237&\\r%\\207\\222\\251\\164\\198\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250&0\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\" \\RS\\147a\\200h\\233\\155K\\204m\\225V\\DC1\\230\\249\\ETX\\ESC\\225]\\213d\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"c.\\246\\ESC\\b\\202\\SOv`m5\\224\\136\\229t\\160\\SOH\\199\\n&>\\224]\\248\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\236\\251\\164\\EOT\\226\\149\\186\\r%\\196}\\165bP\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"d&\\139\\160\\ACK@\\133\\180\\DEL\\SI!\\240I*#r\\138Z0\\131\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\250\\181\\239Q\\155V\\222\\ENQ\\172\\203\\159\\142\\242\\EOT\\RS\\NUL\\141J]\\158\\SUB\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\216\\254WI\\209p\\174\\NUL\\248\\204;\\205\\SOG\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\245\\199FX\\136O\\139\\173\\207\\&6\\228,+\\176\\201\\218\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\DC1\\ESC\\\"@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\190\\172\\t'\\245>/\\147\\185\\220\\147\\242Rl\\241\\236\\157\\225X\\222\\206\\253\\147\\fW)w\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\231\"","tag":"AbiBytesDynamic"},{"contents":"\" \\223\\227\\206BRH\\151F>M\\239p\\192\\170GU\\205\\199-)V\\SIEE'9\"","tag":"AbiBytesDynamic"},{"contents":"\"CgQ\\234\\&2\\SYN!\\247L\\244\\143\\SOH\\212\\SOH\\a<b\\148Po\\ETBL\\189E|B\\198#\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\157\\209@\\248\\ve\\204\\217\\DC2\\142hJ{\\vK\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"w\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\147=r%\\178M\\173]p\\234\\208W\\241\\207\\134\\198\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\nF!p\\181o\\\"\\r\\216\\196\\163)+\\217\\254\\154\\156\\152\\ETX'\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"rf!\\ETB\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\177.\\136\\163:\\150\\194\\144p\\237\\148\\224\\NUL\\146\\176OE]\\178\\&3\\DC4\\235\\v\\149\\175\\229\\200\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\214+\\233\\140\\161\\213\\227\\219\\154:\\142\\166\\201;YV\\246\\229\\189\\143\\244\\150/H\\142\\145\\n\\213m\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165k\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\149\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"x6\\249\\183\\169}U\\250\\247I\\137\\240\\212f\\242\\151b\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSxL\\138\\157\\130\\&2V\\208fb\\178\\192\\CAN\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\187iH\\174\\248\\DC1\\179\\234I\\160\\246\\&3\\198\\174\\136\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"fo\"","tag":"AbiBytesDynamic"},{"contents":"\"m9n!8*%\\235\\207\\147\\225v'\\\"\\237\\STX\\202\\188+\\188\\224jB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\r\\191_\\182\\SUB\\168\\&1\\142M\\132\\240#\\254M\\199_\\203\\149\\\\\\139\\214\\\"U\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\&9s\\SUB\\233h\\164\\173\\163=\\f\\183!\\242\\ENQ\\230\\178\\198Lu\\204\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"74875529610716914084566247036018123344664834783871475112166435994283862878841"],"tag":"AbiUInt"},{"contents":[256,"1287658329232067173728855860764064513546289491849931961590613170965003016162"],"tag":"AbiUInt"},{"contents":[256,"50903466149701605928356688170672312632532145365871982255830056290707586357203"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"609"],"tag":"AbiUInt"},{"contents":[256,"8509248458249509708155133478708926012416731815376445521664847113804342580830"],"tag":"AbiUInt"},{"contents":[256,"44798396595714311556330201376701578856452899167735713151416727385888483568413"],"tag":"AbiUInt"},{"contents":[256,"77701461033822635598101822452432821250689287869818228475055015596990354828289"],"tag":"AbiUInt"},{"contents":[256,"47943100049816771222923158126870429134289184367350603874968605206219411926866"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781052"],"tag":"AbiUInt"},{"contents":[256,"22705603580602484509562088429850778090926324710643624626850361156825160317799"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747166"],"tag":"AbiUInt"},{"contents":[256,"42296197270490922251189521815454648259893322128078743160541981132087498783519"],"tag":"AbiUInt"},{"contents":[256,"49180901828208768276664238933302462806860830937199522030181722207923416913306"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211778"],"tag":"AbiUInt"},{"contents":[256,"66712871411492115012497694518925132191797601359687616571574660043779733369214"],"tag":"AbiUInt"},{"contents":[256,"85"],"tag":"AbiUInt"},{"contents":[256,"78"],"tag":"AbiUInt"},{"contents":[256,"24940491439986837555525126257986763322159212294976307602768360758215151977223"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639439"],"tag":"AbiUInt"},{"contents":[256,"75767733715793233250255277935769858840692882558489481861126060654662487147490"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"},{"contents":[256,"84953547116306005818844873367756123440941044976648998241063308319744681808765"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908080"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088320"],"tag":"AbiUInt"},{"contents":[256,"60964925930663384989020457927720704106825539197596998395440642395862804562902"],"tag":"AbiUInt"},{"contents":[256,"53006231993014787098258963316111742586981595524277138493632933480399113745499"],"tag":"AbiUInt"},{"contents":[256,"50"],"tag":"AbiUInt"},{"contents":[256,"67223628139849929447061054684750966787202180795146340678974629873780322869153"],"tag":"AbiUInt"},{"contents":[256,"4"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"47804279583257453346063684322844679944064102319236690335684824027478646345126"],"tag":"AbiUInt"},{"contents":[256,"47804279583257453346063684322844679944064102319236690335684824027478646345126"],"tag":"AbiUInt"},{"contents":[256,"47804279583257453346063684322844679944064102319236690335684824027478646345126"],"tag":"AbiUInt"},{"contents":[256,"47804279583257453346063684322844679944064102319236690335684824027478646345126"],"tag":"AbiUInt"},{"contents":[256,"47804279583257453346063684322844679944064102319236690335684824027478646345126"],"tag":"AbiUInt"},{"contents":[256,"47804279583257453346063684322844679944064102319236690335684824027478646345126"],"tag":"AbiUInt"},{"contents":[256,"47804279583257453346063684322844679944064102319236690335684824027478646345126"],"tag":"AbiUInt"},{"contents":[256,"10243394947258594841656557667761323524745733533343700449347705946554152999869"],"tag":"AbiUInt"},{"contents":[256,"95115242368407582342476574405026020691245148333644724732910946496163546635690"],"tag":"AbiUInt"},{"contents":[256,"497"],"tag":"AbiUInt"},{"contents":[256,"60952683570651826464408906234184692981803537270313328031977570933258930753474"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731853"],"tag":"AbiUInt"},{"contents":[256,"55954840942455014366458294873258539122157653341591678618593251621621434359256"],"tag":"AbiUInt"},{"contents":[256,"24440097660083254868020717134547139300137423821759755396506907181505720989322"],"tag":"AbiUInt"},{"contents":[256,"64302766198594951673976085038781910677550479659201111280516960776758625329089"],"tag":"AbiUInt"},{"contents":[256,"113722615487842258314675213701656963171744234441684948156522134925625379387479"],"tag":"AbiUInt"},{"contents":[256,"53"],"tag":"AbiUInt"},{"contents":[256,"112387136303655534655140220634349831989434581602535835318038121666275083280426"],"tag":"AbiUInt"},{"contents":[256,"97009590351230585952941072853145942300600580771883141196184992236572313871502"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"94794818714585324464287996293351844322344977686761729906582374871495186165192"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"77415402508111971150535387287949539587480109300210160168137816066227242023063"],"tag":"AbiUInt"},{"contents":[256,"22375875856747786650632361791352542875466694636090260788288114600468110779736"],"tag":"AbiUInt"},{"contents":[256,"73876541731044871109582910708729793250771497168425538280229077131409250071105"],"tag":"AbiUInt"},{"contents":[256,"101302746785611764855800483112205764298294999013736656657583276043799936979236"],"tag":"AbiUInt"},{"contents":[256,"5298846267356525988420664806760181214121027892220584905306296278477915568920"],"tag":"AbiUInt"},{"contents":[256,"10183840677187625383692514572667719951310312413285173531647327906967965055903"],"tag":"AbiUInt"},{"contents":[256,"77395044232890228990930343154404503038393508562768041089115089475187465773487"],"tag":"AbiUInt"},{"contents":[256,"50"],"tag":"AbiUInt"},{"contents":[256,"346"],"tag":"AbiUInt"},{"contents":[256,"57471506425788401432886294028543728427586562757071758479042032847020128742626"],"tag":"AbiUInt"},{"contents":[256,"53"],"tag":"AbiUInt"},{"contents":[256,"60345819706442934136716691195777278439379700922241080653449900978376522066747"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892768"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731855"],"tag":"AbiUInt"},{"contents":[256,"51470739722736735670270563204745993897636552738587585905562077892926073779196"],"tag":"AbiUInt"},{"contents":[256,"18989763684642240301944706038004865790620131008091590864541588422902927003144"],"tag":"AbiUInt"},{"contents":[256,"88219475429755003349347793762977330638396658934842703979367866247649863992893"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"35"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781058"],"tag":"AbiUInt"},{"contents":[256,"72359693882799041880113613746291256315038203588316640995132621324926127547232"],"tag":"AbiUInt"},{"contents":[256,"27600573959000158554844183346051657741371330080266666509586500268594111599005"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639902"],"tag":"AbiUInt"},{"contents":[256,"6"],"tag":"AbiUInt"},{"contents":[256,"20656232415508291562645811354233386613266720280657607131609080794108679695595"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"99486427715708107677673152847271216007393924529687957711900308617326167931104"],"tag":"AbiUInt"},{"contents":[256,"70656597640878366225355974760712824312694927200419956060415298633314710040418"],"tag":"AbiUInt"},{"contents":[256,"688"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000001"],"tag":"AbiUInt"},{"contents":[256,"15"],"tag":"AbiUInt"},{"contents":[256,"83391846244771131274717997636430537713918467628001899008851432875887698072815"],"tag":"AbiUInt"},{"contents":[256,"35386274826517735396786233176843636212409896819862621641531555165833361027790"],"tag":"AbiUInt"},{"contents":[256,"35386274826517735396786233176843636212409896819862621641531555165833361027790"],"tag":"AbiUInt"},{"contents":[256,"35386274826517735396786233176843636212409896819862621641531555165833361027790"],"tag":"AbiUInt"},{"contents":[256,"35386274826517735396786233176843636212409896819862621641531555165833361027790"],"tag":"AbiUInt"},{"contents":[256,"35386274826517735396786233176843636212409896819862621641531555165833361027790"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428159"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551615"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639680"],"tag":"AbiUInt"},{"contents":[256,"56967960174684744902476441533269408257517270051477785633993781380024632075744"],"tag":"AbiUInt"},{"contents":[256,"40171131312684982646988244620016662960576433359758958446154018823081183804040"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"62"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634934"],"tag":"AbiUInt"},{"contents":[256,"57578812990240201917249949941097216991043214695460059219949790203492634119815"],"tag":"AbiUInt"},{"contents":[256,"58"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634932"],"tag":"AbiUInt"},{"contents":[256,"106467521590346428054832717635476815181674981600241769000459399407107603474838"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628416"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"5570905520820274984456785153048192800813148354993863135460859028618167539067"],"tag":"AbiUInt"},{"contents":[256,"28663379759891556826903311009238483830186053576939199715525867969372363122877"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639865"],"tag":"AbiUInt"},{"contents":[256,"64882627698968804911752292731807878149212601327754156482392297365907273368343"],"tag":"AbiUInt"},{"contents":[256,"78763307532142880841182409161967926197501466514986315457611511073120895229445"],"tag":"AbiUInt"},{"contents":[256,"94664119216908714939184189714433293251167138907195012732960232027614465522937"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011519"],"tag":"AbiUInt"},{"contents":[256,"108421132914306742710174582670157215049827648079768162663680142986346041830355"],"tag":"AbiUInt"},{"contents":[256,"14699582197418829700420914868770777385819057937682983461699557859627269397450"],"tag":"AbiUInt"},{"contents":[256,"534"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e7","0x000000000000000000000000000000000000000000000000000000000000b461"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"156"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e11","0x00000000000000000000000000000000000000000000000000000000000000e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858884"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000086e58","0x0000000000000000000000000000000000000000000000000000000000000fa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"102313038474077977902979611867726773459394194522644342212127963423357278473096"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580ae","0x000000000000000000000000000000000000000000000000000000000000824d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e375","0x0000000000000000000000000000000000000000000000000000000000006ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000077","0x00000000000000000000000000000000000000000000000000000000000076ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061e55","0x0000000000000000000000000000000000000000000000000000000000000061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"109564606527638614346967097828520462046879520835797015499555635766385923131680"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a1b1","0x0000000000000000000000000000000000000000000000000000000000007e4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe4","0x000000000000000000000000000000000000000000000000000000000000591f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"121"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001c","0x000000000000000000000000000000000000000000000000000000000000dcb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e6","0x00000000000000000000000000000000000000000000000000000000000058ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"14027765509999386690925295341845292522802407045921554493904684469062573215468"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000038e7","0x000000000000000000000000000000000000000000000000000000000000005e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"79"],"tag":"AbiUInt"},{"contents":[8,"131"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4e","0x00000000000000000000000000000000000000000000000000000000000095e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"28548576186282521397347326558843"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce53","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea49","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"85776423144614790387057627651468673564234657276493689741282030191547802222602"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb47","0x0000000000000000000000000000000000000000000000000000000000006a26"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacf","0x0000000000000000000000000000000000000000000000000000000000007d93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"57889985598637585693641846959573577056446329555726642532370138691908380366920"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb48","0x0000000000000000000000000000000000000000000000000000000000000f9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[256,"98673216327283038593570719744588456120262633423102830493810259127158685514150"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb31","0x000000000000000000000000000000000000000000000000000000000000008b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"5938140833719253187923578019349676472605967507275881883060707324393344524122"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008a","0x00000000000000000000000000000000000000000000000000000000000035d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062335"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000deee","0x000000000000000000000000000000000000000000000000000000000000ac44"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"7457942045242539546238102086754038185884491371593"],"tag":"AbiUInt"},{"contents":[256,"78465564470945231443059728816178313877005401376297580530601997535209741722883"],"tag":"AbiUInt"},{"contents":[256,"8250865525542873514198676440349379324131889780379047250621502863812338566662"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639935"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781056"],"tag":"AbiUInt"},{"contents":[256,"77510167221420071776222531740454795489500007016042854228874599507010129865175"],"tag":"AbiUInt"},{"contents":[256,"1531848464"],"tag":"AbiUInt"},{"contents":[256,"75388580286037342295782948615901383966253683179339969615722747913037235716094"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"102145549737151730380435856187083290374264696320595952298267046682081079118388"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"2"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639883"],"tag":"AbiUInt"},{"contents":[256,"49646127549784852934216781597042560808447206459795458332369172931979459608568"],"tag":"AbiUInt"},{"contents":[256,"245189370440211794090777796547285460193331747"],"tag":"AbiUInt"},{"contents":[256,"65786267452847206037298222970671727438882195550323845047562730099587439952986"],"tag":"AbiUInt"},{"contents":[256,"234"],"tag":"AbiUInt"},{"contents":[256,"274"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639938"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132610"],"tag":"AbiUInt"},{"contents":[256,"94630822791883230671977237033684503361893631354174068207175266282017565209205"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"80307219851524882305678760283971791393098932609301906106256078318539057250807"],"tag":"AbiUInt"},{"contents":[256,"69152973750086194858522692752935001391866436077353956739151035271602038346933"],"tag":"AbiUInt"},{"contents":[256,"5004"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639884"],"tag":"AbiUInt"},{"contents":[256,"632"],"tag":"AbiUInt"},{"contents":[256,"1998"],"tag":"AbiUInt"},{"contents":[256,"53"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d9eb","0x0000000000000000000000000000000000000000000000000000000000001387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x00000000000000000000000000000000000000000000000052770746b0bbe2eb"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000018210","0x000000000000000000000000000000000000000000000000000000000000136e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb09","0x0000000000000000000000000000000000000000000000000000000000001327"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4b","0x000000000000000000000000000000000000000000000000000000000000d9d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"97"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007eea7","0x000000000000000000000000000000000000000000000000000000000000c763"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"309485009821345068724781052"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x000000000000000000000000000000000000000000000000000000000000001b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba8","0x000000000000000000000000000000000000000000000000000000000000e59f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000055","0x000000000000000000000000000000000000000000000000000000000000e346"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"27934495947628758007012632737887483856766185141395089863858573488026068954313"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa3","0x0000000000000000000000000000000000000000000000000000000000000057"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"91228430180129343442661193900672038112242425709304316286108676057998073906730"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf2","0x0000000000000000000000000000000000000000000000000000000000001325"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"69772198627544340816528491083088510847882033439913420460052934192541832557158"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bda","0x00000000000000000000000000000000000000000000000000000000000007d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb43","0x0000000000000000000000000000000000000000000000000000000000006a2b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022ae2","0x000000000000000000000000000000000000000000000000000000000000dcbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e37a","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d9eb","0x000000000000000000000000000000000000000000000000000000000000a61e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"413"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a867","0x0000000000000000000000000000000000000000000000000000000000008193"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"24032728466086077405384858793126514820354006283543336703897963492088507621827"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x00000000000000000000000000000000000000000000000000000000000032ca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"110068030734405971387077174693112919024965792984483844471532421050197042455857"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033ae9","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":[256,"304"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000036611","0x0000000000000000000000000000000000000000000000000000000000001386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002326","0x000000000000000000000000000000000000000000000000000000000000ea96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":[256,"65354997376446322294214158301596032065724557517631703855623891838033400257800"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000005","0x000000000000000000000000000000000000000000000000000000000000a87d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"\"\\DC1]Y\\SOHj\\163\\192\\227\\206\\ESC\\158/\\n\\239O\\212|\\131\\223\"","tag":"AbiString"},{"contents":"\"SUM(accumulatorShares) chanred on SuperVault shage transfers\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[]],"tag":"AbiArrayDynamic"},{"contents":[256,"27180328083999754757229151438550481494665686293290364476627301399708100106319"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"68584452250939222633732016036963659750901648709941756253263432089527879337117"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000855a3","0x0000000000000000000000000000000000000000000000000000000000008190"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3f","0x0000000000000000000000000000000000000000000000000000000000002e32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"52429274105215661645811222233470154924860273864169302777552930671896914003016"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb3","0x00000000000000000000000000000000000000000000000000000000000007d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"\\165\\209*mfBE;\\129\\163v\\233\\141\\189[\\200\\212\\220\\nhn\\162c\\188\\240\\192\\ESC\\DLE\\192\\185\\214\\239\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e703","0x0000000000000000000000000000000000000000000000000000000000000043"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000006b","0x00000000000000000000000000000000000000000000000000000000000035d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb02","0x000000000000000000000000000000000000000000000000000000000000e343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"33461451219915915883833109511237349633703428945730426876174625120662424507635"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025b3b","0x0000000000000000000000000000000000000000000000000000000000000087"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":[256,"45702483497873557224695398225403711888200534972492258928706980672868883048812"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f36","0x000000000000000000000000000000000000000000000000000000000000b285"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"26288169464535328783689946677148763294455783173849059699271388888130066708843"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c5dc","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"73750055743741121162415752336328189540217756297865602139514447330021653394790"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb27","0x0000000000000000000000000000000000000000000000000000000000000042"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0f","0x000000000000000000000000000000000000000000000000000000000000b44a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff7","0x0000000000000000000000000000000000000000000000000000000000009aa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea45","0x0000000000000000000000000000000000000000000000000000000000001350"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"104789458648060956358799346317527233471859142442223749466401104246011231319627"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c3","0x000000000000000000000000000000000000000000000000000000000000138a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639858"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fc","0x000000000000000000000000000000000000000000000000000000000000e6e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000099c0","0x0000000000000000000000000000000000000000000000000000000000000013"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"109920256581934860608534285711417238635982163555324076632903256548097181477124"],"tag":"AbiUInt"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055e33","0x0000000000000000000000000000000000000000000000000000000000001020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x0000000000000000000000000000000000000000000000000000000000002e81"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"72022436060437094421780778059973349602859247379871472900039642932811851955057"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x0000000000000000000000000000000000000000000000000000000000007f93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012a","0x0000000000000000000000000000000000000000000000000000000000001326"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"590"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427c","0x00000000000000000000000000000000000000000000000000000000000000fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2e","0x0000000000000000000000000000000000000000000000000000000000000017"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"25130714018105080019774660192323607718447235021816427426323562779333693182554"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052405","0x000000000000000000000000000000000000000000000000000000000000185a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000054","0x00000000000000000000000000000000000000000000000000000000000012a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e376","0x0000000000000000000000000000000000000000000000000000000000000043"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":[256,"96958689956646573647765603892558432545891782777553635802324067623097080873913"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858879"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"676"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037e95","0x000000000000000000000000000000000000000000000000000000000000c40d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e477","0x0000000000000000000000000000000000000000000000000000000000008ec9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"853375855119108146227269890137885790644342269896085225297047765"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e702","0x00000000000000000000000000000000000000000000000000000000000013a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c7","0x000000000000000000000000000000000000000000000000000000000000135b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731850"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6a","0x000000000000000000000000000000000000000000000000000000000000b44a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000010","0x00000000000000000000000000000000000000000000000000000000000089b0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bce","0x0000000000000000000000000000000000000000000000000000000000009e99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"17662833818875278090314199731308222422248092273093787669671581421219797214945"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb02","0x0000000000000000000000000000000000000000000000000000000000000076"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"144"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"63056230067928278789953109688752713664197658532049161312031659028949879013642"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb38","0x0000000000000000000000000000000000000000000000000000000000000382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639866"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaea","0x000000000000000000000000000000000000000000000000000000000000dcbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6c","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"81849859550467207949212019444843193084918615264584483895960834492302694128098"],"tag":"AbiUInt"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005427b","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef47","0x0000000000000000000000000000000000000000000000000000000000008e84"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]