[{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"393"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000055","0x000000000000000000000000000000000000000000000000000000000000135a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"62"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000043","0x000000000000000000000000000000000000000000000000000000000000135d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"94"],"tag":"AbiUInt"},{"contents":[256,"20033753695100091400745351337986506052296421376021481753470717800335810527245"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c434","0x000000000000000000000000000000000000000000000000000000000000133c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"40786251289434363662970407800325460759810385055197347871961152618652595804917"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"112001205097741171851063527566697873512390182170751560593946301765769373547434"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000036","0x0000000000000000000000000000000000000000000000000000000000000278"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"328"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063160","0x00000000000000000000000000000000000000000000000000000000000076ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"113879488165815763685060721156657928586225289469033168792777462051891542707305"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x0000000000000000000000000000000000000000000000000000000000000060"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"620"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb16","0x0000000000000000000000000000000000000000000000000000000000007e4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\229b\\243+\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\ENQ\\NUL\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\147\\228Ae\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\196\\138X@\\142\\NUL\\157\\187\\154b\\172\\140\\SYN`\\206Ns!\\130\\&5\\ACK\\245\\244].\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\f\\231\\158{Az/Y\\196\\139\\\\\\157\\231\\EM\\DC2[\\188\\146\\155\\177\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\183\\132\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\234\\139\\167H4jp0Y>\\248~\\172UU\\160P\\240T\\138i\\249~\\146\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\232s\\193}\\249\\241\\169H\\ACK\\190\\191\\192\\203\\158\\169h\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\232+\\173\\140\\a\\STX9a\\160zu\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\238\\231\\136\\197s\\145\\CAN\\205\\&19_?\\148\\196<\\DEL\\228g\\133\\223\\143\\214\\150\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"<KU\\190\\173\\189\\202^\\248\\ESC\\164\\t\\EOT\\253l\\191\\STX\\232\\244g\\165\\162\\135u\\185\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\220\\227\\&4[\\155,\\220\\&0\\167p\\143n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI,\\244\\DELar\\192\\138\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\DC3}\\247jM\\193\\204WC\\DC2\\189\\a\\198y\\135\\DC1\\166\\DC1\\225z\\157\\ACK\\ACK\\GS\\166\\187\\222d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146[\\190\\195\\242\\247\\203\\&9?\\136\\136t\\154rM\\188u9\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"^C?\\221S\\189I\\161\\187\\155\\&3\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\US\\135\\DC2\\152\\ESCXe\\206\\190F\\215\\158\\172\\SYN\\204\\235H\\NUL\\140\\212\\217v\\247Y\\135\\149\\239d\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149'\\b\\ETB\\146\\DC3\\224\\DC1\\DC3[l\\237\\167`\\143\\236\\&2e\\163\\213\\224v\\207\\253-\\201\\NAK%h\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"qQF\\243\\145J\\235\\216\\187\\175\\190\\193\\&1\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\173\\219\\\"E\\165Hno\\176\\&6\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\255<\\SUB\\SIB\\246\\203\\155\\167\\EM\\172\\DLE\\a\\207\\252E\\203\\209\\&6|\\182\\173\\138\\205\\DEL\\129z4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\177\\187\\\"w\\158\\151sY\\239\\196}\\251\\212\\173\\150\\a,\\245[r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\155\\180\\169E\\150\\143\\243\\&3\\230ID\\184y\\244\\DC1|Bf\\194\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\196\\230\\218\\166\\187\\163;\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133@X\\248\\164\\184m\\195m\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\165\\218\\226\\203T\\153\\213\\GS\\189\\211\\207\"","tag":"AbiBytesDynamic"},{"contents":"\".d\\146\\v\\245\\233\\236\\NAKA?\\247\\DC3\\192U\\190w\\NUL}2y\\229\\140y\\\"t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158i\\178\\139\\171\\217m\\242\\170C\\ENQ4I\\DLE6`\\174\\164x\\252\\218\\215\\&1\\169\\196\\r\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\&3~\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"'a\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\SUB\\239\\194\\198]O\\241$\\234q\\221\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHV\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\184\\231d!?\\230Z\\\"\\153jr\\228\\172\\US\\EOT\\SYN\\157\\245\\&5WE\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"X\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\215\\160H\\201\\&2\\217?\\159d#\\240\\&7&\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"=e\\t4j6w/SQCcf\\238\\192y\\245\\207w\\182\\215\\224\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\162f,\\136\\245\\EOT\\188<\\DC2u\\217\\176\\178\\RS\\143\\239\\199\\168$\\211[:\\254\\132\\&4\\156\\129s;\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\188\\139:\\248g\\254F\\237\\180\\248`t\\DC4M\\227\\DC2gf\\SUBw\\168\\237I\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\225\\248\\233y\\172\\217z\\242\\197\\139\\214\\201M:\\247\\180\\237\\216\\223\\184\\218\\157\\v!p\\246\\SO\\248H\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\222+\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\213r\\230\\&57\\180y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253j\\DC4\\160\\233\\198\\FS\\SOEX\\188\\ETBc\\217\\219K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255@j9\\GSw4#>\\NAK\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204zA\\203P\\186\\251\\220L\\131\\\\><Q\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\229u\"","tag":"AbiBytesDynamic"},{"contents":"\"]^\\RS\\247\\236\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246b\\144-\\231\\&9\\179Qq\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"S8UI5u.\\243\\DC4\\170\\152\\153.z\\216\\&7\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\248\\\"\\SUBR\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177>\\156\\148\\a^\\DC2T.\\139\\&9\\142\\180\\NUL\\DC2\\152*\\SI\\NUL\\240\\164j\\\\3\\212\\RS\\197\\187\\ETX\\224\\EMR\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237[\\249\\\\\\NUL\\229\\215\\246\\198c\\243?\\184L-`\\168\\ESCP4\\219\\218=\\203\\181K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\181'\\144E\\238-\\GS\\182\\220\\134\\STX/m\\128\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\213\\157\\174\\145\\208\\239i\\205\\232e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\243\\156\\254\\212\\157\\190\\DLE\\DC2DqD\\SOH\\CAN\\221\\DC3\\DC1\\142\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN}\\SYN@\\160\\132\\fq\\238\\ACKi\\166\\159\\236\\229t\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\255\\210\\180\\RS\\248\\GS\\141:\\211g{\\159`\\167\\&7/N\\SI3K\\141\\252\\US\\237\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145N'\\193\\ENQ\\SO.}\\210 \"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\DC1\\182\\196y\\133\\203l\\255\\254\\130w\\210=\\212\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243O\\225\\ESC\\171\\\\?\\GSc\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\136\\r\\224\\241e\\210\\230\\139TvS\\bqG\\178\\DC4K .P\\201\\179\\ESC]\\STX\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\159\\211\\&7\\183)B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237b:>\\243\\157\\175M7\\136\\153\\170\\233\\&3\\177Z)\\176\\166g\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\145(d\\241y\\128\\219\\175\\249\\144#\\190\\156\\140h\\231{\\168\\146\\f\\234\\135\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"HGi\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243I\\130I\\173\\169\\192z\\165i\\184\\167\\175\\225\\ENQ\\165\\DC3\\215\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193V\\226\\218\\198R\\229\\159\\184\\222R\\146T\\201\\255\\218\\149\\250\\195R$\\243\\US\\163\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\DC3\\162D*\\216\\211m8-\\223\\206,\\v\\207?\\142\\226\\214\\144\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174]R\\ETB*\\195\\208\\195\\153\\235`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159-v\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\189\\226NjB\\223=^\\219a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1b\\129\\240aI2$\\172\\174\\200\\EOT\\156\\193B\\236\\219)\\165T2\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\180y\\159\\184\\203\\244\\160\\178\\STX\\138\\164\\214\\135n\\bd\\151\\161\\149{\\225\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\161b\\247''\\170\\n*\\243-P@|\\226\\223\\SOH\\206\\&9S\\212\\234R\\189\\ENQkw\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\246\\207\\147\\DC3\\140,\\166\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"@)i\\158\\DEL\\160\\137V\\132\\230\\165\\171\\167\\NULA\\159\\153\\222v\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"8Cq\\171^\\156-Z\\ETB\\194[\\ESC\\164\\203\\\\\\254C\\DEL\\239\\&8\\152\\181\\246\\168;\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\246\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\221\\223\\135\\&5?\\228\\142\\198:\\182w\\STX\\163`jH<\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"^\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\140mNJ\\NUL^g\\n3\\198\\130\\212\\&06\\240\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\ETX\\137/\\247\\177\\182\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"!G\\222\\ESC!\\DC3\\150\\206\\165\\154ND1\\187\\200\\&6\\183A\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESCa\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182MD\\148\\150*\\178\\\"&H\\225\\252r\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158cb\\a\\RS\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\239B\\215\\157+\\SO\\180\\ENQ\\248\\247\\157\\ACK\\222\\180(A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\223|\\145\\DC4H\\150\\ACK^#\\193\\193\\141\\130\\195\\158\\253\\189\\185=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\255\\146q0c\\226\\129\\177v~\\EOT\\148xJ\\216\\234\\232\\154\\229vs\\RS\\247%w\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203#cg\\146\\&3\\253\\185\\&1\\237\\FS\\246XA\\195\\158\\158lY.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195h\\208\\210\\&5>L\\248[\\214\\SO`;e\\216l\\244\\149\\215f\\196\\180\\128kOZ\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"?\\DC2\\163\\241\\SUB\\\"N\\143\\154\\149\\191[\\214\\248\\222\\142[\\140?\\234g\\182h\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213$\\201\\253\\241\\RS\\SUB3\\t\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\158\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\247XS\\EM}\\164\\221\\169\\179\\237\\178\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128:6\\\"\\128sBJ\\243\\228\\&7h\\198\\168D<G\\185\\254\\234\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"'\\181\\202\\157:\\EM\\239\\229S;C\\233\\RS\\147\\133\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\143;\\FS\\a^\\DELM\\186\\&0\\240\\189\\151n\\151\\254\\188\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\152\\NUL\\233\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\243\\138\\143\\187\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\224\\&2\\221\\153\\&7\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\206\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\250O\\255\\ACK\\213\\223\\139`\\154\\DLEJ\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\145\\192\\&0\\230/\\188[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\&1\\153\\142!\\ACK\\158\\218r\\183\\169\\253\\DC2d\\f\\228\\185\\181\\r\\177?\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\189\\206O]\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\246Gh^k\\165\\143R2b|\\182df\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\a}\\255.9\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\191\\165S\\166\\215\\231\\r,\\FS\\152-\\251\\189\\130y5\\177j\\221\\217\\139^g\\ETBB\\DC2\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\204\\242\\196\\244QRl\\155\\162z\\239\\156\\155\\t\\179G\\161R\\171t\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\138IB\\148\\141O\\209<==\\218)6}@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\186\\187\\vc\\203\\212\\ENQx\\243M]\\175\\247\\213\\134e;p\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237Q\\DEL\\211\\214\\&7RzF\\203\\133\\209\\148\\166\\v\\198\\130\\150x\\180\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"xv\\NUL\\244B\\204\\&6\\129i\\132-?\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"yl\\\\\\EOT\\190\\198Q;8m\\130\\246\\197\\178\\248\\&7\\190\\242\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"XG\\227\\ESCG\\NAK\\143\\250\\207\\161D\\187~\\144\\190C\\216\\135U,\\212\\NUL~\\207\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\233\\\\_\\224\\163~CLc\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"Yr\\243\\188}h\\139G=\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\167H\\246\\189\\DC4\\182)\\216l\\222w\\195\\255\\239\\&1x\\163\\147\\157\\181\\195\\&3\\164'\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\255\\206JP1\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\236\\196#\\SI\\157j\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\247>\\EOT/\\226\\200`\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"1=\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134P\\157$\\237\\DELV\\f\\148MxM\\133.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\199\\&2\\243\\&7\\166G\\128\\182\\151\\168s\\252\\DC4%@\\185\\158 \\191\\&6\\179\\176T\\131\\130\\214*/\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197-\\216\\233\\175\\&9\\EOT\\245\\214\\172\\165\\217\\151\\179\\177\\157\\140\\242\\231V\\188\\142x0\\208\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"3v\\197\\230\\203$\\239\\179H\\DC3\\194\\157\\202\\227\\191\\v\\215\\rAk\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"@Cb9g\\184j\\DEL)\\247s\\241\\219\\SUB\\255\\DC4\\179\\&6\\234\\210\\&1\\SYN/\\128\\249\\245\\164)\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\187Z\\206\\191\\150r\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\207fD\\221V\\152\\DLE\\250\\212\\DC3b\\238\\177 \\150\\SO')\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243t7\\225\\CAN]j;\\186\\133G\\225\\134\\162r$\\182\\NAKZ\\220\\245\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\208\\134&j8\\155Pc\\183Z\\208\\245o\\239GF\\154\\FS~\\244C\\ENQ\\251\\139\\244\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\154*~\\183~7\\237}\\SOLyL\\ETB\\139-L\\214\\194y(\\a\\139\\DEL\\166\\166\\140\\&2\\DC1)\\179v\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\190B\\160o\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132n=\\133\\EOTH$\\170~\\ESCj\\252\\130-\\145K)\\206\\213G9C\\254\\168\\SO\\186\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\233\\250U\\154\\229\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156#9\\238\\211C:Y\\170\\159\\253\\143\\DC3d-6m\\169E3s\\166(\\202)\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183On\\176\\SO\\242\\149u\\ETXv\\169\\128\\219\\155t\\151<W`\\EM(\\ACK\\r\\140]\\156*\\198\\208\\204\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\220\\NAK%\\154>\\220C`\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"qj\\231\\191\\SO\\241lx\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"o:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\131\\v\\227\\253^P\\138S\\182\\184\\FS\\154\\208\\219\\ACK\\225b\\SO\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186e1\\210{\\172\\243w~\\228\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\EM#Lca\\180\\183\\a\\255\\144'\\213.\\201k\\242\\NUL\\131\\177\\&9x\\236J\\170\\160\\SO\\251k\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"gtuC2j\\EOT\\200\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128Y\\CAN\\163Ag\\204\\251\\236T\\193\\132\\179\\&9K\\202!\\245\\210y\\181\\248\\166\\164Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\175\\143\\178\\208\\193\\165U\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\215,J\"","tag":"AbiBytesDynamic"},{"contents":"\"]r\\194\\132k\\198\\235k\\225UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\&3%\\226N&\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219f\\222B\\NUL\\229F\\241yT\\NUL\\141\\248\\244\\192Q\\162\\245\\&0\\179\\190\\155\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\150\\157\\r\\246\\178\\EMR\\191\\210!\\DC4Sm\\205-\\DC2\\200\\243\"","tag":"AbiBytesDynamic"},{"contents":"\":K\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\253\\173\\172\\177\\STX\\247\\250\\r\\246,4t\\177\\183!F\\235\\194DK?\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\235\\&0O\\159\\140\\192\\132\\131\\142\\192\\t\\DC3\\222\\192\\234\\RS0* s\\243\\158\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252q{\\217\\194A\\253]v\\STX:5\\222?l]\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\252\\\\{@/Z\\132\\&2\\212\\254\\199\\229\\139\\DELW\\217\\170,\\149p\\NAKJ\\US\\238\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"7\\194q\\170\\142.I\\219:R\\238d\\235\\224\\CANq5S\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250Fb\\209\\223n\\227\\195\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\205Xr\\SYN\\DLE\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\196\\236(n\\238\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\233\\253\\250\\&2_\\206q\\251:\\r\\243;\\171\\233\\182tQx\\227O\\150\\191\\SOZ\\at\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211r=\\206\\198t\\234\\254;(\\137\\130\\DC1e\\132FmN\\164G\\248\\153<\\EOT\\130\\156\\251T\"","tag":"AbiBytesDynamic"},{"contents":"\"o>8-\\145D\\SO\\230hJG\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\191\\245y@\\243kG\\216\\208\\155\\171G\\202\\252\\174\\SOJ\\a\\223\\198\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"RK\\141dU\\243R\\193\\188\\222\\DC1Q\\218\\155\\213\\156\\&3\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"s(\\211w\\191\\136\\155\\193\\170\\254\\223o\\SYN\\201M\\238\\188\\DC3\\225c\"","tag":"AbiBytesDynamic"},{"contents":"\",\\199\\208*T\\229\\&3\\SUBvu{KV\\226u\\NUL=\\241\\&7\\152~\\180\\171!W\\151\\204[\\203\\&7\\159\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\214\\236\\ENQ@K\\152\\ACK\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"+;\\ESC7_:\\226\\210\\248\\&0\\FS\\170C\\232\\STX\\SIO\\157'\\222C\\136\\147@zrU\\173|\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\ETB\\188<c\\200zs\\DC1\\255\\&2\\223r\\DEL\\206\\213\\&7\\135\\231\\SOH\\186\\237s\"","tag":"AbiBytesDynamic"},{"contents":"\"K5\\152(\\220{n\\251\\226\\128\\135\\172\\&2Uw\\170\\FS\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\187\\225\\239\\201~M\\ESC\\v\\191\\204\\249\\255H\\226\\153t_RD\\a\\152\\EOT\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\195`\\168\\205\\171\\DC468\\SOHF\\170\\EMG\\183\\DEL\\198;\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\249\\v:\\227n\\DC1g\\129\\139\\215\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ESCe\\SYN\\149\\177\\SYN\\244N\\DC4\\192\\ESC\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"[PVB.\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230 \\231\\rJ\\167P\\DC2`\\167\\188\\251.s\\226\\192L\\n#\\163\\226\\205\\ETX\\230\\196\\NAK\\129\\SOH\\ENQ\\135\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\193\\181|)\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201V\\195\\247\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145t\\145\\239$?\\204\\DEL\\197V\\164\\167h\\DC4\\226$\\181\\197Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\233BL(\\229)*!\\128\\GS]\\136\\SUB\\DC2\\199\\215\\131\\235\\212\\216#\\219x&\\CAN\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\129y\\190\\DC4H\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\163\\US9\\184A\\148\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\163\\161\\&7x\\NUL\\158l\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"l\\172\\242\\CAN4\\230\\&0\\151b\\131ej\\183B\\134\\253\\128\\&8,\\183\\ETB\\146\\146\\214u\\253\\SOHf\\224n\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"S\\216\\209\\160%\\158\\&6\\184f\\192\\143\\161\\187|\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\214VM\\217\\166X\\163\\248+=\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\203\\132\\\"\\251\\191\\193\\237S\\NAK\\ETXv\\223\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\222\\SIz\\245\\142\\179\\RS*:\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"o\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139A\\217\\176\\&7\\252\\128\\152\\ETXH\\205?\\FS\\GS+\\167\\SOH\\252D\\206w\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244S\\229a_\\135ngy\\153\\137-Utn(\\b\\FSy\\178\\195h\\NUL\\v\\203\\148W\\207~t\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\178\\190\\154\\232\\140Jq\\SUB\\184\\206\\206\\246oO\\187\\&3!\\146/\\157]\\178\\233\\137\\160_\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\227^\\180x`\\207qX=\\149\\139~\\167<\\206p\\RS\\DEL\\197@A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4(\\210\\178?\\218\\206{\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"3!\\149\\242\\FS2\\189\\188\\212\\246\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTp\\ENQ\\154\\145\\178\\187\\227\\144n\\255B6\\204\\133\\213\\198\\230\\237\\236\\ETX\\135u6\\129\\232N\\245c\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237v\\221\\246\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\205\\141YX\\218\\FS\\249XK\\231\\224S\\185\\238\\&0^\\248\\226\\&1\\DC2\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN|4&'\\193\\232\\FS\\ACK\\142\\201\\DLE\\144\\181\\&2E\\211\\145\\206h\\177A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251R^\\149\\129\\149\\DEL\\CAN\\140\\183\\235\\CAN\\187\\230\\212\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\tQ'[T\\173\\221\\211X\\234\\242\\249aTKjA1\\185\\148\\226\\162\\170c\\130\\201\\155\\236\\193\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134=uy\\159\\135\\173O\\143-\\217\\209}6\\216t|\\239\\nZ\\153Q\\144\\n\\239KL\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\136\\128\\SOH\\211\\228\\&2\\233\\EOT\\237\"","tag":"AbiBytesDynamic"},{"contents":"\">l\\246\\238>\\130\\246p\\157q\\DC1\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMq\\DLE_\\135\\129\\vl\\137SG7\\DC1s\\195\\ACK,\\148\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\193\\241\\167@~Cc\\245\\212\\SI\\tn \\255\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\180\\GS\\139\\216\\220\\197\\185;\\139\\ETB\\150\\ETB]\\179o\\134\\187\\230+\\250$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207 xH\\138\\134\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN|\\202\\234g\\201\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\ACK)\\r\\170\\223\\235\\218\\159\\218\\222\\237k\\181C\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\r_\\144d\\NUL,\\237\\225\\DC4\\189\\CAN#\\189k\\ETBw\"","tag":"AbiBytesDynamic"},{"contents":"\"AGg8\\191J\\136`\\158\\253\\176-\\184}\\186\\225\\198f\\177\\133\\CAN.pd*\\160n\\239\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248s#\\DC1n\\194#\\205\\159\\208e\\162(\\224\\154\\128;\\128\\246\\235\\136*\\n\\155Ce\\195\\182ke\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\167=\\254\\139\\185&y\\175\\184X\\ESC \\SUB\\161\\159\\&8\\146\\DC3\\136 \\203%6_4\\218&\\SYN\\140\\152\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\191$[\\230b\\ACK2\\215\\254&\\ACKY\\208\\DLE^W\\227\\158\\238_\\236\\153\\218o\\246&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219K\\181\\176c\\164\\212\\222\\190\\CAN '\\220\\207\\225\\239\\136\\234\\\\\\188h\\143C\\226uZ}\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"*:oB\\145\\232\\218w_\\156\\208\\247\\229\\219\\146\\200tT\\166=\\138G\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\200\\158^\\182\\246>\\172\\197\\t\\209ok\\161\\214\\180\\198\\234c\\237gz$z\\176\\f\\207\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\218j3~\\149\\n3\\157l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200)\\139\\172\\&24\\253\\187\\149\\&1\\238\\DEL\\190\\198\\195 ?\\138\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\136\\&8\\DEL\\187\\131\\254\\&6n\\SYN\\173C\\NAK\\ETX,<\\194\\235\\161B\\166,h\\193K\\210\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\151\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a7G\\fI\\212\\179\\229\\248\\218\\247Th\\ETB\\224]<E\\SI\\159<\\225\\&1\\135\\192\\128__b\\158\\186_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\SOH\\240\\226\\ENQ\\157\\240\\139$\\166\\218z+\\202,\\189\\176\\f\\197\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\170\\195}\\165W\\210\\218j\\211\\ACK\\STX\\ACK'\\\\\\DC3\\143\\131\\154\\140\\255\\246\\138H\\163\\230\\167\\DC3\\232!\\134u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195i\\156\\134\\USDhY\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"?\\190LN\\241S\\200\\173\\185\\158\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"wa\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"Y-,t-\\DC3\\228\\172\\191\\173\\172`\\248\\248Ka\\245\\DEL\\171S\\131iy\\ETX\\148\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\ESC\\141\\178\\ESC\\f\\184vf\\132\\248\\SI\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\168\\130{\\EOT;U\\190\\253]v,\\144J\\NAK\\167l!ep\\216\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\234E\\162W\\156h\\219\\197N\\210d\\159)s\\\"\\146 \\233\\ESC\\STXU\\187\\186\\155\\196\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\\\x}(6e\\166cs\\ACK0jp\\129\\152T\\GS\\233 \\217\\224\\&6Mn\\212\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\155\\208eRP\\170(\\\\\\NULdk)\\191\\131c\\183!A\\DC4]j\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\185\\237\\va\\163\\154\\179\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\250\\171h\\n8\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234<7\\DC4\\f\\191P\\183)R\\222\\213\\172o\\218\\241$w\\129\\237\\SO|\\210l2y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!:\\249\\177\\240\\184u\\DC1l\\198\\244\\141\\181w\\EOT\\153y`7HS\\133\\DC3\\200ujt\\ETX\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\174\\153/\\173X\\220\\178J\\167\\218E\\fq\\245\\200\\223t\\158n@\\DLE\\DC3\\135\\235\\ETX\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\213\\135\\237\\225\\&3\\212\\&6\\220\\222(\\US\\151k\\211\\208\\199F\\185,#\\167\\185\\DC4\\SYN\\209~\\154\\139\\162\\177l\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\154\\\\\\188\\130\\194Q\\140\\245\\245o\\145I\\146Bt\\154\\&4\\180\\ETB\\a\\151\\176\\128\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157{;^\\166\\r\\229\\207)C2\\238l\\236\\&7G#\\176\\163\\EM,\\230\\157\\STX\\197B\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140p\\DC4\\DC4\\128\\nk1]\\215l\\140\\197\\GSH\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\222\\151\\219=\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\DLE\\225\\v\\179\\188\\180\\233W7\\DEL$\\249V\\242\\151\\214\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"ve\\184\\250@gs!\\222-\\SOjL\\215\\143\\DC1\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\169$\\155\\SOH?\\250\\ACK\\151\\162rP\\197\\144\\173\\243\\f\\229\\&9\\129\\209\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237p\\197R\\US\\255\\DC2C\\182p\\236\\fp\\ACK\\251\\ETB\\182\\234\\255\\131{\\NUL\\140\\227\\f\\182 \"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\176\\217\\172\\221\\201\\202,\\138\\GS>\\170A\\\"c\\236\\157>\\USCO\\t\\ETB\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"=Qk\\199\\&8\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184P2\\157\\157\\243\\165%\\161zu\\186(\\ESCc\\161\\182\\SYN\\NAKf\\249bA'\\224W\\SO\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\201=\\b\\217\\156\\239q\\228\\v\\157\\243(\\181y\\243\\237\\147\\DC2\\190\\203\\DEL\\131w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\238T\\197\\215\\149 w(\\140j\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\159\\177\\252\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\147\\244a\\213\\&3\\161Y\\179\\229\\146\\227X\\130W-F\\153\\180\\189\\152:P!\\231 W\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\SOH\\146\\162\\SOHY\\184\\\"Hd\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\223\\136\\159M%\\143\\&7\\SYN\\216R\\141\\219\\227\\ETB\\141\\237z[\\229[\\154-p90\\n\\220\\144\\214\\200\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236<\\203\\RS7w\\211*y\\SO\\194\\&1\\198\\DC2\\\\\\171k\\190>\\244\\208\\179\\185?~@C\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173o\\180'\\183\\135\\132\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\240KH\\138\\199\\DLE(u\\169\\186\\237e}\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\235R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\245Y\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\160J\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\230}U\\165N\\t\\192\\228\\211NAf\\128tR0\\141\\187\\205\\a\\189\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\173\\&5\\173\\192\\NUL\\248BP\\245}\\US\\211HMY\\DC1\\205\\134\\&8\\172\\226\\216\\&4\\214j\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\140\\192c\\182b'\\188\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202V[+\\241\\171\\&9\\184\\180\\SUB\\193\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"(J\\DC3\\208\\255P\\145\\156^\\t\\168N \\232\\r\\229\\&0E\\FS\\151zl'\\143\\241\\172d\\251;&\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"q/\\173\\200\\242F\\f\\182N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183x\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\146C\\195\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\206mIf\\SO\\139+c\\249\\147\\199o\\201h\\134[\\DELX\\183\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\NUL\\SUB\\142\\247PV\\200\\250$\\205\\255@\\187em\\144\\212M)c\"","tag":"AbiBytesDynamic"},{"contents":"\"x;\\227\\183\\237\\198\\161\\166\\245\\240\\&1x\\t\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\149\\a \\212\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"L;\\\\\\178\\177\\v\\228\\158m\\159U\\136\\US\\185\\150\\194\\198H\\179\\160\\129\\210\\164\\248\\186\\&7\\203l9i\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\234\\247\\183\\t\\151|\\137\\251%\\213N@\\199a\\254\\DC3\\183P\\228\\a\\tH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227.\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\DC2Gz\\203h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\ETX'\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\148\\187\\243\\138\\236d\\t\\179\\148\\224f1\\216\\159S\\US\\236E\\SI\\142\\254\\208\\241]\\STX\\152X\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\224\\&8\\\\\\253\\248\\&2*R\\RS\\197\\184)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206>\\aW\\NUL\\157\\207\\189\\185\\173\\181\\143@\\SOH\\137\\195!\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188y\\193\\223\\145\\251$\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"!%(\\250\\SIK\\EOT\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\194roK8\\173\\156\\161i\\132n!9J\\237\\231\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639701"],"tag":"AbiUInt"},{"contents":[256,"63121521168576279791384573"],"tag":"AbiUInt"},{"contents":[256,"10"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011519"],"tag":"AbiUInt"},{"contents":[256,"94358408685645305998766800287690066817902721661704699170552832178745481442577"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639819"],"tag":"AbiUInt"},{"contents":[256,"68730660818767497435628539841352699433406294974229346458220132056036251361011"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"81907795162913322093660917541149480828375581184937692992760097710278414714362"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"93821268051898691851898448804847626398175617546328103758218464184753405593550"],"tag":"AbiUInt"},{"contents":[256,"60383363411510975641040719878432187378344401168172571058390496276661875418341"],"tag":"AbiUInt"},{"contents":[256,"83751404407547403524419494457775512636373161395715430022886742344207302594029"],"tag":"AbiUInt"},{"contents":[256,"135"],"tag":"AbiUInt"},{"contents":[256,"316"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"114635229444539569036052416186068507435723123937649319477519751187382216377955"],"tag":"AbiUInt"},{"contents":[256,"11442512255715832344895092832524849867406735832690301933553441109490571986582"],"tag":"AbiUInt"},{"contents":[256,"466247220588710113536500040689554428906182570862720874694969528918446421518"],"tag":"AbiUInt"},{"contents":[256,"88469706410278902991990432607415402169667360917305918469113497465016022681109"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731850"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639850"],"tag":"AbiUInt"},{"contents":[256,"499"],"tag":"AbiUInt"},{"contents":[256,"15845630884545345161140186384050579103477883186360983704193625031237861898421"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629934"],"tag":"AbiUInt"},{"contents":[256,"24203997589280114158694724354742435206980436061197718573032631612351809008967"],"tag":"AbiUInt"},{"contents":[256,"99802146744870494711157916196243808540426818485031954717836128360844505444160"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639935"],"tag":"AbiUInt"},{"contents":[256,"110829707105519137177791063219151596041335125703814506883745203208753897069946"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"62677967449642533880167384005620090146819954220594092917911217704473444361034"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639850"],"tag":"AbiUInt"},{"contents":[256,"111257089579631132171585035186922355818844275195890859313078567973870530711071"],"tag":"AbiUInt"},{"contents":[256,"3598"],"tag":"AbiUInt"},{"contents":[256,"50363626550154168986928857260809384949876870971819821223277576146850213523005"],"tag":"AbiUInt"},{"contents":[256,"3596890332250331754562338319514011492358862219701376870302129321432967673284"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132611"],"tag":"AbiUInt"},{"contents":[256,"36010284350866743274039828903410725208760764043226865352227913984255514580565"],"tag":"AbiUInt"},{"contents":[256,"112040653262834784263976007301246096156859088818478635303644852372470441729076"],"tag":"AbiUInt"},{"contents":[256,"3602"],"tag":"AbiUInt"},{"contents":[256,"88105656345655773428738671405980777430594134500833151332991338833286428238851"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639852"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639898"],"tag":"AbiUInt"},{"contents":[256,"115215898386818971112871305770036538292069838342114888498680172166490454734608"],"tag":"AbiUInt"},{"contents":[256,"85421939325323247747731626784791286332026617092778608131690573032351724880778"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417344"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636333"],"tag":"AbiUInt"},{"contents":[256,"23708086921016477343234830141491525061864900565847080720663270495017466115392"],"tag":"AbiUInt"},{"contents":[256,"90986354402119147079517566373485717113157000875455172974731956707278612433452"],"tag":"AbiUInt"},{"contents":[256,"76829312179194619370071369216853787892155646154817385569856100422083066566787"],"tag":"AbiUInt"},{"contents":[256,"47133448349757236426554123773014836011189547702967758038628273958267362517476"],"tag":"AbiUInt"},{"contents":[256,"8440773650984581387069570352544845862837220359358006529585593624"],"tag":"AbiUInt"},{"contents":[256,"1001"],"tag":"AbiUInt"},{"contents":[256,"77806020674082845034951986786111931025141367691405967035771199402972007043902"],"tag":"AbiUInt"},{"contents":[256,"86477666402134331819107343815333898623249272962588140227104558805134772989947"],"tag":"AbiUInt"},{"contents":[256,"74933842402581883226465936506186412750792749483585338728665661566065045976826"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639682"],"tag":"AbiUInt"},{"contents":[256,"41228909042176290666730697140399830463379183272329852025016484708152672421433"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266894"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000078330","0x0000000000000000000000000000000000000000000000000000000000000069"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"70"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5b","0x000000000000000000000000000000000000000000000000000000000000c351"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035eaa","0x000000000000000000000000000000000000000000000000000000000000137a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007cf4e","0x000000000000000000000000000000000000000000000000000000000000379f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"6200575879312759"],"tag":"AbiUInt"},{"contents":[256,"1532358815"],"tag":"AbiUInt"},{"contents":[256,"44726335460288287989981670317938030423929566478594857362874312582769948523696"],"tag":"AbiUInt"},{"contents":[256,"1529084403"],"tag":"AbiUInt"},{"contents":[256,"488"],"tag":"AbiUInt"},{"contents":[256,"57453585646518504590256631972300626358908626228770841381681929417076520323368"],"tag":"AbiUInt"},{"contents":[256,"44511807172383919777856992815726426551672748171692790134744393678796224416056"],"tag":"AbiUInt"},{"contents":[256,"230"],"tag":"AbiUInt"},{"contents":[256,"36157921964611546793290461116270692984491000451542357868660900582338689482458"],"tag":"AbiUInt"},{"contents":[256,"91153226035839151411235116171860235244119141581269632208508115292935488089914"],"tag":"AbiUInt"},{"contents":[256,"1529351970"],"tag":"AbiUInt"},{"contents":[256,"1527140558"],"tag":"AbiUInt"},{"contents":[256,"108586570940061113197143726834884519748683948967417784663962489855752477071909"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1532956154"],"tag":"AbiUInt"},{"contents":[256,"81"],"tag":"AbiUInt"},{"contents":[256,"114994928664955973933139803038023660033729970817892759441226045353089958584640"],"tag":"AbiUInt"},{"contents":[256,"94279559247090507555467209001100642492037517171478181412968423363378720576071"],"tag":"AbiUInt"},{"contents":[256,"88387299000268760950975601876168024004180773562869385543241669358042250822362"],"tag":"AbiUInt"},{"contents":[256,"25206863172564583714169826585945117881178778630983627064109003289116703043516"],"tag":"AbiUInt"},{"contents":[256,"6067818763154929737654975143127318712814629605452030680631386517473952912443"],"tag":"AbiUInt"},{"contents":[256,"88462582329729084961314321291640807844291358113874509543167202004559921782925"],"tag":"AbiUInt"},{"contents":[256,"1529150012"],"tag":"AbiUInt"},{"contents":[256,"997"],"tag":"AbiUInt"},{"contents":[256,"1528788041"],"tag":"AbiUInt"},{"contents":[256,"999"],"tag":"AbiUInt"},{"contents":[256,"1526917220"],"tag":"AbiUInt"},{"contents":[256,"80007532573541945933741670229162127775615620246417543958067978227851963978775"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1535090090"],"tag":"AbiUInt"},{"contents":[256,"1536840817"],"tag":"AbiUInt"},{"contents":[256,"62267330121796247690242691775394534874832282284686291222875"],"tag":"AbiUInt"},{"contents":[256,"72032172743592643943253434755220390041925337859497198566054878445585900684442"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087743","0x000000000000000000000000000000000000000000000000000000000000ae88"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000000000000005b27fafe"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":[256,"73"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000f5d8","0x0000000000000000000000000000000000000000000000000000000000003d9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1532046340"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b353","0x0000000000000000000000000000000000000000000000000000000000007118"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000386eb","0x0000000000000000000000000000000000000000000000000000000000007d57"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"987"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c712","0x0000000000000000000000000000000000000000000000000000000000001443"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000681d1","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"2193"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"1525331615"],"tag":"AbiUInt"},{"contents":[256,"57478794668669654051711739839568784941644179956859802890274278067433458153580"],"tag":"AbiUInt"},{"contents":[256,"34569487984211761288410586957216564708548325635312860146116954779927783596649"],"tag":"AbiUInt"},{"contents":[256,"95074133091091154851567239997962453558475893867651846720579535104700324652408"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a239","0x0000000000000000000000000000000000000000000000000000000000000e13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000368b2","0x000000000000000000000000000000000000000000000000000000000000ced3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"1528873427"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000315ba","0x000000000000000000000000000000000000000000000000000000000000c061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"96822078547617646300718058840764155722535507896413125759571758298115068100989"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000548eb","0x0000000000000000000000000000000000000000000000000000000000005d4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001388","0x0000000000000000000000000000000000000000000000000000000000005545"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b838","0x000000000000000000000000000000000000000000000000000000000000bf65"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005229d","0x000000000000000000000000000000000000000000000000000000000000e962"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417342"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000f946","0x0000000000000000000000000000000000000000000000000000000000009f90"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"36906266223796000783062121993715464556550407748192317724898513357993441416340"],"tag":"AbiUInt"},{"contents":[256,"477"],"tag":"AbiUInt"},{"contents":[256,"80944588535988827660171111935564191967708554264012817336853054612543608802617"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005196e","0x00000000000000000000000000000000000000000000000000000000000062a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088b59","0x000000000000000000000000000000000000000000000000000000000000012d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"78973169862718086334688856202748093388903396293176929045103341892998989866695"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001200e","0x000000000000000000000000000000000000000000000000000000000000db12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"I\\243_,\\213\\191\\211\\181\\RS\\132T\\244H\\177<\\247~\\GSB\\176s\\148J\\229\\a\\162\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\193k\\151RL\\250D[\\SOg\\131r\\189\\DC2\\229\\DC4\\DEL\\210u\\176\\&0\\234\\137\\216O\\RS\\173x\\202\\141\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194B|\\ESCP\\217\\165\\224-\\153\\219\\255\\132\\150\\231\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214'\\133\\&4\\\\\\186*#'\\190\\253.\\137\\213\\233\\213\\147#U\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201g\\193\\195\\165P\\RS\\249\\249\\NUL\\213\\174y;\\182\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\199\\217\\234\\169T\\147\\252G\\r\\230s\\164\\179k\\239\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\246\\175\\217sx\\184\\133\\186qn\\228{\\142\\128\\175\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\144\\146\\ESC<\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217l`\\SIV\\147^P\\fZZ\\205\\163\\fg\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\252\\141|\\DC1\\129\\199n\\138\\217\\\"\\140!\\ETB\\192\\&3Y\\172\\168\\211\\RS\\254\\229k\\f=\\154MU\\236\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\&9r^\\179\\203\\&6\\183\\148\\177\\192K\\200\\200\\DLE\\149>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169J\\224\\180A\\n\\DLE1\\183M\\180l\\194!\\135?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\199H\\239&\\159\\198V7P\\252\\133\\207\\176M\\180R\\192,\\210\\194\\208( \\209\\161\\183\\ENQT\\r6P\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\179\\196(\\133b\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"IU\\CAN\\170\\157\\194>\\212=\\130\\233\\EOT\\238\\174\\EOT\\146\\137<\\231\\249u\\ETXm\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\206\\182$\\180\\SUBz\\175\\134\\133R\\135D\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\141\\ENQ\\DLE\\221)\\233\\191\\233a\\139\\244\\f\\SUB\\200\\183}Yf\\208ly\\216\\226\\EOT\\ETB\\167|\\155\\SUB\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\165\\218\\EMi]\\164\\234\\242\\238\\ETX&\\149#\\229\\192\\SO5\\DC2w\\241e;\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\NUL\\194rM\\249\\133\\243[(6\\SI\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\&8\\135A\\183\\&3&a\\142\\USz\\198\\ETX\\133\\247>&\\202\\ETB3\"","tag":"AbiBytesDynamic"},{"contents":"\">-\\130\\176\\132\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198'R%\\226\\219+\\193\\252\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\191\\&1\\254\\205\\b\\163dA\\172\\SOH\\181\\217\\172\\193i-\\167\\204\\220\\129\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185b\\210m\\SOH\\nDK\\233G\\169_\\166=\\165c\\138\\160\\162\\RS)\\\"c\\216i\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\196\\\\\\t\\156\\SUB\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"BV\\SUB\\a\\247\\168\\183/,\\141\\184\\&3b\\GS\\226\\247Bx!O\\183\\215]\\229\\225\\183\\STXUka_I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\211)\\134\\\"\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152r\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\159\\228\\&3\\187<\\134t\\238\\226\\&0\\168\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\246\\182\\EMP\\204\\243+\\207\\191DqI\\171%\\159x\\180\\233\\178\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\152\\255\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"}j|P\\146\\DC2\\223\\248\\134\\\"?\\175\\201\\162\\211\\200\\165O\\\\\\187\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\DC1\\146\\129h\\201K\\195[`\\194\\252\\243\\180\\RS\\146\\DC3\\CAN\\132\\b\\DC2?\\226?\\175\\228wU\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\247<iM\\157n\\204\\148zX\\a\\141\\175f\\240\\\"\\FS\\185H\\194c\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\250\\&2\\222\\166,\\131\\SI\\209\\232b1\\b\\200\\172{U\\SOHzI\\151NE\\SYN\\DELfn\\SOH\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236I\\240G\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\244\\144~9\\165G\\DC4\\143=\\216\\FS\\165\\175\\v\\211\\SO\\172\\170\\209vI2G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\196\\194\\199\\141/\\152Bq1\\184\\154\\NUL'\\GS\\SO\\215a\\NULN^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204I\\145U<Z\\185X\\157O\\199H\\239\\247})\\191x\\182U\\239|\\248\\NUL\\192\\207B\\198\\200xf\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\170\\136\\ENQ\\178\\179\\131U\\252\\190\\GS\\255\\197\\145Ql\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"rQ\\192\\v\\203q\\178CL\\192\\128\\194\\174\\141\\182\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\203{4\\202H\\173fP\\245E%$\\DLEn\\222\\f\\184i0E\\204\\182PUm\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\ETX'\\vx\\220L\\140~ e\\184\\148{9\\v \\NAK\\188\\184\\ENQ\\180\\162\\143\\139Z\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\229$V~(\\143|@~\\165\\221\\&8\\150=B\\145\\223\\DEL\\186Q>\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"z8\\254\\NUL\\203\\250\\248\\153\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\SI\\n\\193V'\\246\\227\\147\\144\\fV\\196\\164\\248\\148\\242\\205\\182]\\ESCL\\201I\\140\\vB\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\171 $Tp\\136\\SUB@)\\236\\207U\\135\\166\\230\\178kF\\229\\225\\142\\146U\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189Qg\\EM\\ENQ\\196\\NUL\\144\\217\\&0S\\191(2\\211\\158\\185:\\173\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQN\\216hQ\\\"<\\DC3\\128\\225\\220{\\137\\SI\\\\[^\\FS&\\242\\162M\\189\\238\\GS\\153\\177\\191\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM2\\ACK\\229\\255\\GS\\225\\210\\207F}\\166\\158\\207\\253\\&2\\187=\\198\\163#E\\231\\221\\134a\\159\\141UDnT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\216\\131\\&0\\143|\\n\\235\\162J\\170:\\234}\\178\\f)\\147\\195\\197E#\\218\\199E\\f\\165\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\249\\&5\\214\\191#\\242\\200Cd$\\199\\157\\212lUx\\249\\171:\\211\\195y\\174\\158W\\202\\134\\STX\\137b\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\\"\\RS. -\\200\\184y\\194\\204\\251G\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\">e3\\174\\161\\234d\\144\\FS\\205\\ENQk;[qe\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\248\\205\\DEL\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"PQ\\241\\197\\138\\182C\\195\\201\\253\\238\\164?,O \\\"\\250{'\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"[<\\169\\132j\\233v\\218_\\\"\\241\\178\\DC3\\139?\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US%\\128\\206\\163yJo\\194\\185\\nLOS|\\ETBgT\\GSwN\\SYNv\\251\\RS\\216\\f\\246\\166A\\n\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@?{M\\220\\227\\a\\171\\130\\&6X\\211\\183\\136\\212\\aD\\194\\199\\ACK\\US\\GS\\US\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX.\\220\\ETB\\SOH\\155F\\169\\218\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\144}\\204\\143\\DC3\\194\\&11\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\155\\167{|s6\\128\\ar\\153\\148\\&5\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\132T\\a\\179(P\\226\\182\\180~\\216W!\\164\\142\\182I\\FS\\183R\\NAK\\187%\\133:\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\234\\148u%7\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\ETB\\141\\227ZNs\\131%\\130\\190\\242\\183\\201\\219v\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\n\\196\\162\\&2\\142\\195\\224\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239;5\\239P\\142\\171\\155\\EM\\169[\\162\\164\\EOT\\246d\\148\\170\\221\\170\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\175b\\195\\208\\177mWs\\133\\239\\153\\174\\231\\188\\210\\EM%m\\234v\\ETX\\233\\149nh\\232\\220\\161\\172\\238;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\252\\254\\178\\251\\n\\179\\164\\\"4\\n\\fkSo\\169\\US\\147T\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"3'\\172\\RS\\176=*\\216\\FS\\169\\149\\196U\\213-1\\228zvY\\195\\142\\136Bg\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\227\\229\\FS?\\162\\&6H*\\132@FneRS\\200\\224\\197Yx\\203\\nP\\130\\150\\v\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210N\\149\\n`.\\255\\169\\148t\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\140L\\234J\\USv\\185\\157\\165v\\139\\183\\224F\\139h\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\137Z\\244\\DC2_{\\225j\\168\\216\\239\\222\\ACKt\\137On\\244\\SIa\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\235hL\\FS.Mn3h\\233\\187\\202\\218B\\216\\159'*\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194|\\202\\DC4\\RS\\DC3\\194m\\184\\238\\r\\246S;HfI9\\b\\150\\DC3\\240\\202'\\134t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146x\\168x\\163\\153\\&1\\138<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\255\\CAN\\218\\191\\236b\\223O8\\222\\169\\DC1V\\200l`2SOy\\ETB\\212\\255\\228/\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\138\\tF\\188\\153v\\176$WB\\202\\133P\\220\\159\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\&3\\DEL7\\206\\197\\DC3\\br\\157R\\DC3\\255\\202\\ENQ\\181\\222\\t\\242\\205\\220j\\207\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\222\\SO\\254H#\\CAN\\250b\\250B!\\228\\253\\&5j\\165\\149\\167>U|\\165*\\236p8\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\t\\DEL\\176\\191\\130!\\253 Uv\\254\\&0\\156x\\EOT\\165\\184\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\226\\174\\209\\174!`\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\143o\\204=\\213\\164\\214~ \\153\\FS\\SIPTM\\ESCVe\\238\\184\\143+C\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"Ee-3|\\b\\RS\\SI\\DEL ^\\t\\205&\\f\\160\\210\\STX\\233\\129\\202\\DC4\\136\\GSF\\\\2\\184h\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\163*G\\129=\\255)p7\\247\\185\\ENQ\\166\\165>K\\US]\\176\\155D\\247T\\140\\&1g\\134\\217d%>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\178\\156/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\174k\\132\\&5}\\206_[\\168,f+\\206b\\180\\&0\\210[\\231\\133[\\190#\\153\\n\\196\\147\\DLE\\233\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"e/\\250\\154\\189i\\219\\215N\\a\\245\\132\\216\\&3y x\\201}m\\132\\&0\\a\\165\\205\\168F\\135-\\199\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\207\\CAN\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"GE\\134\\202\\234&\\239~\\222g\\184\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\226.\\233B\\131\\244\\176\\SYN\\178\\158\\205\\185N\\138\\245\\235\\DC4eFx\\EM\\176\\240\\v\\242e\\155\\239\\236)\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189L4\\145k\\a'\\145\\227\\198\\133\\132\\STX\\232\\131\\246=[\\142\\199\\226\\248o\\180\\&2s\\DC1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\211\\&0\\238\\ENQ\\SYNQ\\219\\182\\153\\167~z\\159\\206\\159\\CAN\\CAN\\228\\&3=\\132Q\\223z}1\\191\\231\\CAN\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\145R\\198\\161\\188\\199~\\RS\\221\\193\\150\\188\\224\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241X\\134:\\r\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\171\\238G{_bG\\SYN\\132\\183\\201\\NUL\\229\\188$\\255\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"~<bb\\233P\\189e\\253\\230\\ESCfR\\191\\ENQ\\200\\&4\\211\\252\\157'\\242\"","tag":"AbiBytesDynamic"},{"contents":"\",\\169!\\223C\\224G\\181xd;7\\n\\195\\v7\\140\\187\\208Ck\\222?\\220\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\200\\173\\149\\241R\\\"a\\SOH\\SOH&\\217\\177*\\214\\134\\b\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135;~\\CANtP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\128\\NUL\\199\\SO\\250\\156\\247\\\"\\149\\NUL$r@\\198\\146\\b\\193>\\SYN\\141\\176\\138\\216\\240(\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\161\\198\\247\\237\\145\\236\\215\\206(\\170\\190\\\"8\\227)S|\\253\\141<\\t\\237\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\FSz\\SOcq9\\139\\207\\168=\\153\\180\\\"7`-\\205\\142\\192\\138u\\134\\154\\n}\\155z\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\201\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\241\\\\|\\223\\230tO\\200\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207Nnbc4~\\225u\\DC2\\188f\\f\\206\\250\\175z\\250\\ACKI\\226:\\227c\\189\\134m\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\152\\168]\\213$\\243\\216\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\229:\\232\\GS\\188\\219\\152\\t\\ESC\\SYN\\212\\240\\SOHu\"","tag":"AbiBytesDynamic"},{"contents":"\"gHC\\255\\171~\\247\\255\\152\\DC1(w\\\"\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKo\\156\\176\\204\\140%n\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"'{\\224\\220\\189,\\221\\214S\\176w2\\DC2v\\143\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\182\\168!\\137\\194\\148y\\SYN\\218lK\\212+\\221p\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\199}\\215\\252\\213\\254\\195.+V|\\CAN\\208Y\\179\\186X\\143\\171\\161\\GS\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\SOH\\186\\137\\159\\149\\f\\bl1<G,\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Cb1\\185fm`Q.\\243IW\\158Z#\\253\\157Nb\\139\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214yj\\193q\\ETX\\244\\210\\130\\187\\140+\\181\\255\\&00(\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228TC:=\\DLE\\252\\&9\\162\\205\\235\\154\\142\\206\\163\\248\\161\\141\\143\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\241\\&3\\168\\DLE\\ENQ\\215T0EK\\243\\240\\197S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\\"g\\222\\&9\\160=\\251\\142\\FS\\DC1\\215\\190\\149\\128d\\a\\190\\248U\\229\\211rB[\\251\\SYN\\213\\r\\148\\139a\"","tag":"AbiBytesDynamic"},{"contents":"\"b=\\191\\177}\\243\\203\\USe\\174\\234\\SO\\128\\249\\238\\DC2*\\188\\255U\\235\\US\\167\\176\\FS_n/)\\158-\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n_\\DC1(\\179\\208\\159(\\247\\STX\\136\\ETB\\244H\\r\\DLE\\222\\137\\f\\134\\203\\&0\\FS!2S\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"/`\\231\\SYN\\240\\244u\\156u\\EOT\\128\\NUL\\202\\207u\\171[\\203\\&5\\234c\\187\\157\\FS\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\134y\\199]\\b?\\172\\192\\204\\185\\242\\196\\US\\149hb\\245\\238d\\235 \\140\\&0\\244p\\184f\\252\\ENQ\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\141\\246\\143\\DELs\\SO\\165q\\219\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"S`R\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\157Y\\253\\ACK\\SUB\\SOH\\235\\226\\166\\252\\190\\146\\226\\142\\163\\223\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\169ni7\\216`j\\NAK0mN\\135f\\255\\224\\&0\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\148\\&4\\222m\\223vM\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\166\\&2\\152\\183\\&38\\229U\\205\\128\\226\\CAN+G\\ACK\\163d\\DC3\\245\\179h\\172o\\243&\\STX(h\"","tag":"AbiBytesDynamic"},{"contents":"\")_\\129\\195\\DLEy\\242\\\\2\\250\\ta\\170fbw\\158\\252\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"'\\210_\\FS\\164\\235\\172\\b\\243\\NAK\\232\\n\\SOH\\EOT\\239b\\133+'\\b\\238\\ETX\\215MD\\SI\\249Z\\233<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\203\\168rv\\236\\194|\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\167w\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194AV:\\248I\\164\\211\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\243\\134F\\177\\218\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\255\\168\\235U3\\150\\ETBDU5\\217H\\241\\135\\180\\220\\203\\185\\129R\\ACK\\239\\249\\DC4v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\163\\ENQw\\135*s\\SUB\\171f\\ETX7\\DEL`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\194_\\DLEi\\198(,Y\\208\\163=\\145\\193\\130\\ETB|\\FS\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\231^\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\185\\SYN#\\223\\231\\218\\185Z\\159\\239\\228\\253\\157`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\141j\\150\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\148\\196t\\228Gr6\\222\\&7\\NAKbj\\174^-\\149\\159\\142C\\181I\\165\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143$\\211\\159m#\\238\\133\\210\\251PNv\\223\\169\\153Kx\\173\\134\\159\\228\\232\\CAN\\254\\144F\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\229\\176\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\229Im\\249=\\182/\\149\\DC3\\204\\243\\195\\154%\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\143\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\189\\192\\169\\171\\224A\\NUL\\164Ao\\245(\\136\\245\\146\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\177\\RS\\138F9\\179\\255WEX\\175,n)N6\\170^\\253g\\179\\243\\178\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHm\\ENQ\\196_)C)(\\185\\n\\178\\DC2?\\132\\142UX\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\238\\EOT\\DC4\\ESCK\\180\\188\\161%\\189\\EM\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\153\\159Q\\EOT\\181B\\139\\173t\\169U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\141w\\200)\\166\\224\\136\\&9\\153g\\177\\246vV\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\242\\NAK\\167\\&7\\151\\STXc\\226\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\208L\\225\\148A\\RS\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\201\\US\\197\\202\\163\\ri\\254SJ\\192\\167\\DLE\\225\\234\\DC1\\248\\167y\\241\\DLE\\ENQe\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RSd_G\\237T\\129g\\128\\255I\\222H\\DC2\\162\\ESC\\SO\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214E\\\\^\\DC4T\\DC3\\\\\\172\\190\\171\\152\\204\\157\\220\\204D\\162\\ESC\\226X\\230\\191=\\210L\\205/\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"lz\\146\\ETB\\169\\143\\&5\\CAN\\216\\218\\RSjp\\192\\132F\\145mjrxxI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\EOT\\197\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\182\\143OI\\236c[I\\255)\\203?\\180\\228~;\\252\\211\\DC4/\\133\\&5\\SI1}~\\171\\177\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\ENQ\\211%\\173\\248\\204{\\EMK\\244\\146\\210-\\136v4\\228\\202\\221\\241\\&6\\166\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\195\\RS[)?u\\166M\\DC4\\129SJr\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210yS\\SUB*\\242\\174\\211\\CANE\\FS\\DC3\\227\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194h%I\\209\\138\\ETB\\220L|\\DC3\\ESC\\231/~\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\146\\198\\233\\229\\154\\250\\USdd+\\SOHt6\\134\\143\\147\\NUL\\166=\\188\\150\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\173\\178vgB;\\161\\&1\\153lK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\&9.\\231\\SOHK\\DC2\\236\\145\\217\\218\\179 \\ACK\\167\\252!\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CAN\\128U\\190\\253\\212\\172\\222P\\\"\\\"\\203\\204N\\150\\b\\155ySF1\\254\\\"\\179\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\GS\\196@6\\187\\167St\\178\\235\\t\\241\\130\\NAKGeK\\223\\155_h\\184\\SOHq\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r.o\\156\\171\\ETB(Nj\\207\\182\\155\\195m\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\DC4L\\162\\225\\234\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\128\\SYNp\\ESC\\229\\202\\253\\152\\232\\177\\&0^\\f\\SYN\\247\\175\\153\\233\\255\\148\\195\\\\^\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\240>\\225[\\216\\197\\221Fm\\DC3\\163\\205\\160\\r\\163:\\219\\DC4J#c\\128\\246`D\\USV\\205|o\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159p\\189rE\\228\\130\\202\\209'\\DC2\\238\\206\\173d\\DLE\\137\\214b\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\238\\168\\188{\\150\\141[\\243\\RS\\220\\164\\STXC\\DC2\\237\\187&\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"-1\\141\\136\\EM\\170\\205\\220\\193-<]i\\EM\\208VS8i\\208\\195\\207\\232\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\166\\136\\167p1\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\180\\186\\175j;\\172\\163\\186\\ETX\\254]r}\\\"\\n_[7\\n\\frU\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\SOH\\255\\160\\253Nzk7\\EOTu\\222.\\253-\\248\\240\\207\\141M\\145\\228\\165\\160D\\247Iy\\STX2v\"","tag":"AbiBytesDynamic"},{"contents":"\"^r\\v\\EOT0\\ETX\\228\\207\\218g\\197O\\202\\179w\\DC3\\DLEs\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\169\\141MY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\CANk\\251\\202\\133]&\\156\\144X\\229\\211L\\DC2\\EOT\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\SIf$\\172-\\246e.eUr\\186/>{\\171p\\SYN\\213pk\\166\\185U\\NAK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\DC3\\SUB~\\227\\245\\DC4\\197\\199\\SUB\\aK\\v\\194\\165r\\159\\255BE\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\202<4\\246Z\\164\\151\\f\\226\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\228\\202 \\249-\\176\\at\\171.\\b\\154\\161\\235\\214\\134\\149c\\185\\151\\CANE\\142\\SO\\129\\230ql$\\147V\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\191\\129\\172\\252\\158R<\\211\\226\\151G\\DC3\\225\\236\\229\\215\\199W\\DEL\\204r\\210<\\182\\182\\175\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\151^\\140\\&6\\228\\&9\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248P^`T[\\bb\\205\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"S=\\150R\\239\\232\\235&F\\tVx,\\184B\\177o:\\ETX!9\\174\\231\\230\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\176,q\\138\\159\\163\\SOH\\ESC\\254s\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250>4 \\162\\151\\193\\214/4\\DLE\\228\\226\\vk$\\240\\235^\\172?T\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143]\\193\\201U\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\243\\DC3W\\130:\\220\\\\=\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"DMk)\\237l\\166\\176\\214\\233\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\&5\\245\\\\\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\237\\243x\\232\\143\\228(\\207\\187\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\230r,\\US?\\169|\\US\\CANE\\ACK\\179\\184\\196C\\168}\\201.V\\229\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"paD\\137z5R\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\246\\160J\\216\\\"]\\221\\165L\\134^@\\137\\178@z\\141`\\129n\\226\\156\\170I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\249\\215\\&0\\241M\\153(\\232b\\169\\163\\137\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\218\\189\\RS%P\\245\\SO\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"#h\\RSu\\tW2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\203\\142z\\168\\180\\137Wf\\220>\\154\\203\\146\\152\\243\\EM8\\239\\162\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\234{\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\166\\234:\\248m\\EOT\\207\\192\\158\\131\\bSC$x\\212\\194y\\252Q\"","tag":"AbiBytesDynamic"},{"contents":"\"c9\\DELC\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\138r\\143\\NULz\\181=\\DC1\\234\\131\\157_\\187M`w\\157}\\180Z\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL=\\213\\179IV:\\177e\\129*D\\246\\193d\\205\\163\\205\\DLE\\ESC\\185\\227mu\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\US\\201\\144\\DLE\\152-\\136\\252\\207\\SOH\\192\\a\\173\\213n\\DC3\\148\\190\\244\\148\\SYN\\151\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO/\\229K\\226\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\213\\184U\\148\\218F}\\171\\ETB\\DC3Q\\ESC\\187\\177\\237\\250\\251\\200m\\237#\"","tag":"AbiBytesDynamic"},{"contents":"\"B^\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\196\\133y\\240\\SOKv\\211IS\\237\\154\\197\\255\\247\\149%\\212\\183`V\\169\\138\\ESC\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"rL\\172\\147\\255)$\\232ci\\222\\223#!\\196(\\239i\\227\\DC2y\\241\\235\\234<\\134i\\143`7\\206?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\153|\\195\\128\\171G=\\DLE\\r\\140\\210V!\\165Y\\152i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\141G@\\251\\166P\\142\\140|\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"ed\\137\\ESC\\RS\\155\\173\\226\\140\\173\\190\\135-\\138\\EOT\\234\\216O\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\180\\149\\171`EM\\253-J\\164\\135\\205\\174<\\196b\\238\\131\\128lex, \\185\\SI\\231\\r\\SOH\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"F'&x\\219\\129C\\SI3&\\250e\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\DC1\\CAN_\\186\\SUB]\\SUB\\205\\130\\174\\DC2\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\&9\\190\\&6%\\ETXk]}\\GS\\EOTe<\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\173\\245'\\154\\201\\204v\\242\\&61S\\NAK`\\232\\180\\224\\\"%\\n\\192p\\SUBr:e]\\128\\DLE\\222\\128\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t#\\130\\ETB'g\\179\\218\\142\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\244K\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234OQ|\\NULh\\132\\130es\\251\\200\\180\\209r\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"}\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\231\\aluYH\\222i\\179\\n\\206\\145|\\215\\211C\\253^%\\STX\\164\\185\\145\\r\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DELUv]M\\233\\192M\\184|w\\ENQ\\137\\221rQ\\DC4\\CAN\\163F\\234\\214\\149\\v\\139V7\\NUL1?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\145\\231C<\\139\\145\\250\\188\\&7@\\175\\248\\SOH\\170\\231!\\189\\US`\\EM\\149\\182Z\\191\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"CU\\202\\199\\170\\231\\216\\210~\\231\\230\\231H.\\SYN\\DLE\\201z\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\219\\&5[\\222\\129\\143\\228\\154\\159.W\\n\\138\\NUL\\tzX\\219\\141\\166\\&2\\203\\CANL\\210'uM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\187qE^\\f\\CANp\\DC2.\\228\\242F\\DLE\\130\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\183\\167\\197\\252\\n\\t\\158\\203\\235\\155\\251\\164\\195'\\\"\\169\\NAK\\180\\185\\208\\167)\\195\\167=_\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\143!\\129\\154\\254+\\139\\133K\\218\\SO\\136`\\EOT/.\\182;\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\176\\240\\193s\\220\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STXl\\170L\\ACKI\\247\\171\\189\\157\\252S\\236\\132\\DC4\\129\\228\\142\\&7\\137\\v\\158RE\\249\\134\\249\\233ha\\rn\"","tag":"AbiBytesDynamic"},{"contents":"\"jM\\163^\\209\\236\\&8\\158\\201\\247\\238^*x\\188\\165\\215\\&6\\129\\ETB\\t\\178\\f\\RSS\\231\\&5I\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\156\\216fAe\\148\\216[L\\147\\249\\&9\\222\\182{\\176^J\\129\\218\\212\\213\\156__\\203X\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\232\\162o\\243Tz,iM \\225[\\218\\253\\142\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\t)\\227\\179\\US\\DEL\\GS\\RS\\224\\231\\DEL\\172\\128\\245\\DLE\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\212\\222\\RS\\197\\222$\\148\\147[ \\US\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184_f \\\\\\208>\\FS+\\192\\&3\\rV\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\241,\\175\\249\\&6\\163o\\214\\244\\187\\136\\156\\234;\\156\\176Y\\216'\\136\\200\\249\\131\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134f\\166\\177\\173\\STX\\DC3\\ESC\\204\\231\\210\\150\\184\\&1\\SI\\194_\\EML-\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\DC2A\\ACK\\157\\&9K\\145\\237{'\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"F{f\\224?\\141\\152e,3\\DC4\\168' \\168LBZ\\253/\\SYN\\\" \\149p\\212\\204j\\184\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137ci27\\244YN2\\DC3\\NAK\\162\\193\\194\\226Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\187\\245`v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\143\\222\\DC1\\135\\147\\160\\&4\\203\\183\\242\\191\\253\\186\\153\\167^\\SOH\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\245\\201U?\\188\\bg\\249\\150\\171\\230\\152\\DC2\\208\\236\\176k\\251\\NULm\\156\\148\\187\\132\\252p2\\213\\130\\164\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\159\\DELR>nk\\172?\\199\\191@\\245\\255\\246C\\245\\168\\SYN\\166\\235\\222\\US\\223\\166\\176\\150#Q\\205\\220\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\159\\179\\SO\\156L\\245\\176\\204/\\188\\EOTp\\246\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"UA\\148\\221*Q \\SO\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\ESC\\SOH\\RS,fc\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\217\\&9%\\194\\184\\231\\174\\&2\\197m\\255\\185\\139\\&4\\215\\n\\207\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204wHO\\229\\165Ax\\171\\160\\247TW2\\EOTr\\203\\135M\\199\\SUB*K\\FSH\\147\\186\\202\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178g\\222\\t\\234\\130`\\161&\\CAN\\165\\&6\\196\\144\\217\\169\\STX\\DC4N\\175\\128c}\\231+\\146\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\203y\\128\\186<e\\179\\SI=\\187\\154]\\128\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\207\\&7\\161\\166Js\\DLE\\189J\\NAK0h\"","tag":"AbiBytesDynamic"},{"contents":"\"*0\\DC2\\143\\169\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\175{\\157\\189.\\232\\221\\188:+V\\216\\209=y \\204\\NAK\\238\\&1Us\\ESC\\142\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\222\\128\\162\\191\\213\\170\\159\\228\\155'\\tpyC\\USw\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"$ai\\165\\164\\ACK\\184\\231S\\139%\\DC3idQz\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\NAK4\\166\\250\\152\\144\\DC3\\221\\143\\200\\128\\228\\245\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\187\\&0y\\138\\US\\181\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\214\\239v\\216T&\\174r\\236J\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\244\\beRE~,+\\167\\&0l9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\250%\\FS\\199\\EOT\\166\\129\\140\\&7d\\138\\175B4\\193O\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\" \\224\\SOH\\174\\214\\&8\\DLE\\165g`\\193\\167X\\151\\&1=cg?0%\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"Wh\\223;M\\187\\138p\\147j\\210[\\199\\DC2\\231\\249\\160\\168\\NAK\\234p#6\\180\\213\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"100000001"],"tag":"AbiUInt"},{"contents":[256,"7170240590610376070838939101899710156147476741913851941150111699519441795366"],"tag":"AbiUInt"},{"contents":[256,"99556192340305865048032265115474566041889445535748560077366301633848027076443"],"tag":"AbiUInt"},{"contents":[256,"1526180685"],"tag":"AbiUInt"},{"contents":[256,"1524932094"],"tag":"AbiUInt"},{"contents":[256,"1531549811"],"tag":"AbiUInt"},{"contents":[256,"100504346890690762636911232104752936706862256483289392756193656431730445237242"],"tag":"AbiUInt"},{"contents":[256,"63083861377590825512938480590614356762966886857667574947018127201963042485094"],"tag":"AbiUInt"},{"contents":[256,"87450147188519161535479217487920050550788610043777957352938671192347215719439"],"tag":"AbiUInt"},{"contents":[256,"67738086498816490937785204100081368753105411549853546175701293344465227530899"],"tag":"AbiUInt"},{"contents":[256,"97288194174951360068581889313673902721864642738818383550839617473023148502807"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"503"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"64"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"3992015422607909885945796326532014803090807802819214319285259704035825733302"],"tag":"AbiUInt"},{"contents":[256,"43263362985284745623754813649007886252163514624580081949192231691403364251429"],"tag":"AbiUInt"},{"contents":[256,"1529540480"],"tag":"AbiUInt"},{"contents":[256,"54309633728141189207621991607209524543114943838479916180860311542240727014288"],"tag":"AbiUInt"},{"contents":[256,"1531257669"],"tag":"AbiUInt"},{"contents":[256,"22523560047431942886139127791056727592447120665014750353440407796570410278670"],"tag":"AbiUInt"},{"contents":[256,"1529213130"],"tag":"AbiUInt"},{"contents":[256,"1534260612"],"tag":"AbiUInt"},{"contents":[256,"1088577150831019"],"tag":"AbiUInt"},{"contents":[256,"110858404625676644258413121820316605987190041244407673628686489938537257911373"],"tag":"AbiUInt"},{"contents":[256,"22027652626555388006693364495496846279449360442988742410617903645275594487692"],"tag":"AbiUInt"},{"contents":[256,"37265593095057648192481533068306208222"],"tag":"AbiUInt"},{"contents":[256,"13570566897993905280697042247942343443696629583280049262724724792627118794806"],"tag":"AbiUInt"},{"contents":[256,"70031330833272925449989139908486517657303116679597223257642333403165574197200"],"tag":"AbiUInt"},{"contents":[256,"77829664853189973361540937995033601103296654051257247131349012950785730734630"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"52370789184189359907069021563374225100103596740552451026466819472643554568664"],"tag":"AbiUInt"},{"contents":[256,"66160757339803901818189778271281856530909576881636260344124011599195188329862"],"tag":"AbiUInt"},{"contents":[256,"802"],"tag":"AbiUInt"},{"contents":[256,"3528704259173471817700889150923622079253406053700860"],"tag":"AbiUInt"},{"contents":[256,"64493488134827877066592873876857661722015537519700980011817364933218648596271"],"tag":"AbiUInt"},{"contents":[256,"64097413618181636300464285454967530546231930744617629259135727827548894034565"],"tag":"AbiUInt"},{"contents":[256,"89847704881001429437170815568263770910922941697025397543218891694722852918186"],"tag":"AbiUInt"},{"contents":[256,"95805762804092429662715383750458523078551500648178192239520538364005957820541"],"tag":"AbiUInt"},{"contents":[256,"29846208432857302862088170471321195780148495513931004914468732719556822292465"],"tag":"AbiUInt"},{"contents":[256,"29846208432857302862088170471321195780148495513931004914468732719556822292465"],"tag":"AbiUInt"},{"contents":[256,"29846208432857302862088170471321195780148495513931004914468732719556822292465"],"tag":"AbiUInt"},{"contents":[256,"29846208432857302862088170471321195780148495513931004914468732719556822292465"],"tag":"AbiUInt"},{"contents":[256,"29846208432857302862088170471321195780148495513931004914468732719556822292465"],"tag":"AbiUInt"},{"contents":[256,"29846208432857302862088170471321195780148495513931004914468732719556822292465"],"tag":"AbiUInt"},{"contents":[256,"8707036994620961390646271892577319885257730435760806076535416728605252150487"],"tag":"AbiUInt"},{"contents":[256,"96807717263136247972909534192529106723392991916442225052968726185577836555737"],"tag":"AbiUInt"},{"contents":[256,"9795655259351084203501746960870502025918351116154696944256762038801705472370"],"tag":"AbiUInt"},{"contents":[256,"113660632446691755009621262434779590521037013614799677037439730981577659438219"],"tag":"AbiUInt"},{"contents":[256,"6123782642298589098634208803201132850656624593979481653699810942951091950164"],"tag":"AbiUInt"},{"contents":[256,"100568656131719381466089987032302469239338566787771378780649907466215096456035"],"tag":"AbiUInt"},{"contents":[256,"1532783075"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1532991705"],"tag":"AbiUInt"},{"contents":[256,"90986354402119147079517566373485717113157000875455172974731956707278612433452"],"tag":"AbiUInt"},{"contents":[256,"1533378110"],"tag":"AbiUInt"},{"contents":[256,"1532941524"],"tag":"AbiUInt"},{"contents":[256,"30894616006761572703109313017238182128223654541609071866742661691318555593758"],"tag":"AbiUInt"},{"contents":[256,"10217545012207345888435339436130585095947704084549756660299258840955668427833"],"tag":"AbiUInt"},{"contents":[256,"84828325802640641896728203796637061778640841442733297509623079728361023390107"],"tag":"AbiUInt"},{"contents":[256,"65282471658409827545522262763215430898795743577936970660483678949632228991074"],"tag":"AbiUInt"},{"contents":[256,"29210142917334530112619386021508323547635413449854772120521057380077819517464"],"tag":"AbiUInt"},{"contents":[256,"1531872252"],"tag":"AbiUInt"},{"contents":[256,"47916948010390859380566008772657781181303132777314569748828857905372058614072"],"tag":"AbiUInt"},{"contents":[256,"1534601399"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1527181568"],"tag":"AbiUInt"},{"contents":[256,"1526431560"],"tag":"AbiUInt"},{"contents":[256,"307"],"tag":"AbiUInt"},{"contents":[256,"1011"],"tag":"AbiUInt"},{"contents":[256,"78198334612996715139560428180060171627239732248308669022363113101086583842270"],"tag":"AbiUInt"},{"contents":[256,"1527313014"],"tag":"AbiUInt"},{"contents":[256,"1532752661"],"tag":"AbiUInt"},{"contents":[256,"26548963254434012976109467923390223012351907534156933776074236472666377244093"],"tag":"AbiUInt"},{"contents":[256,"86675824475624995348786712667739848428181487969153217703701872720459481426694"],"tag":"AbiUInt"},{"contents":[256,"40691879301449658855590611397025161442931655107246561481746506651122674049551"],"tag":"AbiUInt"},{"contents":[256,"26453741832133688320516490598028106390858157692252181948975139965360713530720"],"tag":"AbiUInt"},{"contents":[256,"66988825880301532195656504861848503176259859720655580195048747943473806300184"],"tag":"AbiUInt"},{"contents":[256,"1528599389"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639903"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"1534025612"],"tag":"AbiUInt"},{"contents":[256,"325516164179262315061157568948"],"tag":"AbiUInt"},{"contents":[256,"98781782141443767314906380459177170006582956374926306492749843052213977246233"],"tag":"AbiUInt"},{"contents":[256,"61642308389567330467135231815881580610774010364888716116671389262484498196665"],"tag":"AbiUInt"},{"contents":[256,"48899043073906960996194117279339974363822463704350064771959299511439166791778"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1529205840"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"1532403432"],"tag":"AbiUInt"},{"contents":[256,"234"],"tag":"AbiUInt"},{"contents":[256,"234"],"tag":"AbiUInt"},{"contents":[256,"234"],"tag":"AbiUInt"},{"contents":[256,"234"],"tag":"AbiUInt"},{"contents":[256,"1528782394"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164d","0x00000000000000000000000000000000000000000000000000000000000001f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001e4cc","0x000000000000000000000000000000000000000000000000000000000000d9db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"851"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb17","0x00000000000000000000000000000000000000000000000000000000000071b0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"2484061187870199966996201764990671006430702520819701018898679041842992607753"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ef48","0x000000000000000000000000000000000000000000000000000000000000205b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"105"],"tag":"AbiUInt"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033ae8","0x000000000000000000000000000000000000000000000000000000000000d97d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\232&\\215\\\\\\190\\143{W\\230\\165\\129\\131B\\128\\DC1\\247:\\CAN\\SUB\\ACKF+\\DC2\\243L\\254\\163\\247\\190\\t\\190\\243\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002541","0x000000000000000000000000000000000000000000000000000000000000c309"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055775","0x00000000000000000000000000000000000000000000000000000000000055db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000082539","0x00000000000000000000000000000000000000000000000000000000000083ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"70"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f530","0x00000000000000000000000000000000000000000000000000000000000082a5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"\"!!! Claiming redemption_ should never revert with INVALID_REDEEMsCLAIM\"","tag":"AbiString"},{"contents":"\"]]]]]]]]]\\191\\DC4B\\203\\r\\167\\246K\\214\\134F\\179\\247p\\190\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"114035021112834816163443157231924541242748849701587715592401581607252544137897"],"tag":"AbiUInt"},{"contents":[256,"33637896356937317832296372857530236591815802680310176548305743007346194499969"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"7743216120200354700998108"],"tag":"AbiUInt"},{"contents":[256,"1531434136"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f0b","0x0000000000000000000000000000000000000000000000000000000000000b42"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"3845047379384363267108"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015bc1","0x000000000000000000000000000000000000000000000000000000000000c48d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"1525429417"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81e","0x000000000000000000000000000000000000000000000000000000000000dbf5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"1534876293"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e018","0x000000000000000000000000000000000000000000000000000000000000d97c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"18033080098358387051385627943354770311206832077362495088379299050744298500584"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014325","0x0000000000000000000000000000000000000000000000000000000000001379"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"36680550716435659123479821187856268675700395843431813198825481760329309412653"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002b6f8","0x00000000000000000000000000000000000000000000000000000000000000cc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"1526876114"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042238","0x0000000000000000000000000000000000000000000000000000000000000315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"20"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f7d1","0x000000000000000000000000000000000000000000000000000000000000bfda"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"58"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002557a","0x000000000000000000000000000000000000000000000000000000000000b910"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"99551307765070056069291780125750781135982833491794514759854733647723670469415"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0d","0x000000000000000000000000000000000000000000000000000000000000004f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a99a","0x00000000000000000000000000000000000000000000000000000000000071c8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"38701369259252338514482584358866223460115048901116380187850932738976975681579"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038516","0x0000000000000000000000000000000000000000000000000000000000000055"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d29c","0x0000000000000000000000000000000000000000000000000000000000009294"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"65"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bbee","0x0000000000000000000000000000000000000000000000000000000000008ceb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"toAddress_outOfBouds\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\193\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb13","0x0000000000000000000000000000000000000000000000000000000000001327"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0a","0x000000000000000000000000000000000000000000000000000000000000cf13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"110391316060395261083772340210441262273806004852728407909221204858952930681335"],"tag":"AbiUInt"},{"contents":[256,"7735913650400935036717365030812122975406898701033925386451037087016734749395"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002225a","0x00000000000000000000000000000000000000000000000000000000000071dd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000050f32","0x0000000000000000000000000000000000000000000000000000000000004939"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005924d","0x00000000000000000000000000000000000000000000000000000000000002b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"3021757679"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000944d","0x000000000000000000000000000000000000000000000000000000000000137f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb39","0x0000000000000000000000000000000000000000000000000000000000000041"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"1000000000000000000000000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000792d9","0x0000000000000000000000000000000000000000000000000000000000005a90"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"248"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007fcde","0x000000000000000000000000000000000000000000000000000000000000a50e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000033","0x0000000000000000000000000000000000000000000000000000000000001022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"87336064100919245171295716994452419738744967798817827288887894039052065184235"],"tag":"AbiUInt"},{"contents":[256,"24244664799960704839147542463115902554784747016143426708146442278147354422013"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908086"],"tag":"AbiUInt"},{"contents":[256,"47072295490029385610967416499232402511691504836371330533359256083312218672172"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002aadc","0x000000000000000000000000000000000000000000000000000000000000eb64"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"892529413"],"tag":"AbiUInt"},{"contents":[256,"1530945844"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1525313887"],"tag":"AbiUInt"},{"contents":[256,"116"],"tag":"AbiUInt"},{"contents":[256,"1525777134"],"tag":"AbiUInt"},{"contents":[256,"81259982090101507417420562371289049743962776181309963918575670608556092607907"],"tag":"AbiUInt"},{"contents":[256,"65712311520796356951557628489092851448863419003103311975699834486176717543387"],"tag":"AbiUInt"},{"contents":[256,"1536840817"],"tag":"AbiUInt"},{"contents":[256,"1528172733"],"tag":"AbiUInt"},{"contents":[256,"1530939012"],"tag":"AbiUInt"},{"contents":[256,"42841235303667274105785175809439858036375124973023829875330808602615112120547"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"99774810030665594908774545629055153380064043740242765819471862610457603025213"],"tag":"AbiUInt"},{"contents":[256,"114434001809093242675726447779109781056480302063925751321359326733274486891385"],"tag":"AbiUInt"},{"contents":[256,"47925423628689633334122716066341624440419135172140986071827356963715571569744"],"tag":"AbiUInt"},{"contents":[256,"68403763462458077264623805496435308952653981916257891382250862721183747782669"],"tag":"AbiUInt"},{"contents":[256,"67616206671289791744293880663865692951552703654646597543286262993560823135987"],"tag":"AbiUInt"},{"contents":[256,"96648896270008846325131166949291094964995479460546257863892872162838416387426"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639798"],"tag":"AbiUInt"},{"contents":[256,"3578284673818144284822961119341999825214809393071988061036037084784058919483"],"tag":"AbiUInt"},{"contents":[256,"136450862084"],"tag":"AbiUInt"},{"contents":[256,"49810614801512374841681389149956517117927099084180636477894899926075722360056"],"tag":"AbiUInt"},{"contents":[256,"77975769915728857861116525624049938199883325536085057993851791032890572465737"],"tag":"AbiUInt"},{"contents":[256,"1531692736"],"tag":"AbiUInt"},{"contents":[256,"35586430603049758559812153786468833811690457829278245581217202547445442217432"],"tag":"AbiUInt"},{"contents":[256,"29488109533578933945362061078900389443096904562552346380251649953738388584365"],"tag":"AbiUInt"},{"contents":[256,"92431648124538266201023128003719076653944068414069861530170355881848846808168"],"tag":"AbiUInt"},{"contents":[256,"24173713852687178628490392439185222498244659496311244191650777617086657871136"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1531427915"],"tag":"AbiUInt"},{"contents":[256,"75799429748577072498608179845443590086642585914909573380477840944497325138001"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"105924321858390861026718526756469035485404919587299576176933809880880169691684"],"tag":"AbiUInt"},{"contents":[256,"113340992252535934676522839795592799523951051991896446898868095441173374335385"],"tag":"AbiUInt"},{"contents":[256,"56482510223397300611138587015938534523536373510348860701036778641985973758369"],"tag":"AbiUInt"},{"contents":[256,"1532172850"],"tag":"AbiUInt"},{"contents":[256,"90242916558891499073182717"],"tag":"AbiUInt"},{"contents":[256,"16067334075546997555414537456287158189017299300919175416950793680235841430896"],"tag":"AbiUInt"},{"contents":[256,"39264464625872629454976392402960129899188335825956389651294833865117655022474"],"tag":"AbiUInt"},{"contents":[256,"1527611042"],"tag":"AbiUInt"},{"contents":[256,"79318179184823623266675109039814611697159329730332281174406087652209417383044"],"tag":"AbiUInt"},{"contents":[256,"42297744104811970981665793963409760745667031444570873196795656196300113479450"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"27949526394792909569015447388322029978216044333759042532927609885507126991134"],"tag":"AbiUInt"},{"contents":[256,"4358486500008333240224108375682345086687431317587773378355595538942222738833"],"tag":"AbiUInt"},{"contents":[256,"22414910086582856708543807005655167392847035108400224858573016994405882549289"],"tag":"AbiUInt"},{"contents":[256,"1529213130"],"tag":"AbiUInt"},{"contents":[256,"6330212484326419886083646656455352389999341151344750410249596161644042376472"],"tag":"AbiUInt"},{"contents":[256,"89381036330717690804"],"tag":"AbiUInt"},{"contents":[256,"17545765962553289582966481873759835756438480922464768540312437271993948195226"],"tag":"AbiUInt"},{"contents":[256,"278060784865040431762035120544907523184"],"tag":"AbiUInt"},{"contents":[256,"3354723980138850917646167457439667681716847415450109271608573739841668918274"],"tag":"AbiUInt"},{"contents":[256,"101952746884386558260681770300365569618227566154000903819804322949061118216398"],"tag":"AbiUInt"},{"contents":[256,"88126679240391130026857904213258934017590891528026125197670276269969408040859"],"tag":"AbiUInt"},{"contents":[256,"70528897627643894181979650188522526435296562467833089646631417332255809224134"],"tag":"AbiUInt"},{"contents":[256,"14854240714654312179047916059878111891008229256888647758221862048227979304971"],"tag":"AbiUInt"},{"contents":[256,"43832072245732579387864881327256008252736681225662781333633031384235360141805"],"tag":"AbiUInt"},{"contents":[256,"107904131068657261237425609801919420366078583725709327177673150020892603394127"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"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":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"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000041372","0x0000000000000000000000000000000000000000000000000000000000004be7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000000000000005b698e33"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040a36","0x0000000000000000000000000000000000000000000000000000000000000aff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000547a0","0x000000000000000000000000000000000000000000000000000000000000d8d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"38845057186434701021790335142877042"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689599"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"774"],"tag":"AbiUInt"},{"contents":[256,"772"],"tag":"AbiUInt"},{"contents":[256,"1529874638"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000229","0x0000000000000000000000000000000000000000000000000000000000001830"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063160","0x00000000000000000000000000000000000000000000000000000000000002a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"87200411306464179693416104"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000703eb","0x000000000000000000000000000000000000000000000000000000000000b049"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015bc1","0x000000000000000000000000000000000000000000000000000000000000c107"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":[256,"6246918684806567150852077696609266156117833430796915053878702793609203165785"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037595","0x000000000000000000000000000000000000000000000000000000000000006b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"100"],"tag":"AbiUInt"},{"contents":[8,"48"],"tag":"AbiUInt"},{"contents":[8,"230"],"tag":"AbiUInt"},{"contents":[8,"163"],"tag":"AbiUInt"},{"contents":[8,"148"],"tag":"AbiUInt"},{"contents":[8,"126"],"tag":"AbiUInt"},{"contents":[8,"18"],"tag":"AbiUInt"},{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"209"],"tag":"AbiUInt"},{"contents":[8,"237"],"tag":"AbiUInt"},{"contents":[8,"2"],"tag":"AbiUInt"},{"contents":[8,"38"],"tag":"AbiUInt"},{"contents":[8,"48"],"tag":"AbiUInt"},{"contents":[8,"144"],"tag":"AbiUInt"},{"contents":[8,"61"],"tag":"AbiUInt"},{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[8,"224"],"tag":"AbiUInt"},{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"57"],"tag":"AbiUInt"},{"contents":[8,"32"],"tag":"AbiUInt"},{"contents":[8,"18"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063712","0x00000000000000000000000000000000000000000000000000000000000041ef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002974f","0x000000000000000000000000000000000000000000000000000000000000c6cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"58319442912754029643249898696277880859441872332393016897502840679413809315075"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e07a","0x0000000000000000000000000000000000000000000000000000000000004e3d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xfE21C85fc6B149ad71cfA8a762f75BaBc15208E2","tag":"AbiAddress"},{"contents":"0x6b784eC8A6AbBa82D3abE46c3AB3a65d730dC51C","tag":"AbiAddress"},{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x473eA6ED4dC1B33c993d3a636445675c5356Eba9","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc4B392897650c72335bA2aa590934C807F3B184a","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x2aa1f1978f5d18D91eB3fc2E6975dC6E85FDefdF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x12F8Aa9519Dc6CbE9b26E3A1201CB779176ad088","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacf","0x0000000000000000000000000000000000000000000000000000000000005a22"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639819"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001196b","0x000000000000000000000000000000000000000000000000000000000000d5ef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"1529612380"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046225","0x0000000000000000000000000000000000000000000000000000000000001d3e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"1530325451"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000315ba","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"57027173370518801934439836390090456074576910489000441488885794768536095128309"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065679","0x0000000000000000000000000000000000000000000000000000000000009983"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"105"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038bbd","0x000000000000000000000000000000000000000000000000000000000000a28c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004f23e","0x000000000000000000000000000000000000000000000000000000000000bd04"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000053998","0x0000000000000000000000000000000000000000000000000000000000008196"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[128,"203969018041585711298959271279610133213"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069215","0x0000000000000000000000000000000000000000000000000000000000001368"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"37874354230692832202791156064192424849187979257325500924291207482984154257017"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000867fe","0x000000000000000000000000000000000000000000000000000000000000c178"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"308"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001e9bf","0x00000000000000000000000000000000000000000000000000000000000036b2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c083","0x0000000000000000000000000000000000000000000000000000000000004529"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004b46e","0x0000000000000000000000000000000000000000000000000000000000000064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"107635258576641260059623480186510188643115624239434543724720468695189769553617"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000577b0","0x0000000000000000000000000000000000000000000000000000000000008191"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"1535958245"],"tag":"AbiUInt"},{"contents":[256,"81707558387616124369277397816153779021693413261277111669114831600121625256415"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000630bb","0x000000000000000000000000000000000000000000000000000000000000caf8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"65219372527523356999031826174041687416847920041623854849746025474335283019974"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004339d","0x000000000000000000000000000000000000000000000000000000000000ec11"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035461","0x000000000000000000000000000000000000000000000000000000000000d28d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":[256,"76620100465569052676508243792482924470878971641686182826959471717553788141222"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000062","0x000000000000000000000000000000000000000000000000000000000000027b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058be2","0x000000000000000000000000000000000000000000000000000000000000000b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c05f","0x0000000000000000000000000000000000000000000000000000000000009afd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031b39","0x0000000000000000000000000000000000000000000000000000000000000884"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"6200575879312759"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004caa3","0x000000000000000000000000000000000000000000000000000000000000d916"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008a","0x0000000000000000000000000000000000000000000000000000000000002250"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000039e49d23b278c4fea"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"18071382040772914749112218030273574068846999794755148874124914742496401482995"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000920b1","0x0000000000000000000000000000000000000000000000000000000000004a6c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"234"],"tag":"AbiUInt"},{"contents":[8,"163"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d444","0x0000000000000000000000000000000000000000000000000000000000008fa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"2939405049588097770248721"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000022","0x000000000000000000000000000000000000000000000000000000000000c062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]