[{"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":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"39145091326895363895066410261557329638312154245124539006349825266259776010512"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000efe9","0x0000000000000000000000000000000000000000000000000000000000000138"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"26360983769651321716692900804716626787166478034813152770180626540978996114368"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000a6b8","0x0000000000000000000000000000000000000000000000000000000000000039"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4e","0x000000000000000000000000000000000000000000000000000000000000260b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"\"\\EM\\ACK\\216\\181`\\178#^\\228{\\vya\\244\"","tag":"AbiString"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiString"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"111344626124357182423189971359808100489665359646691578601265592795165496755108"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630932"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000004"],"tag":"AbiUInt"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2c","0x0000000000000000000000000000000000000000000000000000000000001315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"5974521946697104358163919486271792566134636903852664014781435858058870126806"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000364","0x00000000000000000000000000000000000000000000000000000000000069fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"6400428743605490344455270487418492628820180978194243362483396739592651406082"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x000000000000000000000000000000000000000000000000000000000000176b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858882"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb2","0x000000000000000000000000000000000000000000000000000000000000000f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec7","0x000000000000000000000000000000000000000000000000000000000000b449"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005ddcf","0x000000000000000000000000000000000000000000000000000000000000d38b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1528569242"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005caac","0x0000000000000000000000000000000000000000000000000000000000000041"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\160s\\217\\227\\a5\\ENQ\\227\\&7\\146\\159\\165\\DEL\\DC3|\\ESC\\170,\\141q*\\191x\\US\\130\\177\\&6\\t\\f\\205\\131\\223\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bc","0x0000000000000000000000000000000000000000000000000000000000001666"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"53105141454420203438938714197260285093623249230445113077241088893540835024373"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045d26","0x0000000000000000000000000000000000000000000000000000000000004894"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bb93","0x0000000000000000000000000000000000000000000000000000000000002608"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"115479642996088332011202011034761859304377373274610681279848566936881114248592"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000701c5","0x0000000000000000000000000000000000000000000000000000000000000403"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"92087055412926"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087283","0x0000000000000000000000000000000000000000000000000000000000004519"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbff","0x000000000000000000000000000000000000000000000000000000000000139a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[256,"102329835379645202880299427404547718587586263724922121262298740870772603625941"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000009377d","0x000000000000000000000000000000000000000000000000000000000000ec38"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"\"\\137\\235\\174\\170\\248m\\133\\SO\\217\"","tag":"AbiString"},{"contents":"\"\\177%$:\\136\\182m\\174\\158\\172Ih\\196\\171\\171\\171\"","tag":"AbiString"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"1570364195"],"tag":"AbiUInt"},{"contents":[256,"10915760747262948713238931904845058728626291284816481299842353249531422124282"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"80986722788584887554363588915702594665081551781191204951673407459653348275501"],"tag":"AbiUInt"},{"contents":[256,"458"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000694e9","0x0000000000000000000000000000000000000000000000000000000000001971"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025897","0x00000000000000000000000000000000000000000000000000000000000057e1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"85504266781054813657682642915522678634528140551975755502477765041830605551450"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f4","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":[256,"1999997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5c","0x00000000000000000000000000000000000000000000000000000000000094d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c4b1","0x000000000000000000000000000000000000000000000000000000000000134e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"53105141454420203438938714197260285093623249230445113077241088893540835024373"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e0","0x000000000000000000000000000000000000000000000000000000000000a296"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"32396469923152120396118140705308767849905667867200135613877857830605491539077"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000807a5","0x00000000000000000000000000000000000000000000000000000000000021c2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"105"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d50","0x000000000000000000000000000000000000000000000000000000000000008b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce54","0x000000000000000000000000000000000000000000000000000000000000007f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"297"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025897","0x000000000000000000000000000000000000000000000000000000000000ca08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce54","0x000000000000000000000000000000000000000000000000000000000000ca0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"56262671126866363776997730111488023439145197792888047274160742514055748709525"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008d","0x000000000000000000000000000000000000000000000000000000000000a292"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035136"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead2","0x0000000000000000000000000000000000000000000000000000000000005ef6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"3949516608123337567772743818682898801580047328695860813315229094452485726175"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c337","0x0000000000000000000000000000000000000000000000000000000000007e4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"31923732545347164347954900322789567250937092815318950540462052504332243871454"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007576f","0x0000000000000000000000000000000000000000000000000000000000009e93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":[256,"30652350823418464377740267332444717080053633508258316680239719381854352462475"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084a70","0x00000000000000000000000000000000000000000000000000000000000013d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5c","0x000000000000000000000000000000000000000000000000000000000000133b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"88803108438911986555258183885986888807084366064728370191124797082054572287657"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffc","0x0000000000000000000000000000000000000000000000000000000000007115"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdd","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266896"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe5","0x000000000000000000000000000000000000000000000000000000000000db94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639802"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf69","0x0000000000000000000000000000000000000000000000000000000000001271"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"1533257280"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f94","0x0000000000000000000000000000000000000000000000000000000000005ef7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075df8","0x000000000000000000000000000000000000000000000000000000000000d9d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd8","0x000000000000000000000000000000000000000000000000000000000000136c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabf","0x00000000000000000000000000000000000000000000000000000000000074e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000308","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"37063311447035772859064799169737915008183385419689648224007642004522738646515"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000a","0x0000000000000000000000000000000000000000000000000000000000006ddf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabd","0x000000000000000000000000000000000000000000000000000000000000614a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055bb3","0x0000000000000000000000000000000000000000000000000000000000005caa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639870"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f8b7","0x000000000000000000000000000000000000000000000000000000000000d8ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":[256,"2734834"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063332","0x000000000000000000000000000000000000000000000000000000000000000c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4e","0x0000000000000000000000000000000000000000000000000000000000009204"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c8","0x000000000000000000000000000000000000000000000000000000000000ec37"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"3599"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039009","0x000000000000000000000000000000000000000000000000000000000000a73b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"208794117156103437400178594274200627508"],"tag":"AbiUInt"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e3","0x0000000000000000000000000000000000000000000000000000000000008190"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e377","0x00000000000000000000000000000000000000000000000000000000000095b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"62336962098016817233026011999871540920282825730829858599783197133366129239243"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e35e","0x000000000000000000000000000000000000000000000000000000000000493c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c7ca","0x0000000000000000000000000000000000000000000000000000000000004afe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"\"\\142\\142\\142\\142\\142\\142\\142\\142\\142\\142\\142\\142\\FS\\236\\169\\186\\RS\\201\\173\\227/H\\151k\\ENQ\\174\\ENQCC-_\\212\\233+;\\189\\190G\"","tag":"AbiString"},{"contents":"\"\\SOHt\\t\\176=\\252\\SOHl\\228\\228\\228\\228\\228\\228\\228\\228\\a\\DC2\\194_\\190\\a\\195\\\\\"","tag":"AbiString"},{"contents":"0x3450a15Dc9cbDD5C0e28cC22474D88AD7e2695A3","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"472260498517428093450829853099908080"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"3603"],"tag":"AbiUInt"},{"contents":[256,"118629542499484045"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007cc1","0x0000000000000000000000000000000000000000000000000000000000001388"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"63331472124812026350171019205303161021342319340593521372693588268028150780399"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bd","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055778","0x000000000000000000000000000000000000000000000000000000000000dff9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"76574704735182717049632592872408973265673838933007854983107778188145647753151"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000498ff","0x0000000000000000000000000000000000000000000000000000000000006a29"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1687623587818258938843689781861674042098410067998552806191929755426691219464"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba9","0x000000000000000000000000000000000000000000000000000000000000d13a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":[256,"12444655510459560047032648771434891496321305298785865970640026150529987645637"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x0000000000000000000000000000000000000000000000000000000000000383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7e","0x000000000000000000000000000000000000000000000000000000000000b676"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2a","0x0000000000000000000000000000000000000000000000000000000000000dab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000008","0x0000000000000000000000000000000000000000000000000000000000000bd3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000088ec","0x000000000000000000000000000000000000000000000000000000000000917b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"16519524232307256938811862088783128420298109945870265451755572784396932169510"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639034"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e378","0x000000000000000000000000000000000000000000000000000000000000d9c5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011e7a","0x0000000000000000000000000000000000000000000000000000000000000fa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b73c","0x000000000000000000000000000000000000000000000000000000000000e2d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"79964003801483811233079398251248887036941376589415097961323455226032241312084"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb10","0x000000000000000000000000000000000000000000000000000000000000b7d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e4","0x000000000000000000000000000000000000000000000000000000000000483d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035139"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001d94","0x00000000000000000000000000000000000000000000000000000000000049a6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"309485009821345068724781057"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062b94","0x000000000000000000000000000000000000000000000000000000000000e262"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"1529853211"],"tag":"AbiUInt"},{"contents":[256,"97320275211715851822159339842932909569395566107012356223921764977659791893437"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f9df","0x0000000000000000000000000000000000000000000000000000000000001372"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":[256,"25328566494586571138925220075330276514546616639557647997746887478074332262367"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004feb5","0x0000000000000000000000000000000000000000000000000000000000000009"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a9","0x000000000000000000000000000000000000000000000000000000000000a297"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6b","0x000000000000000000000000000000000000000000000000000000000000be4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb20","0x000000000000000000000000000000000000000000000000000000000000b205"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"4370000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f37","0x0000000000000000000000000000000000000000000000000000000000001386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"91724397421488369160582168583811389774373835254519287225361715435811561840951"],"tag":"AbiUInt"},{"contents":[256,"79690491726069705459003631302290468178240605209347954778754066365387898631421"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639814"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e35e","0x0000000000000000000000000000000000000000000000000000000000004b97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"44"],"tag":"AbiUInt"},{"contents":[8,"78"],"tag":"AbiUInt"},{"contents":[8,"217"],"tag":"AbiUInt"},{"contents":[8,"12"],"tag":"AbiUInt"},{"contents":[8,"237"],"tag":"AbiUInt"},{"contents":[8,"235"],"tag":"AbiUInt"},{"contents":[8,"17"],"tag":"AbiUInt"},{"contents":[8,"236"],"tag":"AbiUInt"},{"contents":[8,"231"],"tag":"AbiUInt"},{"contents":[8,"248"],"tag":"AbiUInt"},{"contents":[8,"27"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff8","0x0000000000000000000000000000000000000000000000000000000000000035"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"87184348134047598602570989672560404707914421603929257036273344686793841327789"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1527121753"],"tag":"AbiUInt"},{"contents":[256,"103356074122288448262890200384552285351947118922788105520511545339843538695116"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553537"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000582b0","0x0000000000000000000000000000000000000000000000000000000000008853"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"501"],"tag":"AbiUInt"},{"contents":[256,"90926640529831016261020080346258069632515721234284989510094069755392382415359"],"tag":"AbiUInt"},{"contents":[256,"96096867078251902124827336190340097588075600140112105367426408880831309016837"],"tag":"AbiUInt"},{"contents":[256,"35232409973035029249891887285961137869958140137531633489894816774466452905533"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"49014906186949199455241143564893080667187454737413088048793288602803807026868"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639813"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"91554788847000933845287341956423264941875118277325605985230449527214861515447"],"tag":"AbiUInt"},{"contents":[256,"26169352847134351285115939922997309467326614146347183525793601029880774921184"],"tag":"AbiUInt"},{"contents":[256,"64901128151814926623965545997594146793826995986305240961779554391544824721"],"tag":"AbiUInt"},{"contents":[256,"71"],"tag":"AbiUInt"},{"contents":[256,"3602"],"tag":"AbiUInt"},{"contents":[256,"90727422725215248951225305813034733091286906924415520362265323931330091647636"],"tag":"AbiUInt"},{"contents":[256,"254"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858881"],"tag":"AbiUInt"},{"contents":[256,"6349480080093483301834736757252724361155498170221527902297092030007810447734"],"tag":"AbiUInt"},{"contents":[256,"81019409096203431253811731624554719278340064860018940935883581235378728158146"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634936"],"tag":"AbiUInt"},{"contents":[256,"114365853814264489475396139160831840885106565456659148814840403680478558725915"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132611"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062339"],"tag":"AbiUInt"},{"contents":[256,"91159933013564784085484003214860979419062712325375929178567137218099027100854"],"tag":"AbiUInt"},{"contents":[256,"62548731917086464964653902974472858502271156766173753700304377234650150912349"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858881"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639915"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000012da","0x000000000000000000000000000000000000000000000000000000000000135f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000003e7b63f0a8eab4e23"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":[256,"805171708647866065551893909850406058103256430945383174719068130750544898889"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068877","0x00000000000000000000000000000000000000000000000000000000000004be"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639907"],"tag":"AbiUInt"},{"contents":[256,"18458919060598481905266722213529484753573760656115940594336159991729537567889"],"tag":"AbiUInt"},{"contents":[256,"643549333115812857"],"tag":"AbiUInt"},{"contents":[256,"52398535797855534035091446396409133138409360064938727810296155748974666957469"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003821d","0x000000000000000000000000000000000000000000000000000000000000b9d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"31337301003306007115603928101326570999130714450063241003399885960732864833579"],"tag":"AbiUInt"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea17","0x000000000000000000000000000000000000000000000000000000000000dcda"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":[256,"14340104321610919496928197049627997869757503171634739544598490569997482335759"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b0","0x0000000000000000000000000000000000000000000000000000000000000b9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000009","0x0000000000000000000000000000000000000000000000000000000000004b95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"103369342475307771957625824322008116023472941981239088025537138956617703036731"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cbe2","0x0000000000000000000000000000000000000000000000000000000000000030"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e956","0x0000000000000000000000000000000000000000000000000000000000000fba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000046","0x0000000000000000000000000000000000000000000000000000000000001c9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004e","0x0000000000000000000000000000000000000000000000000000000000002f7b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"8"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6d","0x0000000000000000000000000000000000000000000000000000000000009492"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]