[{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000026646","0x000000000000000000000000000000000000000000000000000000000000e426"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xA5F7762196b39AF204F93E5658536D6138de46B7","tag":"AbiAddress"},{"contents":[256,"1533038496"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038346","0x000000000000000000000000000000000000000000000000000000000000a285"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000009318d","0x0000000000000000000000000000000000000000000000000000000000003791"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"51026413673488405508932919543606566171723054349025844525352396211883937468702"],"tag":"AbiUInt"},{"contents":"0xA444FBB2a149cE92B1F25002F0d612583A75261a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043317","0x0000000000000000000000000000000000000000000000000000000000002577"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["optimize_maxDustAccumulation",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003bef3","0x000000000000000000000000000000000000000000000000000000000000ebaf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000002e7fa9a3f654e4df7"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":[256,"72394685857340873421098400610772095365723446716564445255842515498210234724859"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d5ca","0x0000000000000000000000000000000000000000000000000000000000009e0a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xE4aE79d38C66F58bf4E865D4a529d555F3286448","tag":"AbiAddress"},{"contents":"0xE4aE79d38C66F58bf4E865D4a529d555F3286448","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\251\\167P\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\216\\209\\255\\197\\133\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236=\\186J_\\248C?\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\220?\\135\\189v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMU\\241s\\154&\\ACK\\200\\FS\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\182\\166\\NUL\\CAN\\218m\\250\\249\\230\\240\\223\\SOH\\211\\&6\\244\\252\\214\\SUBo^o\\196\\179\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200ISO\\195\\&5\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\148\\171\\255\\178\\171\\244\\234\\&8K\\142\\DEL\\239\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"T\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253q\\146f\\204\\SOHp\\160\\ESC\\163\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL~\\193\\133\\251\\141\\177\\244\\178\\ACK=;\\187\\DC4\\180\\t%\\\"#\\164N\\191\\212\\173\\148\\213\\254\\&8$\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBO<@\\224V\\247\\145\\f\\155\\206\\DLE\\137\\254#\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\&4P?A$\\170v\\150\\219\\146\\226l\\165\\a}\\227K\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\141^\\FS\\197\\152\\170\\234\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\236V#\\169\\224=\\227\\&1\\230.n~\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230nq\\215\\DC4\\FS-\\223\\203\\130\\CAN\\ETX9(\\225\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\236j\\DEL\\247M\\218O_\\177\\148\\&3\\176\\164\\205pf\\181C\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\216&\\172\\GS\\130\\231\\244\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\179j\\RS\\134MUU\\191\\227\\217\\140\\185\\199\\253S\\149H\\143\\167\\&0%\\212$\\203E\\138\\148\\132\\237u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\196\\183\\132\\&3\\163\\242B\\204!\\152\\201\\154\\150iA\\f\\153<\\CAN\\178\\136\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\169\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\211\\195\\252\\CAN y\\179\\SI\\171\\&7TK^B\\DC3\\229\\135\\&3u\\ESC\\246V#\\136\\199\\210\\156q\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\\"9\\232\\SOHG\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\166\\DLE\\169\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\254.\\174\\238\\DC4\\131\\201\\245\\233\\bAs\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"hO\\214v./w\\202\\199\\&1\\r\\222\\SO\\236\\181\\DC1\\182\\&6\\188\\223!s\\132\\149\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\140P>v\\DC4\\178\\153\\139\\RSCS\\220\\165\\180>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\STX-\\159\\171\\211\\b\\176\\ENQ\\188\\NAKjM\\252\\136p&\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"NU\\STX\\162}48\\240\\&42q\\SUB\\146%\\146\\143Z\\178\\167\\185g\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\252\\&0\\140\\162\\&91+|\\164A\\138\\NULS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130y\\EOTy\\231\\214\\231#\\136-t\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\229\\187\\195\\235p\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\156\\166#_i\\131\\251\\235\\154\\172\\DC4\\211i\\ENQ\\173\\ETB\\210&'\\200&9\\140\\ETXpV\\199P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\192\\253\\231H\\177\\202\\225!Q-_7>\\153\\GS9\\RSc\\164,\\164\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"jS+\\STX\\243\\204\\155\\206?\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\199\\CAN4U\\164\\193\\&3\\174'\\aq\\134\\ACKd\\182\\183\\236\\&2\\v\\177\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\SOHM\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"|gp*P\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253}\\236l\\f\\189\\147\\&58\\SOH\\n7\\170l\\219\\203r4C\"","tag":"AbiBytesDynamic"},{"contents":"\"Pm\\236\\143'\\138\\182}\\ETX\\a\\186\\144&\\241\\191U\\191\\255\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\169\\140q\\160\\201l$\\223\\207C\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\215\\232\\232\\254D9\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\STXc.c\\RS\\139\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\138\\129@\\253\\145\\199\\219\\203\\167+\\151\\242\\162\\186*\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\212\\245lM\\170\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\b\\134\\212\\128\\t\\US\\184\\192/\\182\\\\\\181\\174\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"84\\DC3\\190:N\\154\\SI'\\167]\\n\\151\\DC3\\150\\136\\FSz\\241n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\236i\\235}\\223\\184\\156\\174\\n\\189\\157\\255\\174<\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\232\\157\\192\\168p\\159>\\150U\\n>z\\246R\\178\\178s\\169\\141\\202\\248E&\\201kb\\190\\136\\DC1\\DLE\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"Wx\\233\\242\\163\\RSg\\149U\\147\\232\\201;G\\150\\&9\\ESC\\NUL\\217x\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\196\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216U\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\&2\\212\\147e\\167\\247\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\203-\\148\\224$#\\160k~\\168\\134AV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172nM\\241DD.c\\DC22f_S5\\213K\\DC3\\241s\\134\\177\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"5E\\209\\&0\\199\\ETXD\\206x\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"Lj\\184\\166 2~\\249g\\b\\RS\\255\\221\\SIv\\135C\\SUBI1\\DLE@\\NAKbc\\204{\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\247xt\\ETXt\\STX+\\213\\173\\DLE\\205\\161\\&3\\237AM=\\196\\199\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202C[\\204\\225\\136\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\&4\\232\\245\\176\\SYN/\\157\\t\\t\\251\\247\\134\\145\\178\\130K\\t\\156\\253EH<\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\172+\\DC3\\DC4\\145\\142\\ACK\\137f\\GSC\\SYNPS\\138=\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\" C\\157K;\\ACK\\218o\\160i\\141\\215\\252\\&2\\179\\236.\\179V\\217\\244\\191\\179-\\168r\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\252\\183\\254\\169_\\v{\\245\\&5\\v\\\"\\245\\229`J\\DC2L\\165\\&6V\\136\\136*\\btD\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\v\\212d\\231O20\\206\\254\\238\\160 \\149\\187x\\231\\147\\179\\152\\189s\\245\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\225\\SOH#\\174\\132\\\\!\\DC49q\\191\\DC1\\202\\254\\162$\\riRk\\\"\\229\\&1\\207b\\138\\169\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\237\\CAN\\195RX!\\201$\\SOH7e*O\\145\\175x\\DC3\\221\\235\\SUB\\155\\SI\\206\\250\\200\\&3S\\148n\"","tag":"AbiBytesDynamic"},{"contents":"\"h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTB\\199\\220\\209 o\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\n\\201\\233\\145\\249TT}>\\255\\GSS\\169q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\SOHM\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"]u]\\165\\222J@\\152\\189\\221\\244i\\197~\\145(\\175\\254o\\130\\147\\234\\247A\\f_Z4}\\253\\179\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\156\\135;G\\DC1\\141\\243\\167@\\DC1}\\157Q\\186\\NUL\\220*\\155{)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\130\\NAK\\254\\DC3\\199~[\\156\\134\\194|f\\128u\\246\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\201d\\184H?\\249PA\\239_\\v\\NULi\\173\\194\\170\\237\\171\\130\\223\\SIs\\150\\142\\190\\CAN\\245\\181\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKC\\136\\RS%\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\aA\\184\\217\\135c]o7\\254f&\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"hv\\NUL[\\130|\\202f\\135\\198\\128\\184Fg\\241\\195D\\r\\134\"","tag":"AbiBytesDynamic"},{"contents":"\")\\STX}\\173`\\196/\\167\\230\\CAN\\136\\188C\\232\\ETB\\222\\SO\\183\\192bb\\239$c@\\140\\242ga*y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\235o<R\\235\\221\\151\\\"\\DC1Y\\NAK\\192\\237\\213\\225\\177>m\\249\\n\\SI\\177\\&9\\212\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"{&\\180\\129\\246\\177H\\157P$\\DEL\\176\\158\\t\\r\\162\\233\\244\\238\\237 \"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\134\\FS\\178t\\166\\212r'jL\\NULE>\\141N\\226\\183\\231\\174s\\221-\\164\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234r$\\179\\219Ko[\\191\\USe\\143Y'\\254\\207\\159\\209^~\\227\\244\\253\\187\\167\\151\\230\\ESC\\233\\231\\227b\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\210\\236U\\191xF\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\US\\182\\145\\228\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\v\\136\\246\\142+s\\219\\NUL\\158q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\183\\222%\\a\\157K\\174\\178.`\\244\\214\\212}b\\177\\134\\214E-m-\\a\\202\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208f4!\\GSK\\229v\\178\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"I5\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\SOH\\130\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\";\\179TH\\231\\232\\EOT\\238><\\196o\\240\\CAN\\165\\242\\200\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\",\\195\\216\\189\\133\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\SOH\\130\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\US,>\\226(Mx\\178\\GS\\STXB\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\146\\SYN\\243i\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\192a\\250G+\\175?\\144e\\206\\208\\180\\245\\ETX\\252\\213\\251\\208|\\229\\197\\t`\\170\\&5\\138\\200\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\174\\149\\156\\254pCL5Uk\\179F\\140\\140\\151\\169\\&5Qt.\\238\\198\\DC4K\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\244\\151\\140G\\NAK\\v\\188]<{\\187\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"/F\\208t\\178\\156\\214\\EOT\\156\\188\\179B\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160c\\253\\148|\\184\\149C\\US\\251\\226+\\134\\235j-\\t\\146\\222*\\247\\196\\tI\\168Q#\\131\\231_\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\233\\233\\213\\184^\\221\\191K2-\\238\\DC2\\223\\227\\f\\228)yv\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\ETXO\\242\\169\\236\\137[\\141\\245~\\133\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\205\\219\\234\\230\\180\\211f\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKb\\172\\&2\\245u^\\232\\200\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\242\\223\\230\\210\\142\\SYN\\199W(\\195\\157GOL\\160f\\174\\172\\FS\\151\\SUB\\192P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\223\\205\\253\\206\\155\\144\\159\\153\\205{\\218\\DELe1\\238\\254,\\CAN^\\186\\136\\226\\ETB\\167\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"dQ>\\161ab\\205\\234\\174\\128\\204\\FS17\\157\\142\\173\\229\\193;\\239\\182>\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\131\\151\\&2\\GS\\230\\228\\STX\\ETX\\163\\RS\\225\\169\\182\\227\\133\\153Ix\\250vr\\177\\191._:2{2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\253\\DC1\\SOHi\\203N\\193p?\\138)\\200\\SUB,\\238SnK\\139\\FSD7\\143\\143\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\248\\216F\\ESC\\DLEU/\\SO\\131\\140\\177\\228\\221\\228\\139\\RS\\199\\168\\234\\&1\\f<\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192`\\251!\\194\\207M\\169R\\169\\183\\190\\178\\129`]\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\138s\\229\\197&\\136\\165c\\200bX\\213Z\\139%\\171\\251\\DC3-\\226\\156\\GS\\188\\240\\220}\"","tag":"AbiBytesDynamic"},{"contents":"\":\\217'\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\US9e\\188\\rm\\177\\227r\\178\\NULz\\234\\232\\221\\249R\\194c\\247\\EM\\146\\DC3\\175\\252\\ACK\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\239\\216:\\154\\155\\NULG8\\DC3t\\238]oY/\\159\\CAN\\239Jg\\201x\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179W\\186\\166\\ETB\\DC1\\147mJ\\200\\CAN\\171\\235d\\235p\\130U\\236\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\247]\\130\\139L\\228\\211\\ENQ\\143\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"L{\\137\\148\\138d:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\204\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179:\\153\\175A\\220\\166\\144\\ENQ\\242^\\172\\165\\253\\137P\\251\\130\\189\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243M\\183\\152\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149i\\252\\214xR+\\175\\147\\243\\138R\\136\\a\\204b\\214\\200\\ETXYX \\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4~\\DC4-<\\155\\STXII\\218v?\\SIvOM\\146\\168\\ETX\\142\\236\\245+=\\237\\137\\182\\237\\140\\ESC/\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\218\\131\\222\\255\\215\\159\\ESC\\156\\224\\138T\\222\\186\\147\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"*:9j9\\216\\247\\148\\v\\224\\181\\USS\\EOT\\188\\181\\136\\146\\140CMS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\SO\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSLJ4nn&\\172\\bg\\224t\\223\\183e\\197\\&1a\\172\\183W\\f\\f;\\189H\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\217\\174\\&2X\\t\\202\\228t\\211\\fQ_\\242\\142W\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"E0\\149\\GSl\\158\\237\\223\\251\\&6\\158\\201\\204\\n>\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250 |rn\\215E?\\168'_\\187'\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\\\Q\\171\\210\\129\\FS\\186\\253\\253O\\US\\RS\\207\\229\\192\\201\\250\\DC2\\130y\\254\\211\\138t\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\179!u\\255\\140\\202\\140O\\231\\157\\254V\\US@\\160\\131!p\\199\\SOH\\157\\ETX\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\169\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\224\\&8\\164\\246c\\182\\148\\238\\253pm\\233\\255\\&5}\\159D\\254Z\\239\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\215[XZ`tZ@\\177\\FSvM\\179\\224\\235\\218\\224\\SYN\\188\\252\\248\\&0k\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"m)\\185\\240\\191\\236fs4\\172*\\232\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\254\\&1B49\\ETX:\\152\\SI\\195M\\162\\210\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\136\\177\\177/\\204\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\200_\\DLE\\206\\153h/_\\155\\255\\204\\215\\&6\\146\\227M#\\135\\222\\ETXxN\\DLE\\a\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\158\\224+k\\250^\\233%\\255\\EOT\\129\\187\\229?\\228\\161G!\\228\\201|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140X\\SOC6\\182\\168(\\178\\226!J\\133\\245\\248\\153w{4\\234j\\168\\&3\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\194(\\132\\133~\\183\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181o\\ENQ\\183\\217\\&86\\130\\NAK\\SUB\\208\\n\\190\\182w/\\NAKOv\\ETB\\149a\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\252\\DC4\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\179\\SI\\226\\DC1\\139\\ESC\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\218<8\\NAK\\137\\209+\\156\\222b\\ENQ\\132U\\200Qf\\DC4\\248\\240$(\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208&tI\\147\\158Z\\180\\132Z\\240\\SYNV\\231\\154v\\246\\244\\156E\\172\\224w\\DLEn\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\142.\\162(\\131#o\\234\\202\\EOT+\\ENQ-\\250\\FS\\SOH\\ACK\\172XnG\\EM\\218\\RS\\DLEX\\EM|4\\191O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\228\\207\\&9?*+~o\\ETB^\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\237\\173\\181\\208_\\244b\\240\\207LQ\\136\\236\\170\\231\\219\\129\\GS\\226\\200\\174\\EM\\138\\151\\SI\\143n\\n\\236%\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246b\\ETBeB\\b\\190}\\DC4\\189\\SYN\\NUL\\204\\192\\b\\DEL\\137\\149]Z:ng8\\150%7Gi\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\243\\133\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\199\\240\\211\\EM~\\207\\150%\\142\\168\\SO\\230\\FS\\228\\186\\181\\DC4\\ESCS\\226^\\146\"","tag":"AbiBytesDynamic"},{"contents":"\" \\151\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\180\\128^]\\210V#u\\206\\239G\\ACK\\195G\\167\\136\\ESCP=\\142\\EOT\\EM\\243B\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL \\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\214\\US\\217\\STX<\\218Z\\142\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\145\\177\\238\\DC1\\128\\SO7/-/,\\206\\246\\217v<\\194\\229\\228\\188\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"96821112119624372265989329363013541992856416840470888067191254225677887033667"],"tag":"AbiUInt"},{"contents":[256,"1537188811"],"tag":"AbiUInt"},{"contents":[256,"1536043325"],"tag":"AbiUInt"},{"contents":[256,"1535163121"],"tag":"AbiUInt"},{"contents":[256,"75185393364776232468771702092359721599988014447357813151888060948210589829148"],"tag":"AbiUInt"},{"contents":[256,"15498078"],"tag":"AbiUInt"},{"contents":[256,"52816564481729488638194989873195655702251022247100097694403459297174087860714"],"tag":"AbiUInt"},{"contents":[256,"62535241712182108690929183374312588437826419380447098186013329802986729548117"],"tag":"AbiUInt"},{"contents":[256,"1539638655"],"tag":"AbiUInt"},{"contents":[256,"43074035138769899009258180720794855140751181114266818550581791300238127095333"],"tag":"AbiUInt"},{"contents":[256,"1533592021"],"tag":"AbiUInt"},{"contents":[256,"305694131796211446183769798449668849413"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"499"],"tag":"AbiUInt"},{"contents":[256,"1537700268"],"tag":"AbiUInt"},{"contents":[256,"1532794883"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1532100035"],"tag":"AbiUInt"},{"contents":[256,"43450388510575876788046724964690825631360667317669693849149208572325424417723"],"tag":"AbiUInt"},{"contents":[256,"43450388510575876788046724964690825631360667317669693849149208572325424417723"],"tag":"AbiUInt"},{"contents":[256,"78874628102480085706390701270349320903045616948297323607259802400506192294705"],"tag":"AbiUInt"},{"contents":[256,"114293329772339295034748717454699282700962331231980638300731125994142783016286"],"tag":"AbiUInt"},{"contents":[256,"104388376266836441"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"101123859578597988778338099958560837341474841485052358892464031764021282726621"],"tag":"AbiUInt"},{"contents":[256,"1535433456"],"tag":"AbiUInt"},{"contents":[256,"155364566419236833365091428634384899966"],"tag":"AbiUInt"},{"contents":[256,"10633232972527770437710433094783036732144359357232116347785114445800963159489"],"tag":"AbiUInt"},{"contents":[256,"72735643277035146611379292"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"24"],"tag":"AbiUInt"},{"contents":[256,"92226035708431495154482590886234862716938423170172822360533675560340376491300"],"tag":"AbiUInt"},{"contents":[256,"100838689031979665165814952137192435845469213523390573712461429933523332003870"],"tag":"AbiUInt"},{"contents":[256,"12082122218477377689236430308966604240306769215158161850567483663330535486807"],"tag":"AbiUInt"},{"contents":[256,"1536177543"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"6009114512701402196118284354940922023562270644383692413180502459332661081424"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"2741040"],"tag":"AbiUInt"},{"contents":[256,"1535761005"],"tag":"AbiUInt"},{"contents":[256,"38117861510936878613645157500755381482817635823752033153850066309332493383779"],"tag":"AbiUInt"},{"contents":[256,"1530758405"],"tag":"AbiUInt"},{"contents":[256,"50155979918828231064705908738185276144944566616348508863484114156450912716698"],"tag":"AbiUInt"},{"contents":[256,"95523944093184425015680415"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071a14","0x000000000000000000000000000000000000000000000000000000000000b2cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031b33","0x000000000000000000000000000000000000000000000000000000000000c86c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"7765208509028345229726308059015266930584850477581314346505282661151668178892"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000539b2","0x000000000000000000000000000000000000000000000000000000000000a122"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"1530497927"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x638915217A1A2164E3b286a3eE9D8cd424C34D48","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000864d","0x00000000000000000000000000000000000000000000000000000000000042db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"693"],"tag":"AbiUInt"},{"contents":[256,"1532311571"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006456d","0x000000000000000000000000000000000000000000000000000000000000e11b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"71"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092313","0x0000000000000000000000000000000000000000000000000000000000001997"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000671de","0x00000000000000000000000000000000000000000000000000000000000077dd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"51940440115248493183282597206473429415574465517285633596459837778751311759628"],"tag":"AbiUInt"},{"contents":"0x849cE9D915E50107d4EB455B4108652d50c505a8","tag":"AbiAddress"},{"contents":"0x432EC9EACCbaf30BE4058F63E729de60E7c54B42","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009aa4","0x0000000000000000000000000000000000000000000000000000000000009c11"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000542f","0x0000000000000000000000000000000000000000000000000000000000006fb3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"1535953050"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087394","0x0000000000000000000000000000000000000000000000000000000000001e7b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027893","0x0000000000000000000000000000000000000000000000000000000000006779"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"Inv\\NULlid requesta\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003c04e","0x00000000000000000000000000000000000000000000000000000000000083ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"112548880620904881002432750944479033088012088276721034591891152795369840159706"],"tag":"AbiUInt"},{"contents":[256,"63188798288078954679049730364134283716736869475797520092711518695118627864417"],"tag":"AbiUInt"},{"contents":[256,"4370000"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507325"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"103341669607937526847792388018259596086634727404052243227921841981179892132587"],"tag":"AbiUInt"},{"contents":[256,"10211419809743047655286892628747840956607625336899856488002904961976311990368"],"tag":"AbiUInt"},{"contents":[256,"71638964544185244069669748991046137780530219605611648399600658437368595592007"],"tag":"AbiUInt"},{"contents":[256,"114824763627960255454724202098659674748472972060406244304055917309097932643750"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629934"],"tag":"AbiUInt"},{"contents":[256,"54070629479648760325790208461000459227038796790555119488353949265809001530872"],"tag":"AbiUInt"},{"contents":[256,"3600"],"tag":"AbiUInt"},{"contents":[256,"58882281148915628440950609515639577540436447279186182815237145556640456385545"],"tag":"AbiUInt"},{"contents":[256,"42928056116802420550712680213948308609345451522335972882994868598243585340941"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636334"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639910"],"tag":"AbiUInt"},{"contents":[256,"531"],"tag":"AbiUInt"},{"contents":[256,"10411358859684424634137070165132945645881083621937"],"tag":"AbiUInt"},{"contents":[256,"89455424854288793850632490217270447200499802890576333145008181742739492806177"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000023fc8","0x0000000000000000000000000000000000000000000000000000000000009fa4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x000000000000000000000000000000000000000000000000000000005b48c046"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"69683973430701733890969571661570230278656226881024378790180876031636065425052"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000048e8","0x0000000000000000000000000000000000000000000000000000000000005e23"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056723","0x0000000000000000000000000000000000000000000000000000000000004396"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c96c","0x00000000000000000000000000000000000000000000000000000000000045dd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"18867274313313842040772602604487831322557476765952713523025524685597904784266"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004caa3","0x0000000000000000000000000000000000000000000000000000000000001fd0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"62159874190780206468222791757381073518095232616535580263545972387700397382758"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060bee","0x000000000000000000000000000000000000000000000000000000000000d94c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"1534148328"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a163","0x0000000000000000000000000000000000000000000000000000000000002642"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d54b","0x0000000000000000000000000000000000000000000000000000000000002a34"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"45"],"tag":"AbiUInt"},{"contents":[256,"73762031527115850054058330113234664029405591141978604369983704783613412199500"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ef87","0x0000000000000000000000000000000000000000000000000000000000009534"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001fdf5","0x000000000000000000000000000000000000000000000000000000000000be96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x22b24e3bBa3087f537d2E35f8E2F1E9a257eAa98","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000857ca","0x0000000000000000000000000000000000000000000000000000000000008a67"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"185"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":[256,"890"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000053e0b","0x0000000000000000000000000000000000000000000000000000000000004d91"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062a85","0x000000000000000000000000000000000000000000000000000000000000496b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"82761586320450643352212021258989191955433815247282658530560792668285813832099"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000616bf","0x000000000000000000000000000000000000000000000000000000000000021d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"18"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001fff","0x000000000000000000000000000000000000000000000000000000000000a925"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"1534147951"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001a531","0x00000000000000000000000000000000000000000000000000000000000038f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008aacf","0x0000000000000000000000000000000000000000000000000000000000001615"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000cd2f","0x000000000000000000000000000000000000000000000000000000000000c925"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000b37","0x0000000000000000000000000000000000000000000000000000000000001123"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"24274615780225281291248649082857657144658745217203178970223212231082002802514"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b39a","0x0000000000000000000000000000000000000000000000000000000000006a33"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"1534264905"],"tag":"AbiUInt"},{"contents":"0x26aAF7E5377e8E92Ae90DEd1A0744395A9e5cA52","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a7ef","0x00000000000000000000000000000000000000000000000000000000000013ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"1787366740"],"tag":"AbiUInt"},{"contents":[256,"76954170417498314958290157910407467567"],"tag":"AbiUInt"},{"contents":[256,"10037811322726220846066235772149172402710968119538449021600415695770264018758"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005999d","0x000000000000000000000000000000000000000000000000000000000000d935"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"MocsERC5115Tekter\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006785","0x0000000000000000000000000000000000000000000000000000000000002663"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074d33","0x0000000000000000000000000000000000000000000000000000000000009efd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004f1d2","0x000000000000000000000000000000000000000000000000000000000000bff6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"75439906419329090553587427231145218289546635472842193042976765607037621345896"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003fefa","0x0000000000000000000000000000000000000000000000000000000000005961"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002b332","0x000000000000000000000000000000000000000000000000000000000000c33d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"23258452476236535440230746168787916979253851256983391987967401299787915419791"],"tag":"AbiUInt"},{"contents":[256,"5002"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639436"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001fb5b","0x0000000000000000000000000000000000000000000000000000000000008b90"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"\"\\183\\156\\172\\ETB\"","tag":"AbiString"},{"contents":"\"\\191\\b9\\168\\167\\158\\158\\158\"","tag":"AbiString"},{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xE4aE79d38C66F58bf4E865D4a529d555F3286448","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xAA1f965aaD15Ac3e5b3Ee3A017Fd54acefD3B757","tag":"AbiAddress"},{"contents":"0x6711ecCa7992898FC4CE393705a975Ca345FE3A2","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x9788Bbfdd660edff0D5E8792fBCE8221f0e85d44","tag":"AbiAddress"},{"contents":"0x792F3eb0aCD92Dc9ab83c64DA4657B1AA8E47681","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x12F8Aa9519Dc6CbE9b26E3A1201CB779176ad088","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0xEfa1De647159dEecC6d4ADF7c84DF3596E3ed0c6","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"470"],"tag":"AbiUInt"},{"contents":[256,"1187734178"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"478"],"tag":"AbiUInt"},{"contents":[256,"1533533058"],"tag":"AbiUInt"},{"contents":"0xe88a1Dd8aFa0b333683A4FABD9e53e4e9df31F99","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015d47","0x000000000000000000000000000000000000000000000000000000000000949b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000036b75","0x00000000000000000000000000000000000000000000000000000000000091c9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"1534401688"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003973d","0x00000000000000000000000000000000000000000000000000000000000003f9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030d17","0x000000000000000000000000000000000000000000000000000000000000d302"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"366109893"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b33c","0x000000000000000000000000000000000000000000000000000000000000e89f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000476b9","0x00000000000000000000000000000000000000000000000000000000000026ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"24718477148326345157998709209415690461870281047328408915455855094705842970665"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000082f96","0x000000000000000000000000000000000000000000000000000000000000009d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"83384773168586487131721715821061329489689946348776869261311044750348399110951"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085d96","0x000000000000000000000000000000000000000000000000000000000000ca32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"23362014537598249220951874390818181725315109328116709804670775494750264089990"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b4ff","0x00000000000000000000000000000000000000000000000000000000000079d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"86179319943249751869911348792180597261136566488744855035263485037876683694278"],"tag":"AbiUInt"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047c37","0x000000000000000000000000000000000000000000000000000000000000e5a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"45231430108415561956491801457325623818156229029415774307895513341917225301566"],"tag":"AbiUInt"},{"contents":"0x2aa1f1978f5d18D91eB3fc2E6975dC6E85FDefdF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089a87","0x00000000000000000000000000000000000000000000000000000000000049f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2e","0x000000000000000000000000000000000000000000000000000000000000779a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"54048028831903265811991307540904441358867306486752097236530448904090953898894"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002df5d","0x000000000000000000000000000000000000000000000000000000000000e95d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"21987882170815420078399435741388965032377932680815116392284147779269410908220"],"tag":"AbiUInt"},{"contents":[256,"113000981251423440768029614854816402394758767733313315792530637773201629517214"],"tag":"AbiUInt"},{"contents":[256,"1530278051"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000677bf","0x000000000000000000000000000000000000000000000000000000000000b2f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"564"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045ca0","0x000000000000000000000000000000000000000000000000000000000000bb4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000083b3","0x0000000000000000000000000000000000000000000000000000000000000660"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"1532933227"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000082c35","0x00000000000000000000000000000000000000000000000000000000000034f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"74"],"tag":"AbiUInt"},{"contents":"0xe98c2E73E40560f5795a62f67e479927Af573340","tag":"AbiAddress"},{"contents":[256,"61269325655055640564397148218605763235397197974028452602854783584918086643200"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034729","0x000000000000000000000000000000000000000000000000000000000000778c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000bd99","0x000000000000000000000000000000000000000000000000000000000000b7a5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"77648869827239066302216768719442323251681074552636873548499394107952443893150"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007494b","0x0000000000000000000000000000000000000000000000000000000000006180"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000049429","0x00000000000000000000000000000000000000000000000000000000000056a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bf63","0x0000000000000000000000000000000000000000000000000000000000005b7c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1a6076058a93937E7fe5236f6F10d35Ab001A5ee","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x473eA6ED4dC1B33c993d3a636445675c5356Eba9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0xfE21C85fc6B149ad71cfA8a762f75BaBc15208E2","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\&4h\\ENQ\\191oID\\157\\182v1\\ETB;\\209\"","tag":"AbiBytesDynamic"},{"contents":"\";\\GS\\156\\160\\\"\\US\\174\\162\\239Q\\252\\SOH\\145\\193\\234:\\201\\FS\\213\\223\\169)\\255\\ETB\\163c)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"{u\\227\\198\\&8>\\247\\229\\ENQ\\DC3\\156\\207}\\155\\181\\248\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\231\\244c6\\233\\222W\\247\\216\\208\\SYN\\232\\219\\ENQ\\144/\\255\\251O#0N\\187\\180|T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\248]|\\ENQK\\DC3\\164m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\147\\167 7KP\\253\\185\\203)\\a\\\\\\229\\214\\132\\STXM\\197_\\128\\162\\176\\228\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\234D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\SI\\217\\169\\177\\SO\\237>\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\132\\ETXY\\206\\ETX\\207;\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\178+\\173U\\EOT\\DC4\\194B\\220\\253c\\222\\&7\\SIZ\\232\\237\\v\\248>\\187\\229\\199C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\149\\EM\\v \"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\239\\143\\DC1k\\159h\\DLE?\\136\\167\\SO\\SYN\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\171\\\" \\161t\\226<\\166[\\US|\\209\\DEL\\158\\135\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\nU\\218+\\166\\237I\\151\\129\\EOT\\DC4:\\248\\ESCQ\\\"\\155\\223H\\249\\215\\138w\\158\\179\\156]\\SOH\\GSt\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\196\\NUL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\239\\143\\DC1k\\159h\\DLE?\\136\\167\\SO\\SYN\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\171\\\" \\161t\\226<\\166[\\US|\\209\\DEL\\158\\135\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\nU\\218+\\166\\237I\\151\\129\\EOT\\DC4:\\248\\ESCQ\\\"\\155\\223H\\249\\215\\138w\\158\\179\\156]\\SOH\\GSt\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\196\\NUL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\239\\143\\DC1k\\159h\\DLE?\\136\\167\\SO\\SYN\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\171\\\" \\161t\\226<\\166[\\US|\\209\\DEL\\158\\135\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\nU\\218+\\166\\237I\\151\\129\\EOT\\DC4:\\248\\ESCQ\\\"\\155\\223H\\249\\215\\138w\\158\\179\\156]\\SOH\\GSt\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\196\\NUL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\239\\143\\DC1k\\159h\\DLE?\\136\\167\\SO\\SYN\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\171\\\" \\161t\\226<\\166[\\US|\\209\\DEL\\158\\135\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\nU\\218+\\166\\237I\\151\\129\\EOT\\DC4:\\248\\ESCQ\\\"\\155\\223H\\249\\215\\138w\\158\\179\\156]\\SOH\\GSt\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\196\\NUL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\RSi\\195\\214\\218\\142c\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\&0\\211\\214\\205\\156\\189Y\\DC2\\181o\\205 6\\200\\232\\150<\\130\\SUBv\\SOH5\\171@\\180\\RS \\218*\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199/y\\155\\DC3\\146\\233\\152Q\\215\\DEL\\157A\\US\\133\\ENQ3v\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158W\\RS\\168\\SOH\\210b\\229G\\DC2<\\128\\DLEW\\240\\224\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\255k1\\231e\\168\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145M\\217\\192g\\217\\128\\196\\216\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\\"X\\250W\\236\\204\\193C\\206\\RS\\205A\\145\\128\\236\\a\\191\\ACK\\131\\133\\189\\EOT\\147\\255\\187>@\\179\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\DEL\\196W\\149\\199\\186%\\233\\134n\\EOT\\224'\\143B\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\198]\\147\\189+\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\DC2\\171`\\164)\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI>\\ESC\\220bP\\191\\DC3\\242\\n`\\237o\\144\\144\\&9&NM\\142\\211\\r\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"6Qtx\\198\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\161\\ETX\\223H`NJ\\243$\\153)$\\197c\\226G6\\ETX\\201\\221\\DC3\\182\\188%\\247\\230-R:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224*\\154yVf\\ACKF\\130c\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\252\\242\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\ETX\\133\\145\\DC1\\SOwOA\\192B\\233\\225W\\208\\234\\r\\141\\217\\r\\DEL\\152\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"^P=\\246 \\a\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\173\\\"\\200\\ESC\\167H\\242\\159\\213\\DC1\\236s<1\\223\\158\\236O\\151\\210\\254|\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\DC33\\164\\NAK\\164Z\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"}*\\186\\161\\223)\\171\\170\\212\\218\\251\\217x\\174\\148\\193\\191)\\217\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\146y\\SI\\237*\\216_F\\222a\\DC3\\175\\190\\224k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\134\\150\\216\\GS\\nu\\SYN@)\\206\\129\\147\\&6\\150\\191\\ENQ\\DC46\\182Q%\\225\\182\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172<\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\243~\\vaN\\165\\149l\\144\\&6\\189\\208\\ENQ\\169\\197\"","tag":"AbiBytesDynamic"},{"contents":"\">Z\\158\\&8\\176\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\210\\146\\154\\196a'\\\"\\228\\248\\&5B\\206o\\175\\224\\DC4\\165O\\165\\ACK\\255\\EOT\\136TA3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\241\\RS\\SOngU/z\\163=\\USf\\174t\\206\\241\\131X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB&I#\\183\\226bB\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\160\\237\\244=&\\170\\NAK\\247\\&2\\131\\&5\\226\\&4\\236\\244T8\\175\\187#\\a\\228\\148:\\163\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vH\\r\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"WEwx!\\231\\233\\145\\250\\DC3\\\"z\\133\\232rc}B\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159?\\212\\128\\254\\155\\235\\a\\191K\\189\\141\\220\\213\\ETB\\ENQ\\182\\217\\no\\v\\220\\236,&`(k\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"80864515461289284328794743520861300217440899354648672365556189484489876469847"],"tag":"AbiUInt"},{"contents":[256,"80864515461289284328794743520861300217440899354648672365556189484489876469847"],"tag":"AbiUInt"},{"contents":[256,"1527156240"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"104413702649646106518622129301667869184382373463140775706967096370212632487306"],"tag":"AbiUInt"},{"contents":[256,"104413702649646106518622129301667869184382373463140775706967096370212632487306"],"tag":"AbiUInt"},{"contents":[256,"104413702649646106518622129301667869184382373463140775706967096370212632487306"],"tag":"AbiUInt"},{"contents":[256,"104413702649646106518622129301667869184382373463140775706967096370212632487306"],"tag":"AbiUInt"},{"contents":[256,"104413702649646106518622129301667869184382373463140775706967096370212632487306"],"tag":"AbiUInt"},{"contents":[256,"104413702649646106518622129301667869184382373463140775706967096370212632487306"],"tag":"AbiUInt"},{"contents":[256,"104413702649646106518622129301667869184382373463140775706967096370212632487306"],"tag":"AbiUInt"},{"contents":[256,"104413702649646106518622129301667869184382373463140775706967096370212632487306"],"tag":"AbiUInt"},{"contents":[256,"74207690869793249173852593599122579613909363390759847736377814411184623001018"],"tag":"AbiUInt"},{"contents":[256,"1525283203"],"tag":"AbiUInt"},{"contents":[256,"1528759670"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"10896083641505615722582902670581490148437312796806814929995879285998276682108"],"tag":"AbiUInt"},{"contents":[256,"1532260315"],"tag":"AbiUInt"},{"contents":[256,"40578241425486853249489710435903695451919126528870053941888650107566468582764"],"tag":"AbiUInt"},{"contents":[256,"1532981524"],"tag":"AbiUInt"},{"contents":[256,"80355266296332581614907384151092354547438232025029340114050206235841995167317"],"tag":"AbiUInt"},{"contents":[256,"459587809"],"tag":"AbiUInt"},{"contents":[256,"1541613210"],"tag":"AbiUInt"},{"contents":[256,"484"],"tag":"AbiUInt"},{"contents":[256,"47434448169323168512616003843197078641171594662696606970222111727269778780234"],"tag":"AbiUInt"},{"contents":[256,"167542160587955422912506786489211948063185"],"tag":"AbiUInt"},{"contents":[256,"89431595934890428191850812631461895911312307834246871373686609428331693775202"],"tag":"AbiUInt"},{"contents":[256,"106177319000762396665099565468479273279291284275117866876302331346335221903044"],"tag":"AbiUInt"},{"contents":[256,"42285924265966205078291608162394565192975697696400382678"],"tag":"AbiUInt"},{"contents":[256,"1393132280629271440842055358136053420773794268452284338635550556825365530001"],"tag":"AbiUInt"},{"contents":[256,"1531150008"],"tag":"AbiUInt"},{"contents":[256,"1908446524351621"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"68567012506199840000561754226671570695248714660807548936184318024216220757413"],"tag":"AbiUInt"},{"contents":[256,"1541408305"],"tag":"AbiUInt"},{"contents":[256,"1531411432"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"74182482928895988211865491472812448525256529842995950471859139656732324189242"],"tag":"AbiUInt"},{"contents":[256,"1054826751202392522368582795071981699933729293877571612800829493273225351833"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1510459580"],"tag":"AbiUInt"},{"contents":[256,"13135017714836036211426586724295910375565617342719995820262509908314261644082"],"tag":"AbiUInt"},{"contents":[256,"1533967234"],"tag":"AbiUInt"},{"contents":[256,"31380054337089044984133112373729127556879429244666889972210684405878542105461"],"tag":"AbiUInt"},{"contents":[256,"1533672216"],"tag":"AbiUInt"},{"contents":[256,"95461194181587464978593972799138457064168492068380406974280688552639548506600"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"28031922407364310948184625411922752401029241972100697874345621124769284707092"],"tag":"AbiUInt"},{"contents":[256,"107798511061284946371041047702960052920771704515765586024990287443032973539500"],"tag":"AbiUInt"},{"contents":[256,"1538098843"],"tag":"AbiUInt"},{"contents":[256,"696"],"tag":"AbiUInt"},{"contents":[256,"113706494875342932067791396853165434053637434265399653640535611119939064256694"],"tag":"AbiUInt"},{"contents":[256,"1517466934"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074a37","0x0000000000000000000000000000000000000000000000000000000000008cc6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"46822517613942531564071395090600157225286566984139366324196543970805489702662"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000059610","0x000000000000000000000000000000000000000000000000000000000000b116"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002a1e3","0x0000000000000000000000000000000000000000000000000000000000003a09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"1536502755"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064c8d","0x0000000000000000000000000000000000000000000000000000000000003536"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x976E007C011b3Ff6C1f9E2ce946dd396c9d24aBa","tag":"AbiAddress"},{"contents":[256,"73065935490347251465798068039314224392141534874751988492849673985892254876587"],"tag":"AbiUInt"},{"contents":[256,"28730935727725452030467970074530706535758842931240150782110653254920292510308"],"tag":"AbiUInt"},{"contents":[256,"50630471297884469940159314950225416523553990007023681351672742173672194537090"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037cf7","0x0000000000000000000000000000000000000000000000000000000000002322"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000515e3","0x000000000000000000000000000000000000000000000000000000000000b405"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c11d","0x0000000000000000000000000000000000000000000000000000000000005f46"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001baa2","0x0000000000000000000000000000000000000000000000000000000000005620"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000026d8d","0x00000000000000000000000000000000000000000000000000000000000079ed"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x9788Bbfdd660edff0D5E8792fBCE8221f0e85d44","tag":"AbiAddress"},{"contents":[256,"1533445339"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008cf5b","0x0000000000000000000000000000000000000000000000000000000000006e27"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"1528532791"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ff8b","0x000000000000000000000000000000000000000000000000000000000000732d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061b86","0x000000000000000000000000000000000000000000000000000000000000d367"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x2aa1f1978f5d18D91eB3fc2E6975dC6E85FDefdF","tag":"AbiAddress"},{"contents":"0x1a6076058a93937E7fe5236f6F10d35Ab001A5ee","tag":"AbiAddress"},{"contents":"0x1E964AC317b4cAD5E2178E3B98752f08A1d2B9E7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x65Ef5e7Eb30BEEbDC3F1ed0aEb9f08CB792a6973","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc4B392897650c72335bA2aa590934C807F3B184a","tag":"AbiAddress"},{"contents":"0x1E964AC317b4cAD5E2178E3B98752f08A1d2B9E7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\FS\\235|I?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\181,\\206\\143\\152N\\149\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\232cd\\183ce8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\164\\178D:\\238\\201\\211\\234\\t\\SI^\\\\2\\250\\209\\177\\240\\134\\SI\\150\\190\\&8\\229\\CAN;\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\&0\\160\\157\\150\\EOT\\164\\&6_\\DLE\\166J]\\248\\194\\177\\168\\&5\\254\\206\\DC3 \\EOT!h\\186\\162\\&8\\218~J;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195g\\196\\197\\166\\177\\ACK\\204\\172t\\160\\164FFG\\162d\\140\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\226mb~e\\190\\232D\\183&\\183\\245(\\b\\DC1^\\SOH\\255\\a\\NAK\\DLE\\129\\165\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\147\\135n\\FS\\199\\215\\STX$\\181\\170`\\164X\\235\\ETB J\\137\\232R\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\246'\\ENQ\\187x\\228]\\SUB\\158B\\181Y\\226)\\144\\171\\b\\v\\156\\t2\\191\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\&0\\152\\193F\\SUBGhC\\163\\ACK'\\147\\133\\196\\164\\128\\199KR\\239:\\RSl\\194\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200H\\202\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\175\\193K\\202\\134\\235L\\202\\234\\167\\\\k$\\211\\ETB4j\\199B@\\DEL\\196\\163\\157\\207\\ACK\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\n\\196\\195\\160\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\211\\218)\\204\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148'\\164\\204~L\\183x}\\tJ\\203\\136\\ACK%[w\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\200\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\SUBW\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\171\\154\\205\\168\\250\\ACK\\181\\228U\\136\\r7\\134\\245\\246\\CAN\\201\\151\\192\\234\\212\\130\\214\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\242\\&5\\229[\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229f\\221R\\ESC5)\\174j\\155\\230\\208\\182*\\\"B\\128\\247G\\167\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\SOHM\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\177\\182\\199\\149|\\239\\RSD\\210\\CAN\\130g\\231\\228\\173{\\232\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\131?\\247\\CAN\\249\\129\\230\\213$o\\234\\224\\153\\223pj\\171\\157\\149t\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQx\\152xrt-*\\194\\&5q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"VSP\\155\\232\\206\\152\\208\\225*\\194\\RS\\191\\244\\239\\165\\DC2\\193o\\140\\216\\170\\bp\\221\\141\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\":\\134\\247\\US\\197\\147\\146\\175\\172\\240\\169\\145x\\238 \\181\\245\\&5\\183I\\DC4\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\172\\228z\\190\\134\\185\\224\\231\\203\\129\\192G\\238<\\203\\253\\DC1~\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"*K\\199\\213\\f\\159l\\198\\153\\STX\\165\\SO\\a\\145\\143<\\209<\\253 \\US\\DC4U;\\205\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"a?\\DLE\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"/TN\\SO\\178\\235e\\151\\&9h`*\\153\\DC1\\192k\\243\\172\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\199\\CAN4U\\164\\193\\&3\\174'\\aq\\134\\ACKd\\182\\183\\236\\&2\\v\\177\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\SOHM\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"yK\\214\\154S\\132\\232&\\253\\131\\251\\176\\215\\&1\\130\\181\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\132\\181\\SOHF\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237)(>\\196\\183\\DC4\\169\\SOLS=\\255\\DC4\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\EM\\146\\237\\EOT\\177\\201z\\175\\251[<\\139d.\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"E1Xa\\DC1,\\\"v\\189\\f6\\n\\249\\138\\166TV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\190W\\185h\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\171\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"4lFu\\DEL\\184o\\240\\b\\191\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"jqY\\185o\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2k1\\CANn\\135\\&2}\\t\\190\\&3\\\\\\137Q\\234\\171\\241\\226\\165\\&2P_\\RS>g\\167HX\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\248wP\\246\\254\\129]r\\182\\f@\\135\\DEL\\174\\133\\171)\\SUB\\249\\128\\US\\ACK6\\202w()lJm\\174\"","tag":"AbiBytesDynamic"},{"contents":"\")\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\SO4O :\\139\\&8\\EOT\\EOTg\\ENQ\\128\\211\\239Xu\"","tag":"AbiBytesDynamic"},{"contents":"\">\\130n\\164\\130;\\176\\\"\\150\\NAK\\239\\177\\b*\\NAK\\129\\142\\167\\237\\182\\243\\237\\SYNE\\US\\ACK\\rz\\DC4k\\167\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL \\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\ESC\\215\\132J\\234X7\\133\\129\\193\\201\\176\\NULp\\199\\252U\\133%#\\NUL\\170\\131\\238*\\213\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\195\\172\\234\\194\\DELDw\\DLE\\239\\236\\DC3\\GS\\218Y\\234L\\tz\\244\\247uQ\\153#\\ACK\\216\\225\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135y\\131\\140\\149\\152,\\174H\\157Ld\\190\\151\\134\\STX\\ACK9)y\\FS\\213n(\\254\\186\\&0F\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208C])\\206\\136l\\177Y?\\202\\173\\153\\RS\\151=_\\186R\\241\\200b\\182\\237\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\186\\210*\\167\\ACK\\138\\211(\\164\\220\\219mlDE\\225\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\157\\&7\\230]>\\174j\\143\\190\\150m\\ETB3\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\215\\219\\RS\\249\\156\\&6\\198\\176\\133\\239:\\208\\166L\\229:\\254\\ETBjJ\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\155\\216\\129\\207\\r\\\\\\165\\a\\\\\\226\\198\\140=\\132\\NAK\\174\\GS\\239@\\205u3\\171\\206\\223\\216\\177\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\150jX\\133\\SOHK\\DC2li\\EM\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\249n\\166\\197\\222A\\214$.\\SOZ(\\ENQT\\189$\\235`2\\196\\200\\149\\182\\209\\163p\\143\\241-D$\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\a\\SI\\DLE\\143\\221\\135\\248\\ACK1T\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\161\\145\\CAN\\198\\240\\183l#\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Vb&\\134T4}\\207\\245\\144\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\158\\151\\210>\\159shr*\\196\\149\\234F\\t\\174\\241X\\207z\\208\\197\\f\\166k\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\223\\247wn\\DEL\\190\\201h\\185\\144\\165Q|asO\\168%A},\\152\\246A\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\154\\EM\\249\\209\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\">\\217\\226kw\\153\\181Kr\\173X\\194T\\199\\163\\163:\\216;\\154\\244jm\\182\\239\\158\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\217\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\237\\155\\198v\\252\\172\\130\\136\\134)\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218/\\209uY\\167\\177r\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\239Du\\133W\\134u\\147\\201\\170\\243\\184\\239\\137\\t*\\196\\145\\165\\159<\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\213\\177;f\\148\\206\\153B\\CAN\\207\\194\\133\\153\\v\\181%\\152%\\204\\249\\254\\214CA\\145\\217\\133\\214m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\231\\200lD\\SYN~\\SOH\\EOTh\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"f@\\NUL\\196\\157\\168\\196^\\147\\DC2W\\185\\203\\160 \\208U0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163b\\228!\\DC2\\202#\\SOD\\205\\144\\192z\\159\\249c\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\229\\n^v\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\215b\\211\\158nZ\\251Z\\208F4\\151\\253\\176<\\NUL\\235r\\133\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"s\\RS\\133\\224f\\145\\n\\209~\\144/@\\DLE\\152\\233\\207\\137\\250W\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\f\\238U\\\\\\247\\253\\145\\148\\162\\&7\\219\\132h\\153\\169H\\235\\DC1\\165\\173\\CANL\\233\\180<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\191\\173\\SO\\DC1\\143\\229\\164\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\a\\178\\145\\191\\132X\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\164\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215p\\\"\\193\\155\\220\\176\\154&\\251\\223\\228n\\222\\176\\130F\\211\\138.z\\251\\189A\\ETB\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\198UK\\251\\129Xa\\SYN\\DC33\\DC4c\\206\\250e\\255\\169\\146(\\182\\&0\\a-\\165f1\\226a\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252-V\\134\\ESC\\US\\180\\155\\141\\237\\163\\DLE#\\199\\137\\DC4\\245cWB!\\251h\\172l\\233\\149\\183\\237\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\182\\147n\\224\\253\\SI\\190M\\245M3\\238\\223]\\178-\\131\\229\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"NM\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\149\\223\\230q{\\167^\\aI\\181\\DC1\\192\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\145\\NAK\\SUB2\\207\\197\\250NI.\\154MA`\\219\\183ca\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\198\\142\\167\\232m\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\176\\183\\195\\r\\168\\188\\213\\160\\192B\\\\\\133\\195\\168\\177\\&8\\191\\242\\ESC\\f:\\249yd\\165l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\205\\ENQ\\DLE\\227\\&3l$\\222\\233D\\fB\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244X\\227\\a\\240`D\\195_=*d4h\\v\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"rtC$r\\SI3\\231\\139\\198|\\DC2a\\251\\207_U\\145\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\&9\\147\\181$\\n\\EOT\\237:\\255\\173\\&2\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"q8^\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\159\\163\\228\\192\\155\\238\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\212J\\162EHP\\235\\146\\DC3\\163\\193\\172\\128\\210\\203\\193\\200\\165\\&0\\202\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\">\\202`\\SO\\237\\217\\174\\&3\\234O\\212\\218e\\251\\223\\195\\163\\157\\NAKQ\\GS\\NAK\\222\\220%6\\SYN)R\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\224\\DC1\\144.\\237\\SO\\138\\138/\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"ugqK\\247*cd\\DC3\\189-i\\210\\197\\145\\159R\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\176\\161\\DC3\\253\\132\\ESC\\RS\\137\\EOT'-\\255.\\176Zz\\161\\131\\&8\\FST\\217\\SI\\238\\&2\\160\\248\\239\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\"\\\"NC\\180\\175\\158\\169\\220y\\205\\198\\205?\\\\w\\176\\232{\\230\\SYNt\\SO\\251\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\185\\EOT\\228E\\247\\196\\253\\ETB\\174\\158:\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"Q.\\188\\246\\222\\153\\201\\137\\223\\232\\149\\ACK\\162\\246\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\160\\&5&^\\149l>\\252\\171D\\SUB\\198\\186\\198\\208\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\246\\240\\&6\\196\\188j\\196\\SYN\\DELa\\141 *L\\241\\238\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232d\\NUL\\SOH>\\224d\\227\\SOHC\\188\\193s\\178\\DC2<\\NULQ\\158\\ESCq\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\211i\\163\\170\\201\\176\\229\\131g\\132\\233\\193\\f\\RS\\197\\161\\161\\208\\233\\180v\\147\\248e\\167\\233/\\135\\f\\\\\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\175\\175Ege\\STXB\\245\\&9\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v!\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"8z}\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2K\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"n5\\217\\147\\132U\\a\\173\\130|\\133\\199L\\CAN\\247\\165_u\\151\\246C=`\\ACK\\240\\142\\255b\\STX\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"ap\\219\\&9\\DC3\\ESC/\\138\\199/\\187\\219G\\DEL\\ESC?8$\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\246\\223H\"","tag":"AbiBytesDynamic"},{"contents":"\"kj\\228\\246\\241&~\\145\\132\\176l\\199H\\144=G\\CAN\\155\\226_t3\\136#P\\NAK\\133\\&8\\226\\128\\159\\149\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\152+\\EOT\\164\\255\\138\\132M\\252\\237\\CAN\\239\\205v\\GS\\199\\SUBX\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\219\\FSx\\DC1\\DC1\\228\\205=\\230\\242c\\139'\\177\\243ZU\\167\\131\\227\\202\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DELH\\169\\DC2\\ESCwx\\255\\152\\137\\145\\EM^\\249\\ESC\\249\\226\\233\\FS,\\ENQW D\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\199@\\215\\183OeP\\242\\139\\142\\235\\SUB\\NUL\\FSC\\170\\209\\&2\\EOTh0\\DC2\\ENQt1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204od\\180\\STX\\231%V\\142Z\\DC3v\\165\\128\\194\\&8\\236\\215\\206bx\\194\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\249\\151\\f\\201\\176jB\\177\\223\\DC3>\\SI\\DLEs\\206\\177\\DLE\\155I\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\183\\177\\ENQ\\136}\\202g-\\184RI2\\179~n.}\\b\\131j|{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\176 \\GS\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217-\\228\\f\\136\\206\\240\\&7\\231\\ENQ\\251\\187\\190\\216xy\\a\\187\\195\\215\\GS\\132\\218\\160\\163\\154\\156\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\201\\130\\245\\195\\203QYx.i\\228si\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\250E\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\183\\170a\\160\\ESC\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\142\\230^\\175?H\\217\\\\\\139\\178i\\163\\129\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\159:\\a\\150\\ACK\\161g\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\180\\130}H\\202\\200d\\158\\191\\235\\224\\179\\&3\\202\\159H-ACmO\\176U\\244\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210[V\\GSk\\167l\\239\\EOT\\176\\197LW\\201?\\129\\177)\\191\\151\\138\\166\\&1.Y\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\212}#a\\218_\\172\\163\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\SOHK\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\170\\206\\158\\\\slL~#m\\206\\ETB\\DEL\\233\\193\\248\\129\\ENQ\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\NAK\\FS\\223\\237\\188\\162\\253\\168\\216\\199\\250\\195\\177\\&33>\\232S\\n\\158@\\255a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\&7\\r\\250\\148\\205!9=>\\242p\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\187\\138,\\161d\\214\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172N\\255\\210w\\183#\\189!!\\GS\\141s\\NUL\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\231\\156\\188-0\\171\\STX./\\240\\149\\204\\214A\\217\\SO\\236\\DLE\\171\\&7\\224<$T`\\236\\NAK\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\185/1|\\SYNM\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\ETB+\\153\\241\\NAK\\SUBJ\\180\\181\\255D\\DLEE/\\156x\\212\\220\\131\\219\\254\\203(\\DC2@\\n\\221\\164\\aq\\203\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\249V\\230\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL \\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\169\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\">\\153\\226\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150}\\129\\&5\\189+=\\ETX\\252\\253\\163\\t\\129a\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"4\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\">U/(\\157\\161F;W\\SI\\241\\CAN\\232\\239g\\181\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\152(v\\211[\\a\\173\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\150~\\157\\255\\a.idp\\197\\238T\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\191\\&2\\158\\162\\131\\161p]c\\185\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\214\\153yhG\\160\\188\\225\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\165\\240\\\"%\\189\\\"oy\\223\\ACKYhu\\NAK\\156\\173\\224\\a\\172[\\170\\250t}\\254\\131\\215\\213(\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOO,\\173\\178/v\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\ESC\\ETB\\f\\131\\165D\\250-\\221\\&1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"*\\217\\242PF-\\SUB\\NUL47\\224g\\152\\136\\SOHN\\238\\&5\\\"\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182j\\239\\159\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163qC\\DC1p\\245%\\232\\bA\\236u\\RS\\tk\\215\\134VM\\227S\\212i\\197\\224\\205\\195W\\130\\131>\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"37!\\190n~\\NAK\\172\\248%z!8(\\206\\160PG\\RSh\\DC4\\216\\150\\145\\\\\\US\\ETX\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\138\\222X\\RS\\236\\196:\\249\\248l\\253S>\\153e\\129\\243\\253\\140Qr\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\176\\164\\234_\\STX\\233l\\149U\\NUL\\164\\134R\\142\\&1\\197\\129\\221<\\253\\FSZ\\195\\DC2\\134(\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215p\\252\\237^\\219=\\224\\252\\151\\ACK\\DLE+0\\154\\181\\&7\\209Y\\169\\202+\\145i\\166\\SOXU)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"D+\\128\\138`\\212e&.s\\180v\\207$\\187\\DC4\\141\\243\\240\\225f\\204\\163Ep\\208\\193\\151\\200\\235\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\182\\&1\\190\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198g\\235\\NAK\\140\\217\\158nZ<EM\\t\\SYN\\EM\\186\\137y\\167\\252d?\\169\\173z\\SOZK\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\250D@\\208\\237\\212g\\162*\\171Wy\\253\\DC1&U\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\246(I\\249\\160\\181\\191)\\DC3\\179\\150\\t\\143|p\\EM\\181\\SUB\\130\\n\\195\\193e\\139\\RS;\\158\\SOHp0\\128}\\fP\\137TV\\253#y\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\169\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\150\\212\\177A\\162R\\\"\\147J\\182\\128\\235\\159T\\230\\GSp1A\\192\\203\\216&\\167 \\176vN\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"n\\NAKZ\\205\\SUB\\194`\\186J\\232\\EOTj\\158Mv:\\190\\218\\&8\\192\\f\\STX\\239\\138\\CAN\\194\\244\\188\\150&\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\232\\176\\SYN\\195\\236v\\DLEK,~\\163 \\\\\\248\\159\\202;\\157\\234\\189\\f'\\186\\135Y\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\ENQ\\189\\v\\165\\177\\203\\166\\DC1Ar\\205]7\\202M%\\b\\RS\\206\\f\\175\\EOT\\ETX\\224Yj\\255\\235\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\199[\\160\\226\\162\\190\\DC2=g\\152\\168L\\191\\RSj\\204\\234\\186\\203\\200=\\133\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\178\\DC4y:J\\STX6{\\136\\194\\155`[\\142|\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\151:\\139\\199\\232\\ESC(\"","tag":"AbiBytesDynamic"},{"contents":"\"5k\\146\\133u7?\\GSW:Y\\249\\SUB\\a)e\\239\\162\\234\\156t\\208X\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131Z.\\238\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\212\\DC3P\\DLEK\\219qR\\159\\141\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\160\\173Xi\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\250~0W3\\175\\ESC\\141\\233\\170!\\236\\223\\157\\130\\&5U\\SOH\\f\\252\\EM\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\189:\\134~\\254\\SI!\\EMw~\\EOT\\233\\237\\131_4\\144w\\NAK\\224\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\137\\190vm:m\\174\\135\\187\\173\\175t\\249\\205.\\143N\\NAK\\SYN\\225`\\230}\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\192\\DEL\\197\\228\\&8\\SI\\241U\\185\\234\\204\\244\\129\\225\\f\\SO\\251{\\209\\b_L\\150He\\202\\SUB\\DC2\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"rE\\255\\t\\147\\184n\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\171n\\147+P9N\\tF\\SI\\176d6\\198\\177\\DC3\\181>\\226\\149$\\b\\200\\150\\128\\161BV\\v\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\183\\130\\140\\228\\189_\\192z8\\147\\154b\\182\\177g\\142\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\247P\\193>\\229\\t\\SO\\202$\\173\\233\\220\\212TY\\231.9a\\245&\\211\\146\\159j\\221\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\254\\r!\\212\\b\\187\\211E\\202~\\US \"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\159\\134\\RS\\144\\SOHD\\185F:R\\DC4\\\"\\203H\\165:\\222\\178\\142\\184=\\RS\\151\\234\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"32590898594653078036450009177527446829548613872267283429238850182258336647747"],"tag":"AbiUInt"},{"contents":[256,"53244867236795812509466004430610523915753994847884541433696529045336157051172"],"tag":"AbiUInt"},{"contents":[256,"1517184958"],"tag":"AbiUInt"},{"contents":[256,"87463011638233020850271416827998515634255229582132216649504991347420158021344"],"tag":"AbiUInt"},{"contents":[256,"21110707181243269298777554268929105557309713833017995739945257698194838877972"],"tag":"AbiUInt"},{"contents":[256,"14308732110315674961021598797648595260521570622529200588482942618736560468178"],"tag":"AbiUInt"},{"contents":[256,"91898423307136328105972419968025998047923021245908640774240003804206553204124"],"tag":"AbiUInt"},{"contents":[256,"17941423608921066330392646588726470685156653060989720900524943864519498348402"],"tag":"AbiUInt"},{"contents":[256,"1528252052"],"tag":"AbiUInt"},{"contents":[256,"33497724063355577926129444557830891919249074848982834884906923149405916406388"],"tag":"AbiUInt"},{"contents":[256,"51397999506516687262688239717956945398888017894326029836046462697138886503708"],"tag":"AbiUInt"},{"contents":[256,"93200806051851219317233039704187495663004888928276254907879212985431786587530"],"tag":"AbiUInt"},{"contents":[256,"101570905773497720567900906296686495139895251801089660745266753616054829029901"],"tag":"AbiUInt"},{"contents":[256,"109524347586650524262097440391046734944314579306976344417219256861671941248619"],"tag":"AbiUInt"},{"contents":[256,"1527198587"],"tag":"AbiUInt"},{"contents":[256,"1526981341"],"tag":"AbiUInt"},{"contents":[256,"1534658301"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1533464507"],"tag":"AbiUInt"},{"contents":[256,"99520130516081920485897030523873709546359763618454537993762829404905636910547"],"tag":"AbiUInt"},{"contents":[256,"49836409697316031687457172710410875146242543916321289220838771928269848299180"],"tag":"AbiUInt"},{"contents":[256,"1531913224"],"tag":"AbiUInt"},{"contents":[256,"812"],"tag":"AbiUInt"},{"contents":[256,"97188708998944738546932411743918927642662322772150883604711805449567945229538"],"tag":"AbiUInt"},{"contents":[256,"12200833448632232516699144122290096205563715601216960304369832274968186888586"],"tag":"AbiUInt"},{"contents":[256,"2594940627084553031528754346611176639778661122217081079398214213018552379809"],"tag":"AbiUInt"},{"contents":[256,"70788045465909301702975549098599490147551835147226882112102631248802524879448"],"tag":"AbiUInt"},{"contents":[256,"96846816700909148697905140443232282507996676252855099499755975361763914894792"],"tag":"AbiUInt"},{"contents":[256,"1529462821"],"tag":"AbiUInt"},{"contents":[256,"1533684359"],"tag":"AbiUInt"},{"contents":[256,"6786317021736037136469584540478080781"],"tag":"AbiUInt"},{"contents":[256,"1530535079"],"tag":"AbiUInt"},{"contents":[256,"1530535079"],"tag":"AbiUInt"},{"contents":[256,"37448374555740914044873318694267002320465533056991526265795281350435113245354"],"tag":"AbiUInt"},{"contents":[256,"1531547508"],"tag":"AbiUInt"},{"contents":[256,"54079642486576061898105600258547805222773672377352801314127717586658054524604"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1535076558"],"tag":"AbiUInt"},{"contents":[256,"58490074640391204415381993039758523504322551322854451252828582938997118862007"],"tag":"AbiUInt"},{"contents":[256,"84333632330471861970539532498561279455538282593172679755470879568135388413389"],"tag":"AbiUInt"},{"contents":[256,"67500300793132022901085654757339750439104684679366196054882062768979938507414"],"tag":"AbiUInt"},{"contents":[256,"28714014354230517546454207299461591542114915674413691149238684030509839925545"],"tag":"AbiUInt"},{"contents":[256,"1534780640"],"tag":"AbiUInt"},{"contents":[256,"27732763377940410963428285229295614968665361641433268727621754908453424454152"],"tag":"AbiUInt"},{"contents":[256,"15017381666291913354649222775998324978821995905784477997616238218264318"],"tag":"AbiUInt"},{"contents":[256,"1537644590"],"tag":"AbiUInt"},{"contents":[256,"119812744500764431980041414"],"tag":"AbiUInt"},{"contents":[256,"112853461882831475119917195749543209758317869018313826983328025534050240949205"],"tag":"AbiUInt"},{"contents":[256,"1533440969"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"70815288797252516527415400573251313828875860204341866509695865778508227834189"],"tag":"AbiUInt"},{"contents":[256,"27916047309167983734973316212189327765197436985126418998610336763667080232998"],"tag":"AbiUInt"},{"contents":[256,"80297850088804944813618690531768138897675033983257294766012170827374986450765"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"50910875145725390954180469910624523654363082083869212481122312511863740352572"],"tag":"AbiUInt"},{"contents":[256,"922"],"tag":"AbiUInt"},{"contents":[256,"44248381718131425493387254"],"tag":"AbiUInt"},{"contents":[256,"1529693044"],"tag":"AbiUInt"},{"contents":[256,"68624133042715871435514774064380230991866521978695148627134071026598653810472"],"tag":"AbiUInt"},{"contents":[256,"37755000593301459117575175865461832816208328719483047555549124088107400068610"],"tag":"AbiUInt"},{"contents":[256,"1530007555"],"tag":"AbiUInt"},{"contents":[256,"56887312238747701946917148708533438410575491567498321445065550377414529485096"],"tag":"AbiUInt"},{"contents":[256,"1535716585"],"tag":"AbiUInt"},{"contents":[256,"98717688539117812106041116843303939262480999848347631192867116294487235640960"],"tag":"AbiUInt"},{"contents":[256,"25708467632755029226606127587427903518712128755649768460621785841494411373288"],"tag":"AbiUInt"},{"contents":[256,"60970627077704379457050818642587193358028280563059607693305081760817873552088"],"tag":"AbiUInt"},{"contents":[256,"29135470237256509625238473217285873242271291854746971715027396201025879914314"],"tag":"AbiUInt"},{"contents":[256,"28344369155974797601044292000796071662082837645679508541083705661166920965616"],"tag":"AbiUInt"},{"contents":[256,"1533067990"],"tag":"AbiUInt"},{"contents":[256,"18851420988541780205856348926504984115626950553823493913997816862401303312980"],"tag":"AbiUInt"},{"contents":[256,"1525968366"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"60882229755880961113635719140466505271615679495254137112917207380576403433548"],"tag":"AbiUInt"},{"contents":[256,"76953912349080553444771685789827206991397876765612815952350474424939948029696"],"tag":"AbiUInt"},{"contents":[256,"50075468876840989767277666"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056f94","0x0000000000000000000000000000000000000000000000000000000000000bba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[128,"256775487606617409990125989597291283543"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001e9","0x00000000000000000000000000000000000000000000000000000000000080b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005ee1e","0x0000000000000000000000000000000000000000000000000000000000006fd8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"60211225119979397832133366608554249148626034678292188603719590541744410345841"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028692","0x0000000000000000000000000000000000000000000000000000000000001995"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"98395827358151226693157448418112796071479540870131130762195112730246088066216"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000830e0","0x00000000000000000000000000000000000000000000000000000000000021b3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000023002","0x0000000000000000000000000000000000000000000000000000000000006351"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b2b0","0x000000000000000000000000000000000000000000000000000000000000d1f8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x976E007C011b3Ff6C1f9E2ce946dd396c9d24aBa","tag":"AbiAddress"},{"contents":[256,"12840260347848808631239075930466341001652623606719937103745138372789894318107"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004faa3","0x0000000000000000000000000000000000000000000000000000000000007838"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\255\\244Q.\\171\\148i\\FS%\\n\\DEL\\176\\ETB\\162\\187\\201\\&9\\194d\\228\\a\\SOH\\226\\ENQ\\b\\r\\183\\150]\\n\\178n\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006cf37","0x000000000000000000000000000000000000000000000000000000000000df32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"309485009821345068724781057"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000091e90","0x000000000000000000000000000000000000000000000000000000000000b19b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"1531679955"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000050651","0x0000000000000000000000000000000000000000000000000000000000002364"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f0b","0x000000000000000000000000000000000000000000000000000000000000da78"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000078c78","0x000000000000000000000000000000000000000000000000000000000000bd05"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006db07","0x0000000000000000000000000000000000000000000000000000000000003094"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064706","0x00000000000000000000000000000000000000000000000000000000000001c6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"137"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071c2e","0x0000000000000000000000000000000000000000000000000000000000006388"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"904"],"tag":"AbiUInt"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075a54","0x000000000000000000000000000000000000000000000000000000000000de88"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007a3","0x00000000000000000000000000000000000000000000000000000000000066a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"21392823180170210148375295281271936670275429050098953704814808018332443368606"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001d8b0","0x0000000000000000000000000000000000000000000000000000000000000333"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"408"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005584f","0x0000000000000000000000000000000000000000000000000000000000001876"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]