[{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001153c","0x0000000000000000000000000000000000000000000000000000000000003f7f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"44401981968531451339350384851230885908416635023424738348864994952698507307027"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024533","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"969"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000057","0x0000000000000000000000000000000000000000000000000000000000001396"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e5","0x0000000000000000000000000000000000000000000000000000000000009203"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006fdb0","0x0000000000000000000000000000000000000000000000000000000000008ecf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"24328986838422287659489404450421861681823091854764253772169689494702677643055"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e05","0x000000000000000000000000000000000000000000000000000000000000101e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":[256,"100647942234254584414234328754287145458912837972766904352979354510972894090823"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d42c","0x000000000000000000000000000000000000000000000000000000000000dcc3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"85029271755288493155018810873994463810335319403155490659988286142199823147243"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002e75b","0x0000000000000000000000000000000000000000000000000000000000000320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"w\\nb\\SI \\197\\GS\\178h\\ACK\\190\\227\\SOH\\129\\SOH\\EOT\\214\\f4\\SOZ\\220\\255\\203\\168\\CANu\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\STX\\193\\136\\187-\\167\\&8\\194\\243\\134\\&5\\132\\USC*i\\134\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184v{V\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\223\\ETBY\\255\\230\\233\\CAN\\201\\204b`f\\254x@l\\200\\RS\\250eU\\175B\\176F\\211\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\140\\149\\&4\\188\\EOT\\206;0B\\152f\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193^\\237\\SO\\226b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\236\\144\\131\\195.\\SYNM\\234\\134\\&3\\148\\199n6t\\DC4\\252`\\212\\225A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\196\\RS\\185\\224\\216\\165\\204\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\188A\\183\\128ru(\\235-\\182\\SYN!D\\153\\182~\\128i!\\174nf\\\"\\174u\\141\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Au2\\181\\215tY\\167\\179\\225\\194\\208\\RS\\240`M\\162'x\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\EOT*+i+\\200pn2\\153\\211\\163-p\\\"^P9\\158\\249\\200\\217#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\NAKi\\208\\254\\207\\211b\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133&\\SOx4Z|\\204\\179\\219(.\\USq\\153\\EOT\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Nm\\EM\\209\\170^\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\224\\184/\\245\\211\\\"]\\130\\ao\\140N:\\196\\160\\b\\NAK.\\146\\ENQ\\184\\183\\ACK\\STXt\\130\\SUB\\154\\a\\136\\184\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"w\\nb\\SI \\197\\GS\\178h\\ACK\\190\\227\\SOH\\129\\SOH\\EOT\\214\\f4\\SOZ\\220\\255\\203\\168\\CANu\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\STX\\193\\136\\187-\\167\\&8\\194\\243\\134\\&5\\132\\USC*i\\134\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184v{V\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\223\\ETBY\\255\\230\\233\\CAN\\201\\204b`f\\254x@l\\200\\RS\\250eU\\175B\\176F\\211\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\140\\149\\&4\\188\\EOT\\206;0B\\152f\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193^\\237\\SO\\226b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\236\\144\\131\\195.\\SYNM\\234\\134\\&3\\148\\199n6t\\DC4\\252`\\212\\225A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\196\\RS\\185\\224\\216\\165\\204\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\188A\\183\\128ru(\\235-\\182\\SYN!D\\153\\182~\\128i!\\174nf\\\"\\174u\\141\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Au2\\181\\215tY\\167\\179\\225\\194\\208\\RS\\240`M\\162'x\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\EOT*+i+\\200pn2\\153\\211\\163-p\\\"^P9\\158\\249\\200\\217#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\NAKi\\208\\254\\207\\211b\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133&\\SOx4Z|\\204\\179\\219(.\\USq\\153\\EOT\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Nm\\EM\\209\\170^\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\224\\184/\\245\\211\\\"]\\130\\ao\\140N:\\196\\160\\b\\NAK.\\146\\ENQ\\184\\183\\ACK\\STXt\\130\\SUB\\154\\a\\136\\184\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"w\\nb\\SI \\197\\GS\\178h\\ACK\\190\\227\\SOH\\129\\SOH\\EOT\\214\\f4\\SOZ\\220\\255\\203\\168\\CANu\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\STX\\193\\136\\187-\\167\\&8\\194\\243\\134\\&5\\132\\USC*i\\134\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184v{V\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\223\\ETBY\\255\\230\\233\\CAN\\201\\204b`f\\254x@l\\200\\RS\\250eU\\175B\\176F\\211\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\140\\149\\&4\\188\\EOT\\206;0B\\152f\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193^\\237\\SO\\226b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\236\\144\\131\\195.\\SYNM\\234\\134\\&3\\148\\199n6t\\DC4\\252`\\212\\225A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\196\\RS\\185\\224\\216\\165\\204\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\188A\\183\\128ru(\\235-\\182\\SYN!D\\153\\182~\\128i!\\174nf\\\"\\174u\\141\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Au2\\181\\215tY\\167\\179\\225\\194\\208\\RS\\240`M\\162'x\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\EOT*+i+\\200pn2\\153\\211\\163-p\\\"^P9\\158\\249\\200\\217#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\NAKi\\208\\254\\207\\211b\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133&\\SOx4Z|\\204\\179\\219(.\\USq\\153\\EOT\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Nm\\EM\\209\\170^\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\224\\184/\\245\\211\\\"]\\130\\ao\\140N:\\196\\160\\b\\NAK.\\146\\ENQ\\184\\183\\ACK\\STXt\\130\\SUB\\154\\a\\136\\184\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\f\\137L\\182#\\255@\\241\\255\\&0\\193u\\182\\217%\\163Bu\\187\\166\\252\\221\\214\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS2\\242\\193\\225\\195\\210\\&0\\133\\142pFr\\182\\195\\246\\190\\194=\\235u\\194\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155R\\US@\\134\\175\\158~1y\\DLE\\EOT\\242\\162n\\203D\\201:P\\ETX\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\t\\153\\\\\\133\\164\\128\\186\\183w\\169l.;\\171\\SOH\\241\\139\\180\\206\\&5\\168\\184\\DC2\\248\\164\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\207\\194FV&\\136\\r]c\\253\\\\\\221\\170\\147\\212\\FS\\210a$v\\181\\DLEz\\204:H\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\152r\\STX\\ESC\\SOHY\\211\\169\\247O\\150\\181\\225\\181\\149\\EM\\STXg\\219c\\213Na\\139\\145\\ETB\\154\\231\\136\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\169\\141\\179\\139(\\141_\\145\\153\\218+{\\r(B\\245\\rz\\DC4+HK\\207\\217%\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\197{\\222'G\\STX}\\225\\164\\161\\DC1\\252\\207\\&1}\\DC4\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\168OW\\218\\224\\158\\169\\181D\\222T\\200]I\\162t\\DLE\\176\\\\\\130RD\\157\\NUL\\191\"","tag":"AbiBytesDynamic"},{"contents":"\">\\255\\214\\ESC\\229\\229\\226\\187\\165\\154\\229\\236\\DC1\\ACK\\247+\\137-\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CANiC\\DC1\\140Ox6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\159>CRUK\\235\\254\\148(\\\\m\\DELSr\\\\g\\230\\175rt|\\181U\\190xTR\"","tag":"AbiBytesDynamic"},{"contents":"\"]>\\EOT\\160\\202T\\181h\\183\\144vv<\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\152\\&1\\251Aq2\\156\\221t\\171=E^\\155\\242\\169\\179\\128+\\DEL\\EMm\\180z/\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185c\\157\\177\\202!\\STXn\\132Dtf\\147_\\233\\SOH\\NAK\\166C\\131\\a\\230\\NULD\\NAK\\147\\189\\243\\205\\129\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\143\\tn5\\151\\151\\241\\DC4\\234\\151\\252\\b\\223\\235\\145I\\142\\&4\\241\\187\\175K\\\"\\175h\\ESCN\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\188\\240\\147\\154\\176\\211\\ETX\\133\\&3\\238\\201\\199?\\169\\165\\EMci\\183]\\164\\246\\186(\\237\\163\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132_\\SI\\163\\152\\153\\199\\200 2\\t\\147h4\\139\\ENQ\\v\\228\\160\\221zp\\222\\196\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\249m\\254\\177>Ga\\182\\221\\&8\\251,2\\158\\246h\\a\\176\\188\\EM\\186\\248\\229\\240\\156\\145\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\DEL\\195~o\\252\\SO\\214_\\a\\179\\244\\&8\\233VQ\\145\\SOH\\187z\\ETX\\179\\153\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"Z{\\144\\n\\CAN\\US\\DC3.\\178o\\214\\NUL\\163\\192\\185\\243\\246\\212j\\148X\\155\\v\\164\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"PNK1\\206\\b_;n\\150\\CAN\\219\\DC1\\254\\152T\\NAK\\162M\\250R\\139\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162['\\243=\\142 p\\222\\171kr\\212\\&65+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\179\\\"\\167\\NAK\\rV\\208\\186\\191\\&3\\141\\184U0\\DLE\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\255\\ETB]M\\195\\140\\233\\NAK`\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218c\\241Am\\186q\\172!\\223\\&3\\254\\ETXk@\\135gs\\198\\206\\139#\\ESC\\161\\147[\\ESC\\SI\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\STXbs\\228\\211)'\\\"!\\a\\SUBT\\173\\b\\212\\158\\205~\\n\\192d}Y*\\253B\\181\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\141\\167\\t\\227\\148\\SO\\131\\242\\232\\\"\\220\\&5d\\247\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"63238699130477461862734814954729606558481910639061340466835358921079303139215"],"tag":"AbiUInt"},{"contents":[256,"5677696696354231614470196803216765541961902505022968549424883455984299464278"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638933"],"tag":"AbiUInt"},{"contents":[256,"865"],"tag":"AbiUInt"},{"contents":[256,"82696700689375876386006099834379775484765843131100654780797193210811214110794"],"tag":"AbiUInt"},{"contents":[256,"51917474025444634297677413268708627741486557975594281727341203110747955156936"],"tag":"AbiUInt"},{"contents":[256,"17750272182437505803350373597808750614620116450127094734848935724140194256018"],"tag":"AbiUInt"},{"contents":[256,"4078518010697555704304604009545257146425462509143138388358275282133"],"tag":"AbiUInt"},{"contents":[256,"92204846540839106704724006345830463990489609082649522322235847988835549176670"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"70385316573229776446593733939173834100917404813602026534947913160960973072009"],"tag":"AbiUInt"},{"contents":[256,"1530627691"],"tag":"AbiUInt"},{"contents":[256,"85927995845007931977854243908002498033845847197554883858243028736505739682127"],"tag":"AbiUInt"},{"contents":[256,"91128580884399753579888526070251363297886240898162157818226975004676042959831"],"tag":"AbiUInt"},{"contents":[256,"120508255068694087436446837367939817"],"tag":"AbiUInt"},{"contents":[256,"111725978947117334316149484530438448501623752181927019161895832242109674445259"],"tag":"AbiUInt"},{"contents":[256,"1529263265"],"tag":"AbiUInt"},{"contents":[256,"29285765569866533776267434001717996195249608566131122020649840830681463592446"],"tag":"AbiUInt"},{"contents":[256,"74651811467078742153326722334866080412899221436865776832589631113375394732574"],"tag":"AbiUInt"},{"contents":[256,"112805723634696272540262871858060685498255001053880676578103558287676385100382"],"tag":"AbiUInt"},{"contents":[256,"1526629843"],"tag":"AbiUInt"},{"contents":[256,"40188188712487601338927328521439209576384484146510663597277695311520117720366"],"tag":"AbiUInt"},{"contents":[256,"51294467311019379085005175608532585212165534647241263596982450040396259640429"],"tag":"AbiUInt"},{"contents":[256,"106956025268788186527530690518033771260057964202657773601896166927456898265389"],"tag":"AbiUInt"},{"contents":[256,"64769646970447014836599111324072139073623400609335300615071215027026548995525"],"tag":"AbiUInt"},{"contents":[256,"544"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417347"],"tag":"AbiUInt"},{"contents":[256,"72638445160159726927491813847258094821408071343244360212180666109693019936360"],"tag":"AbiUInt"},{"contents":[256,"1533186503"],"tag":"AbiUInt"},{"contents":[256,"102150885307272283370397839766346122968219194617972432271660945394232153664575"],"tag":"AbiUInt"},{"contents":[256,"11694772535542773534862620986116777927437772667360554634039866303477862495660"],"tag":"AbiUInt"},{"contents":[256,"14242491740309851668850265898893825494914176002932605524479993772141645348369"],"tag":"AbiUInt"},{"contents":[256,"55787838890169331453708885591250281279471935357248562489139674165207924317307"],"tag":"AbiUInt"},{"contents":[256,"1527778069"],"tag":"AbiUInt"},{"contents":[256,"81877138712130565488306680097467847936930896928060968450715472659774729144139"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"56"],"tag":"AbiUInt"},{"contents":[256,"1533186503"],"tag":"AbiUInt"},{"contents":[256,"68087423418710872231870179501012683921913908318532182217263817350429057078253"],"tag":"AbiUInt"},{"contents":[256,"55601648054753992085769552399628253184881128364456127930633648764382908473203"],"tag":"AbiUInt"},{"contents":[256,"79789633152129001274054129402700609740978740942907334590988441434715795018025"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030334"],"tag":"AbiUInt"},{"contents":[256,"55573115447094530432240400699906991755176566935130276354998448302631230936340"],"tag":"AbiUInt"},{"contents":[256,"1528360222"],"tag":"AbiUInt"},{"contents":[256,"499"],"tag":"AbiUInt"},{"contents":[256,"112943319398566884945082103432531492698624302053585458245386552725418751822623"],"tag":"AbiUInt"},{"contents":[256,"339232425219740014"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222593"],"tag":"AbiUInt"},{"contents":[256,"104"],"tag":"AbiUInt"},{"contents":[256,"92493231144019714646484989521192410682933453840409293798848569684389050666877"],"tag":"AbiUInt"},{"contents":[256,"106125455428662794447455297116664919772654661783309997138505016818224672781927"],"tag":"AbiUInt"},{"contents":[256,"1533263486"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1527896858"],"tag":"AbiUInt"},{"contents":[256,"1532762900"],"tag":"AbiUInt"},{"contents":[256,"1525877756"],"tag":"AbiUInt"},{"contents":[256,"1525877756"],"tag":"AbiUInt"},{"contents":[256,"1525877756"],"tag":"AbiUInt"},{"contents":[256,"82575782227293595937122640374511611341860037513800009049119857569939281923262"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"376"],"tag":"AbiUInt"},{"contents":[256,"28940804225819857606037824309456374281646866321092783206208738162113468928924"],"tag":"AbiUInt"},{"contents":[256,"257"],"tag":"AbiUInt"},{"contents":[256,"86429443893823055463982629383929144761672515257242784269181843092842999043363"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"231"],"tag":"AbiUInt"},{"contents":[256,"111881328094589478045627116434214850299432132480068092975841627907267083415252"],"tag":"AbiUInt"},{"contents":[256,"24940241664287519879197447866991659200092323705017253691727926253637281829331"],"tag":"AbiUInt"},{"contents":[256,"1554283434462860748055396"],"tag":"AbiUInt"},{"contents":[256,"102832422652551588576974411453838350321848535456712906118949494911344882782042"],"tag":"AbiUInt"},{"contents":[256,"31939771860295384961094717008005479228322153932548542501303462639403137196364"],"tag":"AbiUInt"},{"contents":[256,"44577010719287013718384974766429119850828795831051992178741309834089741105108"],"tag":"AbiUInt"},{"contents":[256,"44577010719287013718384974766429119850828795831051992178741309834089741105108"],"tag":"AbiUInt"},{"contents":[256,"44577010719287013718384974766429119850828795831051992178741309834089741105108"],"tag":"AbiUInt"},{"contents":[256,"44577010719287013718384974766429119850828795831051992178741309834089741105108"],"tag":"AbiUInt"},{"contents":[256,"44577010719287013718384974766429119850828795831051992178741309834089741105108"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"91108397663794806968828646848690598343402421748762692888887887161520305830503"],"tag":"AbiUInt"},{"contents":[256,"29535914573047519935163303607118233410478979884275731809960368941972774759686"],"tag":"AbiUInt"},{"contents":[256,"1528147914"],"tag":"AbiUInt"},{"contents":[256,"37162128923337612108672551626535347300583692562445060014804609530217460520094"],"tag":"AbiUInt"},{"contents":[256,"37928490769654705080479706490303675824089940393942047938249744345159243412966"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e13","0x0000000000000000000000000000000000000000000000000000000000002321"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"93732700870842546117754240343921568183002310902162449709302316746002994064140"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001187","0x000000000000000000000000000000000000000000000000000000000000000c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\147\\239y\\150U\\220\\179\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\253\\154\\200%\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"* \\219\\132*\\237J\\DC3\\172]\\193(K\\SUB\\174k\\157\\231\\181\\242\\208:\\ACK\\134o\\180!W~\\247&\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\&0\\ETXA\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172F[8\\NAK\\EM\\247'i\\ESCS\\221\\143\\251\\138\\205,*\\SOH\\184\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\172'N\\136x\\202\\ACK/W\\136\\&4\\226\\176]\\ETX\\204r\\155\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\249\\175u\\155\\206\\160\\152\\DEL\\219\\151~\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"4v\\241m\\255\\US\\164\\ETX\\143\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"9r\\EM#\\SYN._r&t\\254O'\\DC3\\STX\\149*$\\179\\162-\\241 F\\190\\193\\234e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190w\\221V\\DC2\\198\\197\\131\\153\\250hJ\\195\\195D\\227\\196?uf\\154\\DC2\\167\\178\\NUL\\140H\\ACKP$2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152:>\\242\\ESC|$@\\131\\251\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\207\\144\\238\\146:L\\NUL\\165\\142\\243L\\247\\205\\173\\156\\136\\235g\\146\\n\\GS\\227\\143\\SYN\\223\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\183\\185o\\180\\214<\\132\\139\\194Q\\202\\235\\193\\&7\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"'a\\212\\234\\179\\136OI\\232C\\179\\175\\196L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205H\\190K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171GUI\\216\\136H\\DLEz\\228\\a\\188\\153\\250C\\190\\164\\223:\\154\\&1\\250\\157\\136\\193\\190\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"9[y>\\229\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SUB\\183N\\255\\149\\176\\&0\\203\\ACK\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\129Z\\a\\178\\130\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\ESCT}\\182\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\128&py\\ESC\\204\\235\\190\\ETXb\\168\\202hp\\181G\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170w\\159z\\218\\187G.l\\CANa\\NAKJ\\157\\227\\155\\254\\230i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\245\\193\\245\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247Y\\DC41\\192\\169\\230a\\172\\227\\211\\206v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\159\\255\\192\\215\\251\\241\\161\\173\\247\\195\\255QH)\\147\\147\\218\\176\\DLE~\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\147tK\\237\\236Zz\\202{\\180\\227\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214if\\214\\130\\155g\\CAN\\243\\135M\\134\\192\\bq\\133\\\\\\173\\145\\211}\\DC2M[N\\188\\160\\152J\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\246O\\FS\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\174\\DC3\\\"n\\208\\241d}~\\205\\&4R\\250\\b\\171r_\\141Y\\187\\201\\DEL\\aCbU \\223V\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\EM\\152A\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"~-\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\248P\\DC42\\t\\DELW-\\253\\137\\208t$\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"8sk\\215L\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\184\\150Uu\\151_\\t]\\183K4\\166\\234\\161\\SUB<E\\SOH S\\238\\r\\201W\\175\\141K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\192\\195\\130\\217\\230\\&8\\SUB\\182L\\158\\141\\241\\252\\t\\SO\\218\\244\\200\\n\\207\\167\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\167b6\\191\\153\\nG\\ACK\\242Y\\198;!<\\ETX.\\159\\166\\n\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\174 =L6\\253r\\SOHs\\ENQ\\ACKr\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\b\\206\\EM\\128\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\153Nj\\130\\145h$\\SO\\234\\ACK\\209s\\152\\&4&\\ETX\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\233\\162S\\183C8\\148\\255y\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\v\\178\\229\\220\\204Yw\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\SI\\203\\201 \\153\\&0\\DC2\\174\\148\\132eA\\200\\DC4<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\186U\\136\\&91 k\\STXa&\\145(:\\229\\DC4Z\\157\\240\\232-n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\177y\\229\\129Y\\ESC/k\\163\\230\\193\\141\\DC1\\237\\196\\ENQ_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\177N\\132\\172\\164W\\242\\195\\&1'\\181)\\210B\\146\\255\\143\\230s\\211\\163\\137\\205\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188>\\173\\223\\193\\225>\\192\\&9\\150\\STX;\\191~\\163\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\CAN)FRKW\\161Q\\234\\227\\186\\156\\188\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246;\\214 \\212Q\\206\\204@\\222KO\\193=F\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\NAK\\225W\\196\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\209?d\\v\\196\\DC2\\167\\235\\157Y\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\SYN\\173CA:'\\147\\242\\181\\212\\r\\211\\191\\190P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\233\\230\\165\\DLE\\SOH(<!\\253\\132\\&3`D\\221\\255\\166\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176#>m6\\ETB\\140\\166.\\ESCx\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\DEL\\DLE\\171Nu\\160u\\217s\\174\\&66\\159\\141\\238\\144\\240\\&0>>\\249\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216Z}\\238\\154k0\\DC4&\\SOH\\186\\194z\\ACK\\144Bi\\158}\\149\\SYNQ\\EM\\129\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\242\\152\\SUB\\179{\\STX\\130\\254\\162\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\131\\DEL\\163\\r\\234H\\237\\181\\216\\168\\183\\190b\\225\\SO\\201\\193L\\206/\\138\\173d\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\&8\\166\\186[\\FS\\233\\SUB\\219\\186L'O0\\152\\243\\222\\134ph\\RS_\"","tag":"AbiBytesDynamic"},{"contents":"\"9c\\131\\ETBn\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\ETB\\241\\167c\\245\\167`R\\f\\199\\165\\221x\\US\\225_\\167\\144\\150\\f\\249X\\222$\\216\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\187\\147\\205\\194\\233\\138F\\249\\228g&lFb\\170\\186\\209\\\")S\\192\\\\K\\137g\\248\\239\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\252\\EM\\t\\\\([\\166r\\134/\\RSC\\209 \\221\\&369M\\146\\DLEH\\131vi\\144#\\192+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163+\\208\\239+\\189\\238\\166\\172\\SUB\\128\\239\\SYN\\243L\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\161\\172\\150\\240\\EOT\\ACK\\168\\217\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\202\\186\\ENQ\\144\\148 p\\241\\227o\\b\\150\\US\\224\\214Q\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\248\\164\\&8\\US2=\\CAN7\\198\\182\\SO\\212V)\\129t\\176+\\DC3\\\\Iv\\164]\\175\\131<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\205\\129\\ETB\\157q-\\133@\\DC1\\129\\NUL|w\\179B\\204\\&1\\198\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\135\\DLE\\ETX \\166\\219\\184\\195\\DC3\\209\\205j\\\\=\\RSN\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\238W\\163\\254\\199\\198o\\136\\SUB\\US\\217K\\177(\\191\\240\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\213\\188\\DC4\\161*\\188;!\\153?\\175\\251\\155\\197R\\184\\149\\230\\248\\235\\DC4R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229B\\171\\235\\176cc\\170\\177\\&9\\238\\207\\145gfW}\\201@\\233<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\141\\166\\220\\&5\\204\\224)@z3Qz\\219Y9\\133\\158|\\206\\211\\197\\143B\\157D\\246\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\193\\129\\175\\&2#\\165\\DC12\\220FH\\232\\167\\195\\232l\\re\\203\\224\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194h\\240\\157\\205<\\251\\129\\180\\DC2\\244\\n\\208z) \\132\\214cn\\fk`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132KY\\199\\163\\rZ\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\176\\n\\254\\157\\SI\\196\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150(\\155\\147\\ACK\\186\\245\\vS\\180+e\\\"iGk\\130\\199\\229\\134\\192\\&0\\ENQ\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"xq\\170\\168\\rh\\247[\\n\\173\\GS\\235g\\DEL&\\bvv\\177ZB\\223\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\158';I\\175<\\163\\DLEa\\250M\\\\\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\251\\240 \\198Q\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210MY\\160\\134\\210\\198qo\\217\\189-,Z\\230!\\r\\247\\231\\196\\198\\DLE\\154\\205\\206\\n$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\164E\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\146\\145\\194\\170\\197\\161\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\159\\231\\195\\165N,:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\230[\\242&\\\"@\\219\\201F\\v\\171\\207\\152\\133\\135\\198\\168\\180\\199\\203\\DC2\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\237PX#\\199c\\169o\\142b\\nL\\253\\&0\\213\\213a9'1\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146'\\ESC\\223\\149\\DC1>\\174B\\237L^(cz\\130{\\147\\222j\\255\\211>tP\\NUL\\132K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\232\\251\\ACK;\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"^J\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\178k^\\RSg\\217\\DC4\\CAN\\149\\154\\226\\ETX}\\203\\224\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\171\\178\\237\\232,\\DEL\\206\\135`\\169\\ESC\\v\\ESC\\238\\160\\222\\DC2\\251A)=\\DC4\\SI\\171\\204D\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\161\\201\\159M\\217\\238\\138\\233T\\ap\\182\\230\\DLE\\162v\\DEL\\206\\STX+\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\233\\149!SaN(\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\GSF\\226\\\\\\151&\\224f8\\207O^\\DLE\\129\\DC1V\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\199\\243\\RS\\220F\\ACK\\SOH\\248P\\193k]yU\\160M\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236-5 \\152Zr\\236\\151Z\\r\\159wiRoX\\158\\\"\\201\\192\\136\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205[N\\CAN\\148y>\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"2v\\SO+\\206}f9\\168\\172\\250\\&3\\206\\177uiy\\150M\\\"\\129s\\167\\238I\\NAK\\178\\249C\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\203\\139\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\NAK\\181\\142^\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\189<$\\131\\&9\\235=\\233\\224F8l\\252\\DC2\\v\\DC4\\186\\197\\215\\155S\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"H0\\201\\212#\\236\\ESC0 \\255\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\201\\160\\169\\223G;\\137\\135f\\173&q\\169I<\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235w\\236\\SYNr\\159\\158\\172W\\203\\EM\\160\\GSJ\\156\\217\\130*\\210\\214\\174QH4\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\CANS\\251\\174\\160gx\\222\\205\\225~\\225\\ACKt\\207\\255`\\208'\\EOT\\145\\&4\\163x\\141\\186\\193\\210\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\NUL\\128\\255\\tw\\136&\\218\\211\\215\\255\\&5)\\SIIy\\209\\GS\\DLE\\161\\249\\230&.\\175\\223\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\154\\174\\252G\\SI\\EOT]\\144\\170\\GS\\EOTh\\201\\198\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL]9\\208\\132\\172\\DC2\\ETX\\253hy\\245&\\242%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\212\\209\\143\\254\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\252\\246\\166S\\162\\144A+\\187\\re\\144 \\166\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\169n\\229\\r\\144X\\155\\191\\162\\223RL\\191U\\236\\212\\SOv:\\162j\\f\\220\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\141-\\EOT\\173\\230\\155\\164\\247\\&3W\\NUL\\\"\\ACK\\247\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\182\\138\\136\\STX\\194\\STX\\ESC\\232\\152\\EOT$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\190\\194\\f\\GS{\\EOT\\EMKR\\251\\178\\SOH\\205\\176\\155\\146A\\166X\\151\\150\\ENQ\\SYNM0[\\157:\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\246\\242\\232\\161\\n\\GS\\\"VW'\\154(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\240O\\157T\\144\\157\\186\\201\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"g~\\ENQ(\\232\\184\\DC4\\151\\176\\SYNx$\\n=a\\197\\134\\250\\tP\\194\\223\\225\\154\\159r\\147@\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\SUB\\223\\188\\237i\\149\\247\\213\\141\\DEL\\241\\EM)\\169\\&3k\\231\\211c\\147\\SUB\\244\\DLE\\128\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182D\\NULtI\\147\\171Uy\\232\\139\\254Iw\\175\\169\\238s\\153@\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\",\\240\\155\\140\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\197\\202\\129\\165\\168i\\239\\151\\205\\nq1\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\149^\\156\\175+\\210\\221h[\\146\\DEL\\246\\142\\237)\\240\\166\\199\\SOH\\177[\\153\\NUL\\211\\FS\\146\\&4\\175\\157\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182[L\\223\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168fBQ4\\190\\183\\EM\\207\\151MJ&\\DELY(I\\130\\ENQ,\\EM\\a\\STX\\v\\251\\190(\\ESC\\234\\135\\226\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\255\\EOT\\152`\\SOHW\\152\\246E\\171\\&5\\245Z\\154\\204\\a\\163\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\170\\181&\\157J\\172\\221^\\237\\231\\181\\178\\&7\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\248d\\163)\\133.\\a\\218\\CAN\\218\\163\\CAN\\157s\\NULv\\NUL\\220\\176svY\\230\\FS3\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169g\\148\\222\\\"]\\197dUF\\SUBC\\201\\204\\154%\\230\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\C\\247\\173\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\ETX\\DLE\\250\\181\\NAK\\239\\156\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\227\\245\\133\\US\\246\\EM\\236\\252\\145cy\\NULA\\185$\\DELHg\\DC2@\\ENQa\\DEL\\207\\203\\247\\RS\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESCh\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"MJs\\203\\130\\GSN\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201]\\217\\244\\143\\179b\\229M\\182\\135\\248\\227\\198\\170Hse\\194\\\"Q\\217)\\ENQfi\\GS\\200Lu\\211\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\139S\\US&\\141\\128\\233\\237\\135U\\DC1?)\\198\\SYN\\\"\\146u\\143\\DC3\\ETB\\192\\155\\189\\243\\ACK\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\246Q\\200\\133x\\178\\&5\\185nr\\132\\b\\SUB*\\138R\\155\\\\\\170n{}\\\\n\\169I\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\203U\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\t_$j\\r5\\ESCI\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\&4\\203;?\\198%\\161\\166\\DLE_\\DC1\\203\\183b\\150\\v,\\139A6\\ETX\\239}\\239\\143\\212X\\226\\220\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\130q\\160\\145\\STX\\239\\199\\DC2\\249/\\SUB\\248\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"QJ\\ENQk\\154\\210\\149\\154\\155`\\\"Mj\\212\\186h\\203\\142\\138\\154\\GS\\140.\\233\\&1z\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\254\\252:\\188\\240\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\144\\157t\\201p[\\150\\165\\192\\\"S\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\247\\206\\229\\NAK\\221\\192T\\183g\\251b\\153\\138\\181Z\\249\\SYN\\CAN\\137\\223eCQS\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\\"G\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\254\\SO\\209\\165\\179\\DC3<\\EOTH6\\202^4\\248J\\EOT\\163\\150\\253?\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140|\\226\\252'L\\214\\156\\DC2<\\CAN\\166\\&0\\208\\220\\239\\&9v\\r\\EOT\\179)\\\\\\243.\\234\\236\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\224\\166\\230\\132SSI\\203\\208\\160y\\ACK\\DC2gr\\160\\184\\149\\155\\207\\174H\\156\\EM{^\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\\\\\191\\254\\195%n\\197m_\\195\\237\\230]TS\\USr\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\a\\218\\128q1\\152\\SOH\\147;b\\155\\DC2\\163O\\ETB0,\\235\\224\\184\\&2\\167J\\158S\\154\\SO\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\178\\SYN\\157\\157\\181\\255\\210\\157\\182\\142T\\132[\\rv\\171>\\211\\194\\RS\\204\\138\\132:\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\237\\220\\148V$w3u2\\245\\243\\235\\nX/4\\216\\154[~~3\\246\\205\\232\\245 \\ESC\\205\\253p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\218\\244\\215Lo\\195\\143\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\186\\STXp\\135~\\SO\\220{LP{\\\\H\\252\\222x_\\a\\249\\b_\\212W\\189K\\155ag\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\236|I\\223\\241A\\129\\135\\189D\\203\\241!L\\138\\t\\DC4\\239\\201\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHUtf\\ETX\\167Xc'|\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\145}\\208\\189wph6\\ENQ*\\212w\\197\\197?F\\194\\241m\\EOT\\206\\NAK\\239\\246\\236\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\163\\145\\GSB\\139y\\183*\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253Q\\233\\190\\SUB\\225\\177\\202h\\143 \\203\\185V\\202\\161\\220\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\202\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\245\\166\\198\\170\\CAN\\148\\129QRqo({\\132~\\244\\174+\\203On=7\\213\\194aI\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\165\\210\\180\\209\\173\\164\\197h\\167)\\180%7\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE^\\158~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQl\\236\\137\\133\\190\\184\\155\\187\\135\\224\\&6\\139\\146\\228\\EMFi#\\EOT`\\188\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\178\\140\\179\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"d\\135\\179\\&19:\\210H\\150T6oxUU-\\154%\\NUL\\252\\139\\199\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\225\\ETX#\\195\\221\\245Crcf\\158p)p\\218\\DEL\\203\\254\\152\\FS\\a(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKU'\\242\\174\\SUB\\\"Zl\\226\\&8\\217\\&2m\\252\\185\\SOH\\230\\207\\198\\150/\\144L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STXV\\210\\162\\RS\\222\\162\\255<\\ETB\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255-\\180\\254E9\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\ns\\159\\221\\DC3}D^\\tG\\t\\230\\206\\150\\139\\147U\\157&K\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\138\\137\\DC4h.A\\220\\209\\138\\233\\144\\240r\\SUB\\146\\DC2\\238\\179\\186D\\195)a\\ACKu\\168!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\237\\220\\155\\216>\\207\\&3\\160W\\184E\\235\\194?A\\180\\STX\\194\\234c0\\231\\186S}\\129\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\252\\162\\138\\fW\\nr\\ACK\\168Zf\\161:Q]\\197\\&0pF\\220\\v#\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\227h\"","tag":"AbiBytesDynamic"},{"contents":"\"vW\\176\\165\\f\\134z\\128i\\132u\\ACKu\\156\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\254|)\\DEL\\159q\\203\\254\\SOH2\\141LT\\152\\230$tY\\RS\\137\\157\\198\\171;\\184~\\241\\168\\&5\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\204\\218\\199\\135\\230.:m\\230c\\148\\254nd~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227e\\t#\\203Y\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\241z\\189\\&6M.\\192\\133\\188O\\STX\\\\o[\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\228\\206yz\\180\\240\\135i\\248\\239\\215\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\164\\bf\\b\\\"n\\128\\251\\161\\237D\\159\\&6\\186aOo\\DC20Z\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\EOT\\\"\\SI9@l$\\238\\SYN\\195\\240\\190D_\\209\\157\\243\\DLET\\US\\CAN8\\161\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\225\\ETB\\146\\219\\132\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\250Uuj\\CAN\\206\\184\\244\\130\\225\\130\\&4+\\244\\\"\\SI\\183S(I\\205M\\204\\149\\199K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167h\\182P\\166x\\155-\\155\\167\\170\\225\\252\\f\\208\\155\\213\\182\\CAN\\DEL!\\229\\229n\\STX{\\152\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159PaT\\\"r\\255\\248\\DLE\\SOH\\249\\202\\241\\161\\221\\&9u\\205\\134F\\bB{\\247k&S\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\223\\241F\\215\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\142\\139B\\167\\194<\\141H\\150|Z\\236\\204\\fO\\FS\\134J\\172%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\r\\228\\136\\179\\233/\\136T\\191.\\213;\\153\\147\\DC1\\208\\137\\172gs\\137k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\216\\DC2\\136\\180_\\154Y\\ETB\\234\\239r\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\215E\\234\\147\\DC2\\208\\tM\\FS\\162\\214\\NAK\\135\\221\\199IFW(\\222m=\\223\\180#\\200\\FSe\\245\\129\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"W^\\142\\178B\\149\\237*\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\223'\\r\\SOH\\220\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\246X_/\\223\\242\\253\\151\\141\\f\\SOH\\241\\206\\238*1\\242\\158\\230\\&3I'g\\139<]a\\214O\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"p|x\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\170\\GS\\240NO\\132\\172\\197\\242bp\\184H\\191\\173oO\\226cL\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\239\\253.4P\\178\\233G\\166cU\\243\\188\\143Y\\DC2W6\\141\\136\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"8q3\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\185\\ENQ\\167\\210#\\148\\&1f\\220\\ETB&\\158\\143+t\\162\\212D\\218\\128y\\166\\148\\152\\179\\ESC\\222\\215t\\250G\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\247\\176\\243o\\ETX\\175\\r;j\\244\\175\\138Q\\DC4\\ETB\\242P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3ssV\\245!\\240H\\DC1\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\b\\166\\211\\254\\163\\248\"","tag":"AbiBytesDynamic"},{"contents":"\".vP\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"N\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"=F=\\244\\138\\\\\\133\\180g\\ACK;1\\202\\185\\172\\152\\144\\145\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\DEL\\227$\\197p\\146\\143`<\\213\\SUB\\149V\\157\\210\\&0\\188U0\\190M\\137MKb\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"L:\\196\\238Y\\DC11\\145pv\\246q\\184\\145\\171-\\NULj\\130\\191\\214C\\141\\DC3\\246Q\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187sP\\169f*\\144*\\203\\&5'\\DC1\\240h!\\DC2\\151\\209\\229\\US\\171k\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\202\\NAK\\135\\165G\\EOT\\195;\\206\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\236\\CAN\\184Z\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229t\\251\\200\\132\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"x\\225KW]\\149\\216Y;\\162\\v\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\SO\\179e1\\189\\196\\224\\DEL5\\DC2\\144\\&0\\205EK\\EOTX1\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"6OW\\146\\DLEy\\ETX\\226g3\\150\\143\\143^Qv\\170\\165\\241\\&1\\156\\&1\\216\\147\\232'GAj\\235s\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\234\\151M\\DC3?G\\SYNg\\139\\153[<\\245\\184I\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\221\\174\\254K\\no\\ACKR\\218S\\181\\169\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\ETX\\172llk&F\\232\\237(1\\181x\\142\\141|x\\ENQ\\207\\194*\\195\\198U\\US\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\238\\190'\\189\\&8B\\FS\\162\\227\\SO\\225t\\141\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\149\\219X\\225\\157#\\r\\172\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\250\\208\\228}\\221L\\149a\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230N\\182\\234$+f6\\151\\155\\212Qs\\129\\246J\\250\\154)n0\\SIB\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\DC3j\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194_\\225\\EM\\RS\\225\\200*]\\164\\199(5D\\240\\SOH\\213\\176~i\\162\\166\\137\\210\\&8y\\187\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\STX\\220l\\199\\CANfF\\193e\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\156\\148\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\153#\\179\\139\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\202T\\145\\165\\242St\\164 \"","tag":"AbiBytesDynamic"},{"contents":"\"I\\152\\192\\240\\247\\ESC\\169x\\234\\247I\\156\\130\\EM8\\218B\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\219\\196X\\196\\176\\SUB\\ESC>I\\231\\134\\EOT\\175r\\250\\233\\173\\155\\250@ST\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"R\\157P*\\ETB\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\SI[\\240\\b\\156\\207\\ETB\\182\\155\\248\\157L\\254[\\215\\182@\\174QY\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"_<\\FS\\195\\151\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\158!\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\182\\&5\\229\\174\\bS\\237\\230\\239b\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\RS\\255\\228~\\207\\EOT\\150\\255\\137\\246UO8\\\\\\142\\180\\a\\205z\\SOD*\\179\\240\\\"\\216N\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\230\\193\\169l\\n\\225\\154\\DC2\\154!\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"4g0D\\b\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Q<\\161\\245\\&9\\EM\\DC4\\ESC\\200}\\NUL\\a\\ACK\\teM\\SYN\\GS\\a/\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE;\\178\\158,\\198|\\240\\140\\197\\174Vp\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\253i\\170\\DC4\\170$f\\b4\\166#\\234%\\130[\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247m\\185,}\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\GS\\r\\197^\\190\\US\\249:\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144z\\240\\EM\\153\\241\\235\\195\\201x\\193l\\ETX\\246\\140H\\179\\213\\239\\FSyX\\186\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\249\\FS\\136\\195\\&1>:\\137\\b\\ENQ\\210)-\\129\\206`\\213\\203\\228oXn5\\ETX\\198\\SOH\\183\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\160\\165F\\252\\147\\rIS\\168\\229\\ETBbb\\137\\&5]\\161ed\\232\\228\\180I\\253H`a!S\\227\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\FS$\\ETXI\\251\\235K]\\248\\GS7\\RSQc\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\r\\238\\183\\DC4W\\149\\187\\181\\EM\\131\\170U\\228d\\203\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\250\\227\\166A\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\214\\254\\153\\b\\247\\243Z\\SOH\\162\\DEL\\DC1:\\248\\239\\143J*\\146\\241\\SI\\207DP\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\219_\\153\\n\\STX\\ACK\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\ESCd\\190\\DELp\\b\\128\\DEL\\133\\ACK@l<F\\156\\243\\NULSB\\128-\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"=lF\\b\\168\\139\\156\\\\\\a\\132]!\\SO\\182t\\139:c\\201\\187\\134\\129\\184}\\139s\\228xC\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\160B7a\\219\\219\\195\\150\\NAKR\\143\\162\\222P!f$\\SO\\203\\215\\254\\218uG\\128\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\\"A\\206\\ETX\\164V#\\204\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245!\\221\\205\\231Z\\203\\SUB\\245\\153\\169%\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\\"\\164\\RS.\\SYN\\GSE\\213\\170\\192\\132\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\239\\255\\182\\200\\CAN\\133\\238S\"","tag":"AbiBytesDynamic"},{"contents":"\",r\\179&\\155\\138\\243Y\\fz\\209\\194\\240\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOB\\239\\139>-o1\\141\\191\\140z\\168\\181\\161\\241\\218\\157\\164\\r\\141\\230A;\\151\\155\\241l\\ETX\\144\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212[\\176\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\n\\231\\RS\\185\\136\\\"\\207\\214T\\132\\&8\\205V\\252\\179\\213\\199\\162e\\201\\ENQ\\CAN$\\CANm\\175\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\198D\\179L\\240\\154g\"","tag":"AbiBytesDynamic"},{"contents":"\")`\\235\\154\\186\\132\\182@1\\193\\&6\\185\\EM\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"6'\\\\\\162\\&1K\\194\\225\\SO\\206\\DC3\\181kEhF\\138{l_\\224u\\EMm\\181Fb`\\140\\198\\ETX\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\228\\&3Nd4G\\253\\a\\SI\\197\\138 DG\\241kD\\\\\\214\\EOT\\141Z\\\"\\177\\182\\&8\\204\\199\\&0\\DC2n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\179\\157\\198\\237=ME\\211\\240r\\164\\243\\ETB\\245\\240\\251\\EOT\\152f\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\181\\159;\\USC\\144\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\229@\\RS\\249H1&\\200k\\221\\242\\139\\163\\CAN\\146.\\EM\\152K\\207I\\141uY\\204\\197\\&2\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\N\\205\\209\\191M\\176\\ETX\\215\\DC3\\199J\\ENQ\\211\\144\\137\\SUB'E\\146\\163\\148\\237\\EM\\148\\135\\160\\DELQ\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\" \\220$NH\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242s\\SI\\167\\167 07\\194\\170\\193?l\\176\\DC4\\197\\SYN\\201<&RV\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\179\\&9\\145p\\187\\181\\156\\DC3\\228B\\210\\b\\amN\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"1K\"","tag":"AbiBytesDynamic"},{"contents":"\"z@I\\191\\150#~.f\\188t\\144Y\\196\\188\\240(c\\186\\240R\\166(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SIC,\\SIE\\253\\215Y\\192\\144Q\\235\\179E4Z\\146\\165f\\183V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223a\\194e4M\\SIy\\bcr\\204\\195\\243G#Q\\GS\\248\\246@\\136\\ESC\\196\\SUB\\244\\GS\\176$\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\EM\\\\\\146\\239\\183\\212\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\b\\CAN\\196\\135\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\218|,n\\239\\ETB\\227[!\\216H\\144\\RS\\NUL\\ACK\\175\\149>\\169\\151\\215\\194\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\229c=\\183v\\236\\143\\187\\248:\\178\\188\\204\\249\\253r\\159\\144J\\CAN\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"BZ\\SIbI\\\"Y\\131\\255VM\\US\\\"\\219\\177\\193\\251\\&3y\\GS\\183\\NUL\\255\\255\\168\\135\\247\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\255{R\\f6\\DC4z\\152T=s\\GS\\168\\238\\174\\RS;\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\ESC\\229$\\149\\186\\&6t)\\186\\244\\230\\254J\\191iK\\181Y\\129\\DLE\\139\\a\\153#%\\156\\229\\158A\\248\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"90798210299744318370446112421902608158259271646774751047046691717297371611840"],"tag":"AbiUInt"},{"contents":[256,"1532135506"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088321"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"38281042888218303169266429094827877580817983783827453827931646773967702968859"],"tag":"AbiUInt"},{"contents":[256,"83077552160515160259818061301645299312402206173101385519318515248781307186863"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639681"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222593"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639862"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636333"],"tag":"AbiUInt"},{"contents":[256,"95844447008226223511147260668907218494256907400730733247081832681754168446320"],"tag":"AbiUInt"},{"contents":[256,"365"],"tag":"AbiUInt"},{"contents":[256,"2652377"],"tag":"AbiUInt"},{"contents":[256,"27394011885862172441472574685694083772918945628459607"],"tag":"AbiUInt"},{"contents":[256,"4688568745089542924146315664847688993136357059621081146406661821726342340406"],"tag":"AbiUInt"},{"contents":[256,"66637800547473332095784470440679587012025956706281541632868965439108356717199"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"61456428724405424488917923088498941804219742637853502322659715176750370890458"],"tag":"AbiUInt"},{"contents":[256,"69762201353936924406331505994037638447963780232886084876469148150815167145432"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639840"],"tag":"AbiUInt"},{"contents":[256,"1529090942"],"tag":"AbiUInt"},{"contents":[256,"104778964269755859821892543470029099050216322880395307329351297676768178379294"],"tag":"AbiUInt"},{"contents":[256,"69267650651839085270421132254691686648357560113102342971604095749979037370323"],"tag":"AbiUInt"},{"contents":[256,"257"],"tag":"AbiUInt"},{"contents":[256,"675"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609601"],"tag":"AbiUInt"},{"contents":[256,"3487824514261811438012955236774664941191297096151342853742722844738580045840"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950339"],"tag":"AbiUInt"},{"contents":[256,"1528790287"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639903"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000002"],"tag":"AbiUInt"},{"contents":[256,"67851006086186671047217210964263105183736370592329511734857175606045648539368"],"tag":"AbiUInt"},{"contents":[256,"96325633635150244997021080201000471612153140585300819827929592461017460524129"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"146149410195259403700"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"73054845964100777728847613540595333577392439763641424732695027162992885576538"],"tag":"AbiUInt"},{"contents":[256,"501"],"tag":"AbiUInt"},{"contents":[256,"1527288091"],"tag":"AbiUInt"},{"contents":[256,"1531001064"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689599"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"59976751503200740329544097025800214640916580937369552187449266159667766659147"],"tag":"AbiUInt"},{"contents":[256,"1529911491"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"235"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"900"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639863"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062336"],"tag":"AbiUInt"},{"contents":[256,"14940640454021006093861885419732607444960536992846108138461663584146471976899"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639935"],"tag":"AbiUInt"},{"contents":[256,"24175903868413314152328484465409562040437926050547689131876046352430744688565"],"tag":"AbiUInt"},{"contents":[256,"1532643542"],"tag":"AbiUInt"},{"contents":[256,"1526797831"],"tag":"AbiUInt"},{"contents":[256,"110115923774179218502700891228396721622576841335815417781474381507279770381142"],"tag":"AbiUInt"},{"contents":[256,"76282487826278385077871684379992027301843881667135008124943831330734233544406"],"tag":"AbiUInt"},{"contents":[256,"51330005203882251125899723559613277793442743803872003486401214539435906248485"],"tag":"AbiUInt"},{"contents":[256,"3"],"tag":"AbiUInt"},{"contents":[256,"746"],"tag":"AbiUInt"},{"contents":[256,"88652498430741697254011627745615096336619762971630090457388223703014173626207"],"tag":"AbiUInt"},{"contents":[256,"94147315928966041011128690629889538219939600497177166321088253782306310589652"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"31010180876876943425585269045261656218350244182145618897592341103247801910767"],"tag":"AbiUInt"},{"contents":[256,"1534151493"],"tag":"AbiUInt"},{"contents":[256,"18659737014076812364389393288318674571963093108959371946763514308090576911802"],"tag":"AbiUInt"},{"contents":[256,"40848685494055805921747256986980607251986044824952159025302446662912054551650"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858881"],"tag":"AbiUInt"},{"contents":[256,"1532316649"],"tag":"AbiUInt"},{"contents":[256,"1543583752"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417342"],"tag":"AbiUInt"},{"contents":[256,"206"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630933"],"tag":"AbiUInt"},{"contents":[256,"502"],"tag":"AbiUInt"},{"contents":[256,"1532135506"],"tag":"AbiUInt"},{"contents":[256,"1526242472"],"tag":"AbiUInt"},{"contents":[256,"604798"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639680"],"tag":"AbiUInt"},{"contents":[256,"698"],"tag":"AbiUInt"},{"contents":[256,"99157124830913694178497254253744427840135541963479649096108833186682111301923"],"tag":"AbiUInt"},{"contents":[256,"54519845367824837961262038627606594934335663900672382065561493888043364616939"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639639"],"tag":"AbiUInt"},{"contents":[256,"16834020170877792749123420705305859963250954292120314413550193255538442216833"],"tag":"AbiUInt"},{"contents":[256,"1529758858"],"tag":"AbiUInt"},{"contents":[256,"85677237879962491263276983081454658313719724151756669908151713373731353104976"],"tag":"AbiUInt"},{"contents":[256,"1533849021"],"tag":"AbiUInt"},{"contents":[256,"115"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb17","0x000000000000000000000000000000000000000000000000000000000000133b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000129","0x00000000000000000000000000000000000000000000000000000000000070fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bde","0x00000000000000000000000000000000000000000000000000000000000001ca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb14","0x00000000000000000000000000000000000000000000000000000000000071c1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003d030","0x0000000000000000000000000000000000000000000000000000000000000e12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c8","0x000000000000000000000000000000000000000000000000000000000000d8d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\173\\153^\\198\\193r\\STX\\128\\fS\\EM\\187\\202C\\180\\197\\SO\\194\\164\\167G\\232\\FS\\252\\EMY\\157[\\177\\bG\\FS\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024754","0x0000000000000000000000000000000000000000000000000000000000002175"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003dd95","0x000000000000000000000000000000000000000000000000000000000000d97d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a516","0x000000000000000000000000000000000000000000000000000000000000eab9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639634"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34f","0x00000000000000000000000000000000000000000000000000000000000011aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003c9f0","0x000000000000000000000000000000000000000000000000000000000000136e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xd615c52d5AE16Ad8b6Ec4654D85753263437D50f","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"16"],"tag":"AbiUInt"},{"contents":[8,"30"],"tag":"AbiUInt"},{"contents":[8,"252"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e955","0x0000000000000000000000000000000000000000000000000000000000000009"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006961","0x000000000000000000000000000000000000000000000000000000000000ec39"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"104820313142887551225526642896761041867142761957241897701358033704089491655903"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609602"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb45","0x000000000000000000000000000000000000000000000000000000000000eab9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa2","0x0000000000000000000000000000000000000000000000000000000000008196"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609599"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc11","0x000000000000000000000000000000000000000000000000000000000000d770"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047125","0x0000000000000000000000000000000000000000000000000000000000008196"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b056","0x0000000000000000000000000000000000000000000000000000000000000383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000046db","0x0000000000000000000000000000000000000000000000000000000000006149"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"102"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003367c","0x000000000000000000000000000000000000000000000000000000000000ec35"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"33001449631143073625890804844313633938475533155354427723347737942153335750084"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e33d","0x00000000000000000000000000000000000000000000000000000000000093ec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"729"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ffac","0x000000000000000000000000000000000000000000000000000000000000841f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002711","0x0000000000000000000000000000000000000000000000000000000000001273"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015148","0x000000000000000000000000000000000000000000000000000000000000b1d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa0","0x000000000000000000000000000000000000000000000000000000000000058e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"\"\\ETX\"","tag":"AbiString"},{"contents":"\"\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"69782639834713138851468181451041758534482006085298484966419199733648894577902"],"tag":"AbiUInt"},{"contents":[256,"1532123566"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"87008848694625271415702418935193591745173374867955296465337110988085482721653"],"tag":"AbiUInt"},{"contents":[256,"14567664976614369597993567037117682032070880094054043729082243350484523469451"],"tag":"AbiUInt"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008b","0x0000000000000000000000000000000000000000000000000000000000001351"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003aefe","0x0000000000000000000000000000000000000000000000000000000000000045"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"63"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042a3a","0x0000000000000000000000000000000000000000000000000000000000001351"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"8808271293088769324559713702780928455598317928974937519372122888949943093547"],"tag":"AbiUInt"},{"contents":[256,"91418088552217765815439570184015250675853933133177481116644570128274058005708"],"tag":"AbiUInt"},{"contents":[256,"66487531943732604818124640232576750421425273966011059933345385688109631793001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000663ea","0x000000000000000000000000000000000000000000000000000000000000614c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"22452639623346854196731689933156599665228788311376484137903039436621384659618"],"tag":"AbiUInt"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047d61","0x000000000000000000000000000000000000000000000000000000000000a73c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x9Ce3ccDa21da4b0c4b49258615315F9041f218D8","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"253"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003d030","0x000000000000000000000000000000000000000000000000000000000000266c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\255z\\158\\162\\222\\150\\216v\\183PI\\141\\207\\236\\201\\225\\224\\194\\250Y\\142Q\\219\\179H\\NUL<hP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\254\\DELW\\NAK9\\175\\DC3\\182\\217#K\\187\\255\\147\\171KX\\254\\227\\130hJ\\167\\\"\\143]\\175\\&1\\ETX<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\133\\204\\137\\255\\211\\174<\\213*\\155\\227\\160|\\220\\144\\205\\EOTkI\\211\\183\\170f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\DC3hhA><\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\189\\192\\DLE\\157\\210\\221\\162'P#\\196$\\162\\225I\\176\\b\\SOOV\\139\\228\\214$\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r[\\192\\231\\240f\\221\\165\\225\\176\\222\\204'c\\230\\r&\\160J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\f\\223\\211@\\137\\253'/\\DC4\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\178\\137|U\\r\\202\\180\\190\\178:\\165\\197\\\"\\244_0K\\235A\\155QS\\250\\216\\170\\210b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\175\\238\\211\\159Xy\\219x\\225c\\139/=\\143GH-\\214qu\\242\\v\\SOHi,\\141g\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146`@\\210\\152\\&9\\227\\186\\212\\179\\164\\&7h\\161\\233\\202\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX;\\EM\\133g\\176H\\239\\NUL\\STX0)\\212fV\\213V\\216\\137\\137#\\DC1q\\214s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217H\\206\\194\\160\\SUB\\181\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\154\\141$dZx]\\DC1\\136\\&4$\\t^\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\ETXP\\197\\SOH\\EOT\\153{J\\229\\ACK\\220\\240V\\202\\SO\\EM\\DC4#2F\\151L\\148>\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\176\\224\\196\\DLE\\131\\225yqa\\170\\230\\128\\161P\\220\\155m\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\ACKI\\158eok2\\203:\\242.}\\251\\241\\200\\143\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SUB\\234q\\RS\\144b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\210\\255\\228\\CAN\\129:\\158\\DEL\\135\\251\\162\\234\\ESC\\EOTz2\\t\\204?\\194z6E\\236\\221\\133<\\ETX\\176\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\202\\170\\211\\207\\171\\&6\\149\\174\\244RZ!u\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\t9\\239t\\166\\171|G\\174\\150\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144i\\233*\"","tag":"AbiBytesDynamic"},{"contents":"\"Do\"","tag":"AbiBytesDynamic"},{"contents":"\"Ra\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"h\\STX\\199J7EZQWm\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\CAN~\\240\\194+\\197|\\208\\224$\\133;\\153@\\t\\235\\204\\SO\\CAN\\251\\&3\\131.#\\152J/\\234\\151O\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\200Kt\\188\\214\\146\\145\\218\\165\\204\\220\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\149P\\255*\\159\\CAN(\\238\\156\\DC4\\153\\SOH\\200gM\\160\\&6b\\CAN\\187}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\134y\\190\\216\\&8\\198\\DC4\\252\\138#\\240\\137h\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\213f\\195\\EOT4X\\181L\\165\\192\\151\\167o\\ENQ\\194\\229~$\\232\\vm\\199BuD\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\f\\ESC\\143\\DC3s\\145\\211\\253\\153Z\\218\\254\\ESC\\251\\199\\253\\ETX\\203\\170\\&4\\232\\226\\170\\169b\"","tag":"AbiBytesDynamic"},{"contents":"\"rX\\182\\149\\\"\\SOHOR\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\140\\EOT\\200\\166\\178\\228S'\\163\\EM\\178\\183J\\236\\143\\139<v}\\SI{\\148H!\"","tag":"AbiBytesDynamic"},{"contents":"\"?b\\238\\211\\203\\209K\\203\\&7\\143\\147h:\\t\\160\\179\\130Z\\163\\220Cc\\146\\190yo\\US\\160\\a\\233\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202@\\146\\217\\ACK\\SYN\\SOH\\\"'P\\176\\174\\&05.\\RS/\\144\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146]\\134<\\DC3\\200\\r!\\\\b\\158eL-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181$\\ENQ.y\\179\\ACK\\EMg\\203B\\242C2\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\165\\154\\&1\\144X\\139*B\\186\\232+\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\186\\166\\142\\&7%\\206x\\214\\&1\\189Qq\\138\\162+\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\170\\217\\207\\147##9\\142v\\249\\154r\\178\\DEL\\255\\159\\DC1\\203e\\224fm\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\184\\183\\250b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243+\\226\\221\\255\\220dh\\252\\ETX\\178t\\138\\RS\\164nv\"","tag":"AbiBytesDynamic"},{"contents":"\"&X\\192\\t\\DC3\\171e\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\SUB'\\181O\\162\\r\\168\\220\\232\\245\\188\\189\\251L\\149\\167rx\\SOH\\b\\227>\\SOH\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"uL5\\254q\\173\\199\\179\\&9d\\251\\159\\199y\\206\\219\\STX\\137e\\142\\159\\r\\217BS\\170\\247\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\220%UA\\207\\234\\210\\FS\\160\\FS\\146I\\223R\\SO%8\\147\\250?|\\148-L$\\144\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\174\\239\\181m~Q\\183\\224\\251z\\251\\ESC\\137\\240\\187\\188g:4;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\tc\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\DC3\\129\\\"TF^\\247\\225\\200\\181(\\233\\220\\b\\240\\DELT\\193\\130-3\\DC2Ms\\133\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\169\\EM\\239\\132\\153<\\165\\218$\\207<+\\200?W\\218\\176\\b\\247\\140\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\SOH\\SOH,\\196\\214\\188\\194k\\215H}*$\\181\\ESC\\EOT\\228C\\211\\232\\ENQ\\EM+\\243q\\173\\191\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\176\\136,^\\208\\153\\vf\\192\\181\\219\\237\\186\\ENQXW\\DEL~!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\EM]\\ESC#\\218\\164</\\218-^\\247\\234\\238(K\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\154r\\r\\182\\189\\172\\161\\&1\\139\\171\\210\\130b\\133\\168\\135\\218\\FS\\193\\DC3-\\223\\208(w[u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205#\\154$\\189\\217Ruo@L\\190\\160\\209\\&6\\160\\197\\144kr\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\SO$\\194\\128)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\199dm\\130H\\219\\199\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129:\\196w\\195\\&8\\131\\157\\&9po\\230\\128;,\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n<!_\\242\\132\\184\\248\\191,1d4\\156\\193\\175\\236\\166\\140\\\\\\CAN\\167\\164.Z\\FS\\153\\206f\\ENQ\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\230\\243\\142\\221\\232>(1q\\228'\\197\\138\\188\\145\\186\\255\\236\\254c`b\\FS\\SUB\\230V\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\240\\215u~\\251\\176\\143\\ESC\\131\\129\\198\\144\\235ad\\171\\254\\175\\247\\STX8J\\229\\133l\\US>E\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"vd\\143\\227\\219C\\200\\148\\210:\\194\\215ar\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\r\\183\\241d\\159\\164\\162\\222V\\165\\&45\\184*\\DC1Z\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\189\\157#\\169>\\243E@\\RSA\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\213\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\176w\\204\\222\\205W\\v\\162\\&7\\247\\191\\230Ty\\249\\\"r\\208\\157\\202\\189`\\EOTt\\200\\225W\\251~\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\152\\131@\\EMOv\\212\\r\\217e\\219\\178B\\171\\226.F\\a\\131\\230u\\223\\130\\208Cg\\128\\SO\\RS\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\162g`\\225\\219\\210\\242%\\175\\b%X\\216\\&3k\\157Z\\\\\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\129\\137\\&5p\\153\\245\\205\\147\\157\\138\\NUL\\214\\159\\243\\171#\\185\\185\\176\\245\\236\\219;\\195\\230\\153\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\217d[+x\\143\\177\\CAN\\b.\\\"|6\\252\\150(\\163T\\128\\&3\\197,Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\217\\179ZH\\204\\254Zy\\b1\\142a\\229\\139\\133\\207F\\211l\\b\\214\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\149\\165\\193a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\168\\EM\\238\\248\\136\\DLE\\235\\ETBF\\167\\204V\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200q\\200\\247s\\229D\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\SUBG$+\\161\\138\\225\\&8hm\\241B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\143\\ETBee+@z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129`\\130\\249\\242\\190\\238\\128\\204\\173\\193,\\236s\\NAK\\240\\206\\168\\166\\184\\NUL\\160\\DC3\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\179\\NAK\\227\\144\\152\\179\\132-i\\156\\ACK\\CAN\\248\\RS\\DLE0\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\187m\\SYN\\220\\168\\236\\203\\222DD'\\203\\v\\210\\142\\FS5\\243\\196\\153e\\136\\130\\209\\128\\150\\212\\231\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\241\\GSM\\213\\134\\214\\161\\239\\237P1wk3s\\SO\\228\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169q-\\t\\228u\\204\\180\\NAK\\163,\\199\\244~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154;\\222\\212f\\165?&<\\175\\240\\&9\\r\\224\\156V\\226\\170\\195\\rI\\162\\188\\174\\253\\196\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135mu\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"aT\\170cJ\\252\\254V{*E\\159)\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\187\\213X+\\217\\148@)\\204\\ETX\\251\\160e\\128sMH&\\205+\\US\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196Z7\\191&\\229\\158\\173\\&8@\\149-\\228$\\SIY\\153\\204\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\247\\140\\205\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\141\\DC2ps\\133'\\156\\ACK\\185\\141\\209\\ESC\\197\\169\\128\\ETB\\154\\t]j\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\FS\\143$!\\221\\196d\\139\\no\\137B\\148\\233\\153U-\\211\\171\\173\\GS\\\\\\148\\&3\\156\\249\\US\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\&7\\135\\233\\225k\\148\\240$\\134\\234\\236\\DC3\\131\\224\\168V\\EOT\\a{4\\151\\&9;w\\ENQ`\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\143*p\\\\\\207\\EM\\219\\153\\\"\\237\\217J\\192f\\255oP\\245&\\189\\ENQ\\139?\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\201\\153\\143z\\179g\\144\\197\\174Q\\v\\179@\\183\\DEL\\223\\222\\EMG\\224\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\225\\129\\240\\171\\f\\253\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\254\\198\\219W\\201\\134\\DC4\\128]\\191O'\\254\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\157\\DEL\\142\\200\\DLE\\215G\\206\\131\\241D\\151\\SO\\222G\\201\\211\\207W44\\210\\160\\EM\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221*\\223\\231\\155\\b9e|]\\CAN\\194\\245 \\222\\221}\\140\\231\\SOH\\216q\\250\\187\\222e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144}\\149\\n\\137ce\\225\\NAK\\255\\167\\STX\\188\\224\\201\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"tR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Mk\\178\\193I\\187\\EM\\EM\\237\\149M\\DC1=\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\t\\152\\157\\129\\195@\\219\\223w\\EOT\\184\\&7\\157#\\161\\208\\174\\245\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\DELe\\247\\&8\\231\\DC4\\218\\196.\\212\\242\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\218\\215\\DLE\\188\\220\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM#\\223\\142^\\209\\141n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r \\250@5\\233\\\\\\224\\aMK\\198\\144\\251C\\239r\\161u\\224h\\246\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"W;Tt6|\\160*\\190T\\161.X\\131\\&9(\\231-\\252\\\"\\134\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\213\\220\\241\\196\\172\\137\\208\\159\\232\\157\\152\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\211\\220\\175+\\157I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141|\\252\\171\\241\\183\\151\\&6\\138d\\SYN\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\SUB)\\194PF\\150\\DC3\\154\\US\\\\_\\139\\146\\205-\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\230\\NAK\\176\\a\\161$eX\\233\\162Q\"","tag":"AbiBytesDynamic"},{"contents":"\"7'\\192q\\196\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163w\\251\\154)\\156\\235\\171\\164;Suh\\ENQp\\254\\ESCxw\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\216\\&3\\DC1\\152\\220\\209\\v`\\GSo\\251fx\\185L\\223\\&7\\196\\&3\\r\\216w\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\\\d\\233!\\SUB\\SOR\\152\\239Y&n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\187_\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\191@\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194v*\\230f;;\\177\\CAN\\DC3\\193\\132w\\GS\\232\\DC1h\\149\\140\\132\\GSc\\177t\\158Ns\\207\\169k\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\141\\206e\\130\\220{f\\197\\ETB\\252\\225\\191\\&4\\168\\141\\SOS)\\159\\198\\165\\175\\237\\&3\\151,\\188\\158\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\228\\147\\254f\\220\\216\\DC3\\f3md\\229\\ETBe\\220\\213\\&1\\ESCN\\206(KY\\ESC\\239?\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\224\\STXD\\237O1|\\203\\RSY\\\\H3\\b\\150T\\244\\205\\&8\\217\\NAK\\145\\SOHp\\223>\\200\\b\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\&7\\\\\\144\\&99\\168\\242t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\146\\161H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\CAN\\158}k/3$\\\\\\135\\DC1\\f>Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223?\\f\\147\\186\\161\\ACK\\vE\\136M\\146\\SIh\\r\\156\\195\\191\\207\\200rL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\175ol:\\179\\228\\171+\\246\\145?\\DLEe\\229x\\216K\\SO\\ETBD!\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\192w.\\209*L,\\162\\238Ei\\209\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\186\\131\\238(\\145\\237\\139!\\231&HJ\\154\\153[_\\203\\178P\\144\\251\\237\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\DEL\\130\\248\\143\\STXp6\\205\\173\\204B\\130\\160\\NUL\\178\\133\\228?^\\192\\212\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161r\\155\\129\\131\\159\\DEL\\223\\221a\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\233\\251\\157Z\\192UB\\DC1\\234F%\\201\\176/\\165\\249jS\\DC3/,\\226\\238B0u\\149ja>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\133a\\147u\\150\\133~qKfm\\207Y\\230\\151S`\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\153\\211\\171\\192\\249\\&9\\155*\\DC3\\SUB\\163\\NULDW\\183\\251\\217S\\tN\\148\\188\\132p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\182BR\\210\\253\\nAWq\\135\\133\\134>\\184\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\157M\\ESC^\\225\\DLE\\156au4\\ESC\\183\\159\\226\\b\\RS\\DC1\\138/\\ACK\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\167I\\189\\254\\254\\SYN}\\142\\ACK0\\238\\219\\f\\131}\\f\\208-\"","tag":"AbiBytesDynamic"},{"contents":"\"15\\197\\200\\RSw\\251\\231~\\239\\153K|\\184D\\203a\\139\\&0\\219U\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"Y`\\187!&2@\\f\\247\\ENQ\\151\\223\\255ys#\\214S\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\218\\208H=\\198D\\168\\165\\DC2kN\\234,\\175Q\\203\\252\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\243\\218\\234\\173i\\ENQ\\142\\&3\\n\\147\\225\\149l&\\DLE\\143;*I\\DC4IV|\\227L\\139\\201\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\225\\134\\173O\\227\\219\\182_t\\144\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\203-\\243\\192\\EOT\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\230\\197\\141MnN\\176\\158\\238\\133\\a\\229\\n&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\147\\249v\\206\\NAK\\180\\EOT\\154\\FS\\236\\183\\197\\157\\198t\\220\\173N\\240Y\\rc\\158\\151\\ACK\\220\\166%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\198\\FS\\246!\\178\\236NQ\\204\\181\\185\\148Cn\\SYN\\237\\ETB\\136\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\218\\168\\227]\\191\\SOH\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"n}\\143\\SOH\\181by\\220:{c\\FS(\\GS\\142nW<~h\\206\\ETX\\194\\192N\\v)\\195o\\218\\\\\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\141\\186\\180\\226\\170\\231YzL\\208\\169\\SYN\\DELY\\225\\&9j\\147_\\213\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\vnJ\\243S\\DC3\\241\\182m\\137\\ETBoCc:\\ESC\\149\\155\\&9U=K\\240\\238\\b\\160\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149]\\244$\\172\\156\\ETXJ\\\"\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\DEL`\\174b\\231\\NAKp\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\193\\229\\\\\\US\\176\\236\\153\\&8\\194`\\189\\237\\NUL\\NAK\\192\\223=\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTux\\255s>\\206\\ETXo\\GS\\139\\158\\214\\153mw\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\241\\ACK9\\183c\\rVU\\242\\223\\140[\\186\\153\\187\\210\\138\\\"\\180\\NAK\\185\\171\\142p\\192\\231'/\\252\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\170\\173\\136\\153\\220\\ACK\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\210n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS[\\239</[bd\\245\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\137On: \\SYN+\\173\\207\\148Mi\\170\\137\\ESC\\147M\\215\\183;\\242\\&5\\198\\243KQ\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211~\\187\\140\\240\\132\\&8:\\251\\183\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\DC3\\232\\170\\229\\&1\\ETX\\242(>_\\153\\237=\\f\\163\\245K/\\\"\\179\\200\\219\\DC2M\\SI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\169F\\140gX0L\\174\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228/^\\SUB\\223\\149\\b\\248\\161\\234\\166q\\ETB\\175\\f\\197 F_\\NAK\\DC1\\188\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\NUL\\160\\EM\\236u\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\137\\148\\161K\\241\\RS\\EM%\\185$K\\161\\&3l\\177\\246[\\DC1\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\166]\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\230Ch\\184\\t\\137\\CAN\\EM\\234\\199GE\\143\\206\\239\\245K,\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\223\\138\\EOT\\213\\173\\184\\132\\&8\\210\\NAKD\\193\\250h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163<\\181~i~\\209\\189\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\136\\247\\254C\\139C\\215\\171/\\\"\\185\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULvN\\140lj\\NAKB\\129\\167\\b\\DEL\\199N\\177\\f\\185\\194\\254\\243\\215\\231\\239\\255\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\170\\150\\231\\157\\\"\\175\\132O\\145o\\226\\fF\\245\\249L\\DC4\\173\\EOT\\232\\217\\US\\164Om\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190P(l\\239r\\184\\&9\\170\\181\\194\\160W\\155\\208\\207\\201\\DC3n\\227F\\160P\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\DC2GK\\192\\171(\\189!\\180X7\\228\\a\\232\\198u\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\215|\\176\\209A\\216h\\DC4'L\\235\\157\\EOT\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\145\\131jD>\\215\\&0\\ETB\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\",\\129N@\\203\\137\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230i\\214\\249\\r\\ETB\\155\\206\\165\\169\\&9(j\\140aX\\213\\146\\180\\CAN$\\169\\223\\195\\&0Y\\153s\\248\\222<)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\230q\\t\\142\\186\\a\\200P\\149n\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\240\\231\\175\\237\\201N\\158\\NAK\\150<+\\ETX\\231\\&3G\\245D\\133\\171A\\211K\\254k \\251\\253\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\245 d\\213g\\ACK\\130\\&6_\\173\\225\\&5\\184ZK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\216\\156\\223\\179Jt_\\226H.\\148\\162L\\164\\DLEU\\244\\181\\191\\220\\150F\\ETXH\\STX\\205\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\195\\ESC\\187\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"$5\\241\\234\\240G\\213\\141\\SUBBK\\247\\204b\\DC1?Z\\v\\139w\\184\\t\\219\\f\\US\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"2\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\SI\\222o\\255Y\\rl\\237X\\rg\\155\\n\\140\\240\\&3\\192sU\\STX\\183m\\239\\&6\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\CAN\\169\\&4\\RS#\\194[/\\179\\163\\139\\&2\\ACKk\\226t\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\255ec\\191\\192\\201v\\b\\177\\251\\242\\199\\140\\253\\142t\\150\\203\\192\\v\\207\\EM\\129\\n\\185C\\166\\178A\"","tag":"AbiBytesDynamic"},{"contents":"\")&i\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\190\\183\\a\\210\\188\\134xI\\253\\186\\249\\&3P\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\154\\152F@\\128\\145H\\159\\128qE(\\139\\171\\227\\247\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\155\\198\\177$}%\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\170\\US\\206*\\SOHy\\169\\158ET\\201\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\129\\190\\203\\224\\185\\&9\\197\\143a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\SO\\SO\\224\\SO\\138\\174\\208x\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\247\\172\\&6\\134\\188\\n#\\172\\177\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"iN\\\"\\190(\\133w\\255\\t\\220\\&2w\\193\\195\\GS\\STX\\197ax\\145AlL\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236 \"","tag":"AbiBytesDynamic"},{"contents":"\"K\\136,\\192}\\189\\SOH#1\\185b\\194\\NAK\\231\\231\\141'5\\211\\135\\238\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\244\\EM[\\218z\\235\\150\\205\\206B\\142e\\186\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238T\\133O$\\134\\169\\167\\163\\184zQJ'mFL\\241o[\\ACK\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\&7X\\215\\153\\131(E\\178\\&7\\168hY\\173\\145\\250\\242\\180\\173\\190\\196c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\209\\247\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149%?\\212}`n\\DC3\\243Y\\234\\129\\247\\v\\143D\\175\\CAN\\215.\\252\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\240Lt9\\152\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184+\\150\\DLE<\\171\\SOH\\229\\SUB,\\246\\nv\\239\\b\\135\\246\\218j\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156'\\208\\&6\\DLE\\215\\212>\\EM\\158\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"BM\\195q\\135\\134\\&5=\\STXa\\228\\ESC\\144\\202E\\188\\&4a\\133\\236=C.\\226\\145q\\f\\198\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\248R~\\199\\202\\179\\184\\CAN%\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254$\\148\\233\\175\\200y\\211\\231\\SOHh\\222\\188-\\159\\250\\&6\\180\\196>mTr-\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\DLE-\\236\\&4\\134\\&1B\\DEL.\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\RS\\ACK\\CAN\\a\\249Y\\235\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136M\\199\\204GFP\\139\\244\\229HK\\159\\247\\157\\f^\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\b\\EM7\\208j@\\239\\158\\DC4\\n|_,F(vY\\140]\\206}/\\131\\249\\187\\255\\SI\\130\\ETB\\SO\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"G\\SOH2\\186<U\\EM\\239\\132\\DC3\\143\\167\\193\\&0\\214\\NAK\\195\\244\\SOH\\201;\\132\\155\\\"\\143\\EM\\217U\\169K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\172tWmk\\v2d\\195\\193\\176\\132\\204\\151O\\186\\135\\222A\\CAN\\129\\231L\\141t\\173\\163OT\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"K\\DLE~\\173\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148N\\243\\214nE\\134c\\181\\231\\134\\182\\227\\137T\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\217rD7\\165h\\150\\128}\\145\\190\\214\\158O>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\234\\153\\181\\207J\\ETX\\135\\216k\\v\\r\\144\\&1\\SOH\\154\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK~\\238[\\185 \\198\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\211\\241\\SI\\165h\\194\\206\\235\\vKs;h\\232\\178J\\155yQ{\\234\\143\\203R.F\\194L/\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\157\\177\\a_w\\ENQg\\135&\\146\\229j4\\SO\\138\\243\\137\\&6\\235\\199\\168C\\128\\222\\227*0\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\139\\150\\FSk\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"4^\\147\\DC2\\210\\244\\221\\DC4\\250KG\\247rs\\CAN\\215\\188J\\NAK5\\172\\232\\145F\\f\\132\\226*\\188`Q\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\133X\\168\\207|F\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\250\\224\\168\\254\\n\\129f\\195r\\164<\\169\\239\\137ZajV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\DLE\\241P\\ETX_]\\204T\\229\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\f\\165\\215\\185\\246\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"G3\\DC37\\216D3vw\\203\\156a\\167gr9\\200\\218\\179\\206L\\236\\157W\\164\\168\\237\\185\\160\\186\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\200\\243\\223n\\t@6<e\\249PEl\\170\\134W~\\168\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\SOH\\248y\\180R\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153My\\STX1u\\139K\\167\\212:Z\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\189\\149\\171\\157\\230\\FS\\167.\\132\\&9\\160\\201&\\b\\149\\163_D\\203<3C\\189\\NAKq~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\233\\205\\234P\\EOT\\176F\\a\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164E\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\213\\161\\196\\163\\NUL.wA\\141`\\147\\NAK\\229\\FS\\179\\128\\DELV\\DEL\\239\\144QN_\\172\\nM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\".\\177q\\EM\\218\\176?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USl\\196w\\237\\171\\158\\tx\\248\\235\\238\\140n\\255\\153\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205G\\161\\239\\148\\209=0\\176\\223\\210\\173\\131\\&1\\233\\194L\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\227\\220!\\173\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161&pi\\203\\249\\STX\\CAN%\\215\\&2\\216\\167\\136u\\207r\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\ENQ\\165H\\191Dc\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188+4\\ETB\\n\\NULmr/(\\239\\&1\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\178\\177>\\212\\&9\\167BO;\\EOT\\164\\162\\146(\\212\\212s\\168>c7\\168\\178\\DC1`\\180\\232\\188b/\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134`\\223\\194kj\\163\\219\\FS\\209ED\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\137/\\137t\\232]\\249,\\212E\\NAKU\\187\\143\\158\\237^d\\244/\\236\\238\\237\\240\\236\\ETX\\233\\146\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\168\\219M\\211\\n\\185\\183\\141\\240`\\147\\DC1N\\221y\\135\\239\\r\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139GH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"?3r\\171\\208\\136T\\165\\139~\\226\\239g\\170\\148\\SO\\EOT\\203i8\\171\\f\\128`m\\225\\bj\\241\\185;\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209E*\\255y\\249\\139\\147\\176\\SO\\193\\&8\\166\\&7x%\\182\\183\\152a\\199\\ENQ&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\&4R1\\DEL\\128\\250\\235v\\225\\219[E&Z\\218\\&2R\\EM?2|\\131l\\145\\188\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\209Uyyz\\139\\n\\DC4nY\\171\\210\\DC1\\144\\231G+0{|\\179\\DEL6\\226m\\177\\217m\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\206\\r\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\b\\199[\\224\\225\\&2\\ENQF\\234\\\\\\149\\fn\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\149Hx\\246%\\236\\r\\171\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\248\\147\\245\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"yE\\238\\163\\SO]L\\154H\\139VDl\\SUB\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\129\\&9\\214\\196\\159\\212\\167j\\166\\\"\\146\\EM\\130\\140\\236\\222\\182Xw6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\157\\205\\129\\SOH\\174\\135\\187\\SO\\189\\171\\191w\\163\\187(\\162\\&1\\253\\243\\US\\174\\128\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNb\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\187\\148;\\233G\\237D\\181\\128_\\144L\\US\\244h\\133\\130\\232\\&3\\170\\167\\152\\243t\\145\\213\\144I\\166.\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\ACK\\151I\\146\\202\\167\\137Y[\\132\\204\\GS\\NAK\\145\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\":\\228\\226\\SOH[\\198u6\\221!\\248\\\\s\\209~\\242%\\231z\\ENQSK0\\215x\\US/\\162M\\226\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\184w\\191\\GSva\\249\\215\\178`\"","tag":"AbiBytesDynamic"},{"contents":"\"Q0\\197\\194\\190\\b`\\160\\205\\US=\\DC3|O\\210\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\158\\204\\229\\FS\\STX\\199\\&6e\\ACK=\\129\\214\\243/\\129\\189\\138V\\189]\\144\\237@\\165\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\237\\227\\138\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\151\\151UL\\176\\197\\164\\193z\\n\\128\\151t\\ETX\\148\\231\\166\\EOT\\186\\204^O\\206\\&2\\174\\171\\179lQi\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\140>\\201V@\\222\\179s\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\ESC\\241? \\140\\179Djo2\\186CZ\\238O~\\246\\242\\162]\\205\\156\\203\\210\\150\\128\\242j\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB2\\150p\\197\\DEL\\137b\\199M\\249\\NAK\\DC4\\t61\\DC4\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\251\\166T\\163D\\203\\140/\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\235\\161\\195\\136\\231\\213\\202P\\t[W\\193h\\136\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154^<\\153x\\242s&\\154\\US*\\234\\203\\ETBrUa\\DC2\\206m\\129\\221\\133\\214\\211\\207<.F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\159\\GS\\140\\&3\\157r\\t\\227\\193[\\235\\158\\SO\\207\\133\\191\\174tj\\192\\195\\ACK+\\207B\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\198Q\\164\\228\\236\\176O\\136\\142\\219\\199\\176\\138\\205_\\201@\\205\\151y\\224\\209\\182\\213\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"4o\\184\\228i#\\RS\\251m\\173\\243\\\"\\236\\&4,7\\226{dJ\\205\\&5b\\213\\141\\182\\182FL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\f\\216\\235\\146seF\\ETXR\\SYN\\a\\FS\\188n\\183\\EOTx\\204\\SUB\\217F\\231\\201\\235\\130\\240\\205^4\\143\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\244(\\159\\218\\GS\\233\\195Fj\\222\\234K\\240\\n\\210\\\"\\193~I\\129`\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189,\\208\\238\\NAK\\239\\160\\191\\146\\203[\\220?=\\253<;\\138\\180pQ\\RS1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"2284778939046356969783248561602769335178857666975842455242143709475046402831"],"tag":"AbiUInt"},{"contents":[256,"106927590671298994610893695116810191802768866961742398293948978997865764003366"],"tag":"AbiUInt"},{"contents":[256,"20760333343959185859944468601408039104507226911967684196392439432996559743040"],"tag":"AbiUInt"},{"contents":[256,"59713692597047954170617640794838583719502046553991043786292964217583152329498"],"tag":"AbiUInt"},{"contents":[256,"337"],"tag":"AbiUInt"},{"contents":[256,"76287659415731450061655405442448422398412509106261395742686410042373769942435"],"tag":"AbiUInt"},{"contents":[256,"67901870566842677017982263846282036435449794634855069225053128742876909219620"],"tag":"AbiUInt"},{"contents":[256,"864961575063897764268958156299374387072873341460875397103091521114492752631"],"tag":"AbiUInt"},{"contents":[256,"36"],"tag":"AbiUInt"},{"contents":[256,"100897026868848450272184766373743818051012833831054171974348350073254720859776"],"tag":"AbiUInt"},{"contents":[256,"68906338043085959958283156143398868974075926218862702087595181287887161465108"],"tag":"AbiUInt"},{"contents":[256,"45144957497259475619626895266458888438200099956579802249887799502135654076457"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639830"],"tag":"AbiUInt"},{"contents":[256,"454"],"tag":"AbiUInt"},{"contents":[256,"8180107705067007428633205358632576404691021850741357270637131135782472149257"],"tag":"AbiUInt"},{"contents":[256,"18000994937847728306347058346479985683860610385598979228589735445509534268141"],"tag":"AbiUInt"},{"contents":[256,"40676573607159500077113030209192657587692684770839907138781593723111364917846"],"tag":"AbiUInt"},{"contents":[256,"1528360222"],"tag":"AbiUInt"},{"contents":[256,"1534875615"],"tag":"AbiUInt"},{"contents":[256,"74962922507149483692445217501492165304534383482871592148764396979051636271966"],"tag":"AbiUInt"},{"contents":[256,"68906338043085959958283156143398868974075926218862702087595181287887161465108"],"tag":"AbiUInt"},{"contents":[256,"82580356361671705366785621"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417344"],"tag":"AbiUInt"},{"contents":[256,"78763282686351174829627298233178745470953190920065880722479494382559890965894"],"tag":"AbiUInt"},{"contents":[256,"45927738978934370008397594179671314749337088126353397359663179124581064848512"],"tag":"AbiUInt"},{"contents":[256,"83320591199790514232503320960516669624127152837132853297013074417090955608953"],"tag":"AbiUInt"},{"contents":[256,"26445992102686407523868995322096050635805964846955318034847104731049334735416"],"tag":"AbiUInt"},{"contents":[256,"61701410352197083855588990183865799261203052351507812058827130833224546612486"],"tag":"AbiUInt"},{"contents":[256,"44721560483377760337256914303523666059653803362562699015282872062848364048484"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639856"],"tag":"AbiUInt"},{"contents":[256,"110343916020216953921006440600874004587536957785934250026113388377802558105546"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"79228162514264337593543950338"],"tag":"AbiUInt"},{"contents":[256,"326"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011522"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1529304416"],"tag":"AbiUInt"},{"contents":[256,"82390672287657973519194316073278921032528712162451346233044244946234951357462"],"tag":"AbiUInt"},{"contents":[256,"72582991436499700142796500941682519263968161224372211529588137374157132595396"],"tag":"AbiUInt"},{"contents":[256,"22233337973352623028"],"tag":"AbiUInt"},{"contents":[256,"525"],"tag":"AbiUInt"},{"contents":[256,"87925990261913787593114090"],"tag":"AbiUInt"},{"contents":[256,"283443923850975657626244247882416787758"],"tag":"AbiUInt"},{"contents":[256,"36722037003875861967786444155707718993776755198181614436081924410090468779797"],"tag":"AbiUInt"},{"contents":[256,"36473691211828552840010887897365542851693361302655036629975458807961699026893"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639636"],"tag":"AbiUInt"},{"contents":[256,"1134"],"tag":"AbiUInt"},{"contents":[256,"1530299014"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"102301447535392045680164770595364231107343411295310981837345704782537014062098"],"tag":"AbiUInt"},{"contents":[256,"91771377248241528203240627082759086035809642110409829236067044680934646179189"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"71423782039962672372523562684272605158921919645091966394708903011291419136401"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035136"],"tag":"AbiUInt"},{"contents":[256,"112507958461976835108071708415533028518695263215714860159412163887272977876639"],"tag":"AbiUInt"},{"contents":[256,"85506700478417996015083680490919163942574259155479321572893325055950583388658"],"tag":"AbiUInt"},{"contents":[256,"49113391593503804532543397916398871298271558042739376391119780321197305127989"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636335"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639682"],"tag":"AbiUInt"},{"contents":[256,"52141029320247529698066348857713153953987543500379049693419253761398086570163"],"tag":"AbiUInt"},{"contents":[256,"389"],"tag":"AbiUInt"},{"contents":[256,"88200749229218891208961652727823082587172362490615033342320543174749956681364"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1905095812508809808034658297700345540749537049414953650579977742454506370344"],"tag":"AbiUInt"},{"contents":[256,"99344832144881992493078307761596406428702499583447177298537264576488361160715"],"tag":"AbiUInt"},{"contents":[256,"746"],"tag":"AbiUInt"},{"contents":[256,"53383004695078273251684777507280101310303363650988735501669284273952034335105"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689600"],"tag":"AbiUInt"},{"contents":[256,"97505916908359651601984995335845212689862087344582907932102437694988577610770"],"tag":"AbiUInt"},{"contents":[256,"90700728639243399006201288959587104582058672490370292600724515822088432240323"],"tag":"AbiUInt"},{"contents":[256,"1532289399"],"tag":"AbiUInt"},{"contents":[256,"2549048844988599272507294705329002038297704550728924014114850320008280774833"],"tag":"AbiUInt"},{"contents":[256,"19364622865982512595512046537982634005975396015111845877822168526291240682884"],"tag":"AbiUInt"},{"contents":[256,"90759420594886460509857762122243939121594746493551954867044119982645364186883"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639034"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639678"],"tag":"AbiUInt"},{"contents":[256,"123"],"tag":"AbiUInt"},{"contents":[256,"43586197954414339038397535371873411164604220474742824705553749780152996648935"],"tag":"AbiUInt"},{"contents":[256,"40442481464313765188682653733262687517249213702124548039379593916064500847825"],"tag":"AbiUInt"},{"contents":[256,"15521267351717578150624054948566460660424610412978319367509070634117091151601"],"tag":"AbiUInt"},{"contents":[256,"94287142083086602672331950637997917219401989670818436709004754599548355037600"],"tag":"AbiUInt"},{"contents":[256,"27286467651514607783727945496607296145164133968999945199362395182819633259552"],"tag":"AbiUInt"},{"contents":[256,"1534773110"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"285"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"2456239296690135398780660419608576"],"tag":"AbiUInt"},{"contents":[256,"3602"],"tag":"AbiUInt"},{"contents":[256,"104317662597643248027888468866406220650242912738509781047038052357585328284443"],"tag":"AbiUInt"},{"contents":[256,"1184510568503342686771207932150390932435786331351289116492712734024779328983"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"54841346273098209609750462882413477275686612073899450605342380839605183007091"],"tag":"AbiUInt"},{"contents":[256,"522"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639901"],"tag":"AbiUInt"},{"contents":[256,"984"],"tag":"AbiUInt"},{"contents":[256,"50967124972150413596611570426569778465222670524135287463636829356760406939842"],"tag":"AbiUInt"},{"contents":[256,"1534774147"],"tag":"AbiUInt"},{"contents":[256,"28226267056742317186883013006823309681529323146598310922986884360810380565035"],"tag":"AbiUInt"},{"contents":[256,"78"],"tag":"AbiUInt"},{"contents":[256,"840"],"tag":"AbiUInt"},{"contents":[256,"47"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858878"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747168"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639937"],"tag":"AbiUInt"},{"contents":[256,"56718721621248937613235890733182236679339680963700930453255231161718647801455"],"tag":"AbiUInt"},{"contents":[256,"45346756403111798288301696113576941388054566239696364693245946415640584878293"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"},{"contents":[256,"15420612619350560853381772354505334489471494406894298056882023618052868686057"],"tag":"AbiUInt"},{"contents":[256,"66806231471109493827187786910270842479320432381202691302846727059778498250463"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088318"],"tag":"AbiUInt"},{"contents":[256,"1006"],"tag":"AbiUInt"},{"contents":[256,"90622469971285264878339007272859231421483762481530153454688286550065335311106"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c77b","0x0000000000000000000000000000000000000000000000000000000000002322"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"31706041687412452892853320419120292358003423151594139536609491121837910912044"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdb","0x00000000000000000000000000000000000000000000000000000000000013ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"1531567820"],"tag":"AbiUInt"},{"contents":[256,"82198041009855118834629039350374899943723375929087739446393679332863567906043"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb46","0x0000000000000000000000000000000000000000000000000000000000001366"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":[256,"1530181136"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea45","0x000000000000000000000000000000000000000000000000000000000000012c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"1529731196"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec3","0x0000000000000000000000000000000000000000000000000000000000007a00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"1531582265"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066755","0x0000000000000000000000000000000000000000000000000000000000008a97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"5878623614256507594275124645717695763639139257454428157"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6b","0x0000000000000000000000000000000000000000000000000000000000001c56"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4f","0x0000000000000000000000000000000000000000000000000000000000000057"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":"0xd615c52d5AE16Ad8b6Ec4654D85753263437D50f","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061e55","0x00000000000000000000000000000000000000000000000000000000000002ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"2000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000253a4","0x0000000000000000000000000000000000000000000000000000000000000089"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"309485009821345068724781053"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000052","0x000000000000000000000000000000000000000000000000000000000000136a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":[256,"33931710398742937589969610509772857145304220028783031612051241862487992871026"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0e","0x000000000000000000000000000000000000000000000000000000000000c05f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"10060402062915051935625576683944207915850857328049559307459227188324624349311"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7e","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"100000002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005318e","0x000000000000000000000000000000000000000000000000000000000000c267"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b67","0x00000000000000000000000000000000000000000000000000000000000094d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2c","0x0000000000000000000000000000000000000000000000000000000000008ec6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000075","0x0000000000000000000000000000000000000000000000000000000000001c9c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"14632573147635230944920962305365557877226277659979364411039506145213238664557"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000014","0x000000000000000000000000000000000000000000000000000000000000427e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea49","0x00000000000000000000000000000000000000000000000000000000000007d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"3598"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a60","0x000000000000000000000000000000000000000000000000000000000000619b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"38463463374604028944542245"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf9","0x0000000000000000000000000000000000000000000000000000000000007cf7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035138"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003022e","0x0000000000000000000000000000000000000000000000000000000000000019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"648"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000668ee","0x0000000000000000000000000000000000000000000000000000000000006b32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"441"],"tag":"AbiUInt"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"498"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e353","0x0000000000000000000000000000000000000000000000000000000000008d75"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689599"],"tag":"AbiUInt"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e378","0x0000000000000000000000000000000000000000000000000000000000002320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d570","0x000000000000000000000000000000000000000000000000000000000000221b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf69","0x000000000000000000000000000000000000000000000000000000000000b556"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270e","0x00000000000000000000000000000000000000000000000000000000000069fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"43624693628565363468545598852216613387158857673688989221767608456620522467616"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e9","0x0000000000000000000000000000000000000000000000000000000000000fb8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"81703919591814931539752353966281124200363855528556698953964270893902189002995"],"tag":"AbiUInt"},{"contents":[256,"12948423349843118988065769462236585113050719373923368093222371293923902022139"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d3f2","0x000000000000000000000000000000000000000000000000000000000000137d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bde","0x0000000000000000000000000000000000000000000000000000000000000065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ac","0x000000000000000000000000000000000000000000000000000000000000134c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":[256,"24"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c5","0x000000000000000000000000000000000000000000000000000000000000260a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000cf9b","0x000000000000000000000000000000000000000000000000000000000000133b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061e55","0x00000000000000000000000000000000000000000000000000000000000012bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639682"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff8","0x000000000000000000000000000000000000000000000000000000000000d93f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdd","0x000000000000000000000000000000000000000000000000000000000000330c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bd20","0x00000000000000000000000000000000000000000000000000000000000076aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"110641580267492165639312083961142104873024685182824424659037863008299495529000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac1","0x0000000000000000000000000000000000000000000000000000000000001273"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"58383971609945151374166141925917758515551373948467577906137541854139332058094"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000018d38","0x0000000000000000000000000000000000000000000000000000000000005d4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"110396806350108758684548819598481973699941036204537640613794766558688585606253"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270f","0x0000000000000000000000000000000000000000000000000000000000007fa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000016f32","0x0000000000000000000000000000000000000000000000000000000000006b32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003f3","0x0000000000000000000000000000000000000000000000000000000000008194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003791c","0x00000000000000000000000000000000000000000000000000000000000028db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":"0xd615c52d5AE16Ad8b6Ec4654D85753263437D50f","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"202"],"tag":"AbiUInt"},{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[8,"51"],"tag":"AbiUInt"},{"contents":[8,"103"],"tag":"AbiUInt"},{"contents":[8,"138"],"tag":"AbiUInt"},{"contents":[8,"20"],"tag":"AbiUInt"},{"contents":[8,"79"],"tag":"AbiUInt"},{"contents":[8,"214"],"tag":"AbiUInt"},{"contents":[8,"18"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"100"],"tag":"AbiUInt"},{"contents":[8,"38"],"tag":"AbiUInt"},{"contents":[8,"105"],"tag":"AbiUInt"},{"contents":[8,"96"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"128"],"tag":"AbiUInt"},{"contents":[8,"53"],"tag":"AbiUInt"},{"contents":[8,"196"],"tag":"AbiUInt"},{"contents":[8,"172"],"tag":"AbiUInt"},{"contents":[8,"14"],"tag":"AbiUInt"},{"contents":[8,"103"],"tag":"AbiUInt"},{"contents":[8,"23"],"tag":"AbiUInt"},{"contents":[8,"138"],"tag":"AbiUInt"},{"contents":[8,"135"],"tag":"AbiUInt"},{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"135"],"tag":"AbiUInt"},{"contents":[8,"47"],"tag":"AbiUInt"},{"contents":[8,"27"],"tag":"AbiUInt"},{"contents":[8,"135"],"tag":"AbiUInt"},{"contents":[8,"143"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000836ca","0x000000000000000000000000000000000000000000000000000000000000614b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000008","0x0000000000000000000000000000000000000000000000000000000000009aa9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"8"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":[256,"114902413788149876549909654983454387077256874524477244410328429806665299788830"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000769ee","0x000000000000000000000000000000000000000000000000000000000000cb7a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[128,"579007702040097072795364731247187631"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ef","0x000000000000000000000000000000000000000000000000000000000000c8d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"84778016833828427482350871152342301113886789518490163300280201262725567261910"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e7","0x000000000000000000000000000000000000000000000000000000000000d8cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"80925097848738394103794348290406602126976512290026982487988986026368558830947"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb20","0x000000000000000000000000000000000000000000000000000000000000ca08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002539c","0x0000000000000000000000000000000000000000000000000000000000007630"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"1748455376"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa1","0x00000000000000000000000000000000000000000000000000000000000065d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"77587391612140836095072485361465792608013903087178256588759517935457427199510"],"tag":"AbiUInt"},{"contents":[256,"13087107962034140428675076695320752185161930734835138809394336644887481062567"],"tag":"AbiUInt"},{"contents":[256,"230"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"81122395914745527182286201016159143965043636709681696002330293361649827834399"],"tag":"AbiUInt"},{"contents":[256,"40772819437774438394977734723824869764659343281997131312865577712371974276909"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639851"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c439","0x0000000000000000000000000000000000000000000000000000000000001328"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000027"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"99"],"tag":"AbiUInt"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":[256,"136"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce53","0x0000000000000000000000000000000000000000000000000000000000001395"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":[128,"163219280351950012298603587025222198505"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000079","0x0000000000000000000000000000000000000000000000000000000000008198"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c433","0x0000000000000000000000000000000000000000000000000000000000001355"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"2001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"43105631908323689560333498521616341810656113392181803754195504594017362909215"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a60","0x0000000000000000000000000000000000000000000000000000000000002712"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\ESC\\165k\\245T\\140\\STX\\145U\\US\\NAK&\\171\\ETB#&\\155?X#\\214\\ESC\\252\\b \\\\\\211\\DLEP\\205\\f\\135\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb30","0x00000000000000000000000000000000000000000000000000000000000095e1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]