[{"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":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"1183010421289785317320773409013004417659275837294855022652607827044139203055"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000076","0x00000000000000000000000000000000000000000000000000000000000003f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"103"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580ad","0x00000000000000000000000000000000000000000000000000000000000095b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"11410503860413487630851975604253406792159170205191127943344968679223202367136"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007f","0x0000000000000000000000000000000000000000000000000000000000001328"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"60535741359663095702495852089602320546179861125765035837952603476203765215965"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003e","0x0000000000000000000000000000000000000000000000000000000000001397"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f35","0x00000000000000000000000000000000000000000000000000000000000095df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639705"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046b47","0x000000000000000000000000000000000000000000000000000000000000138f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"5878623614256507594275124645717695763639139257454428162"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6f","0x00000000000000000000000000000000000000000000000000000000000001f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"5002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b1dc","0x0000000000000000000000000000000000000000000000000000000000001356"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000086178","0x000000000000000000000000000000000000000000000000000000000000270e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"112568248145617588239766238797916272628293670375248222713767915217797909606277"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000030","0x000000000000000000000000000000000000000000000000000000000000003e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"74058906274834605377141248666621659392877514000175972166137906708727889566911"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bce","0x0000000000000000000000000000000000000000000000000000000000000034"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"102338132675945589963620856511383499079552514842604856001883029909736702370051"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfb","0x000000000000000000000000000000000000000000000000000000000000d9d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":[256,"3364425976856893411697578213162064986265661993"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81e","0x000000000000000000000000000000000000000000000000000000000000c060"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"3598"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb23","0x000000000000000000000000000000000000000000000000000000000000037e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec3","0x0000000000000000000000000000000000000000000000000000000000000023"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"54602106261555393247127585333081684677117663557011988238861647565011478029105"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2a","0x00000000000000000000000000000000000000000000000000000000000011ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580ad","0x0000000000000000000000000000000000000000000000000000000000000067"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000804a4","0x0000000000000000000000000000000000000000000000000000000000000085"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639933"],"tag":"AbiUInt"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c433","0x0000000000000000000000000000000000000000000000000000000000001530"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4d","0x000000000000000000000000000000000000000000000000000000000000d344"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000035db","0x0000000000000000000000000000000000000000000000000000000000007def"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639920"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001f","0x0000000000000000000000000000000000000000000000000000000000003f81"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"115117831304081857143400655114349680245139134026755695671751072901069196690026"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6f","0x000000000000000000000000000000000000000000000000000000000000c064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6b","0x0000000000000000000000000000000000000000000000000000000000005d4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7be","0x000000000000000000000000000000000000000000000000000000000000b44a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"4102398221636589456136009189075492019153451950046041174115405799723043355823"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f7","0x0000000000000000000000000000000000000000000000000000000000008193"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"54298178020342116319854440113322729087800046029236944373776018090673214470832"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c6","0x000000000000000000000000000000000000000000000000000000000000138d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639864"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f38","0x0000000000000000000000000000000000000000000000000000000000002f7b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"49936059897715491283089416510063524006041766610732790654433736423083318001885"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689598"],"tag":"AbiUInt"},{"contents":[256,"13"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639888"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035135"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"35522059205914011580548726030988272920191789120281098987490111045170599609879"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428162"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"37815023415994495676569003358442272079437908405917860182190855846705024249032"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639937"],"tag":"AbiUInt"},{"contents":[256,"53040011188687835114205773035454374711788140160486292533212291118322367589496"],"tag":"AbiUInt"},{"contents":[256,"77873817289151966071612687833736013363940119994293118149722240468957781233903"],"tag":"AbiUInt"},{"contents":[256,"86398"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999999"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"81093267334769361623889822155197917781182333596463575014348642486658967087966"],"tag":"AbiUInt"},{"contents":[256,"36279231458981595351127289037955821014372352207738449446512545127152976564612"],"tag":"AbiUInt"},{"contents":[256,"25"],"tag":"AbiUInt"},{"contents":[256,"805"],"tag":"AbiUInt"},{"contents":[256,"234"],"tag":"AbiUInt"},{"contents":[256,"996"],"tag":"AbiUInt"},{"contents":[256,"22450517210071492264299278286190813326059702960481336571154114014039418235942"],"tag":"AbiUInt"},{"contents":[256,"60218197914467993700713977828876849534380039293636120528688299224725078296727"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634935"],"tag":"AbiUInt"},{"contents":[256,"5002"],"tag":"AbiUInt"},{"contents":[256,"4998"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"6604455173817726072566814493888389999272464937314406834821310222816"],"tag":"AbiUInt"},{"contents":[256,"10853141919461595507800315394176055147036208012429321946685734093959065508239"],"tag":"AbiUInt"},{"contents":[256,"10423059195991323364283516893559700456"],"tag":"AbiUInt"},{"contents":[256,"472815273351174"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638939"],"tag":"AbiUInt"},{"contents":[256,"38"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639861"],"tag":"AbiUInt"},{"contents":[256,"47190209891559909285427756360283275042890163422106785365537311033960292734187"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088321"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639819"],"tag":"AbiUInt"},{"contents":[256,"70692689636222848515296669802251359122414371341312616880180212509321255463353"],"tag":"AbiUInt"},{"contents":[256,"29200440091989608210585285854010943621714641719537657350863578627541065614914"],"tag":"AbiUInt"},{"contents":[256,"55389089375393614236090461994412803681683020441195718012253943575269160656028"],"tag":"AbiUInt"},{"contents":[256,"7336076874760107142503657728726256898546420291185307719496789644349591195082"],"tag":"AbiUInt"},{"contents":[256,"9106783619673970"],"tag":"AbiUInt"},{"contents":[256,"73350373009743010075579604496685662450690254661036743596416863438249792914181"],"tag":"AbiUInt"},{"contents":[256,"22"],"tag":"AbiUInt"},{"contents":[256,"102350820900943441806214411384293444224547152077576382134858904311837298138353"],"tag":"AbiUInt"},{"contents":[256,"110304383693614451402487284994578375812661572398499687822252358353928897516570"],"tag":"AbiUInt"},{"contents":[256,"94950988304424009206206540781263456343921345118561979925573449875699199937314"],"tag":"AbiUInt"},{"contents":[256,"76080454918679664307132289398507420768065929635239354204310383542787323208010"],"tag":"AbiUInt"},{"contents":[256,"108004530934411061502989149554740751344132932630663741204477457561930603040130"],"tag":"AbiUInt"},{"contents":[256,"40079268323392288477967566131217958210821736186762596984987953318286694722664"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb00","0x0000000000000000000000000000000000000000000000000000000000000056"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000035479b17457af924e"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639706"],"tag":"AbiUInt"},{"contents":[256,"95028306338086121120918079893659745080270061422029884193834946468311884875751"],"tag":"AbiUInt"},{"contents":[256,"77897597653403332066842384896288115080640998451257073960947293357610699050740"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"51685898513042439884991293377873102094014487975842555895794175390336546793369"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"110167433322954689339447156268922595727694927689099053575777611670994658984061"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270d","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004daf5","0x00000000000000000000000000000000000000000000000000000000000082c4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb26","0x000000000000000000000000000000000000000000000000000000000000a291"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001c","0x0000000000000000000000000000000000000000000000000000000000000066"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639864"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x0000000000000000000000000000000000000000000000000000000000005aeb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\152{\\151\\175\\\"\\CAN\\194\\173\\242\\224\\204=MB\\230@\\220\\165M\\224T\\172\\150\\ESC_W\\154\\132\\128\\GS.8\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fa33","0x0000000000000000000000000000000000000000000000000000000000008195"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639864"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eadc","0x00000000000000000000000000000000000000000000000000000000000003ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"32113589018662729534589837599839618078277266669421437258"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e700","0x0000000000000000000000000000000000000000000000000000000000008193"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef47","0x000000000000000000000000000000000000000000000000000000000000820b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f94","0x00000000000000000000000000000000000000000000000000000000000020ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"47259988064622240946739282127689485194648314733842126278596301933777623858288"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000d","0x0000000000000000000000000000000000000000000000000000000000005c65"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"46412183245197231769368860421234306640432803942710454917974049735841588159157"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb11","0x0000000000000000000000000000000000000000000000000000000000000015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":[256,"72843678540384570130542284269305158228863124026963350882941307255602426896246"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001a6db","0x0000000000000000000000000000000000000000000000000000000000008194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"472260498517428093450829853099908086"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270e","0x0000000000000000000000000000000000000000000000000000000000001362"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb14","0x0000000000000000000000000000000000000000000000000000000000000019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e7","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c4","0x000000000000000000000000000000000000000000000000000000000000137e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec6","0x000000000000000000000000000000000000000000000000000000000000004e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef49","0x0000000000000000000000000000000000000000000000000000000000000403"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639927"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000386","0x0000000000000000000000000000000000000000000000000000000000008ecb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb39","0x0000000000000000000000000000000000000000000000000000000000000463"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":[128,"136869249260803028430802550487815161859"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7be","0x0000000000000000000000000000000000000000000000000000000000000bd3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"49936059897715491283089416510063524006041766610732790654433736423083318001885"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689598"],"tag":"AbiUInt"},{"contents":[256,"13"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639888"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035135"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"35522059205914011580548726030988272920191789120281098987490111045170599609879"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428162"],"tag":"AbiUInt"},{"contents":[256,"2000003"],"tag":"AbiUInt"},{"contents":[256,"37815023415994495676569003358442272079437908405917860182190855846705024249032"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639937"],"tag":"AbiUInt"},{"contents":[256,"53040011188687835114205773035454374711788140160486292533212291118322367589496"],"tag":"AbiUInt"},{"contents":[256,"77873817289151966071612687833736013363940119994293118149722240468957781233903"],"tag":"AbiUInt"},{"contents":[256,"86398"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999999"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"81093267334769361623889822155197917781182333596463575014348642486658967087966"],"tag":"AbiUInt"},{"contents":[256,"36279231458981595351127289037955821014372352207738449446512545127152976564612"],"tag":"AbiUInt"},{"contents":[256,"25"],"tag":"AbiUInt"},{"contents":[256,"805"],"tag":"AbiUInt"},{"contents":[256,"234"],"tag":"AbiUInt"},{"contents":[256,"996"],"tag":"AbiUInt"},{"contents":[256,"22450517210071492264299278286190813326059702960481336571154114014039418235942"],"tag":"AbiUInt"},{"contents":[256,"60218197914467993700713977828876849534380039293636120528688299224725078296727"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634935"],"tag":"AbiUInt"},{"contents":[256,"5002"],"tag":"AbiUInt"},{"contents":[256,"4998"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"6604455173817726072566814493888389999272464937314406834821310222816"],"tag":"AbiUInt"},{"contents":[256,"10853141919461595507800315394176055147036208012429321946685734093959065508239"],"tag":"AbiUInt"},{"contents":[256,"10423059195991323364283516893559700456"],"tag":"AbiUInt"},{"contents":[256,"472815273351174"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638939"],"tag":"AbiUInt"},{"contents":[256,"73350373009743010075579604496685662450690254661036743596416863438249792914181"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639861"],"tag":"AbiUInt"},{"contents":[256,"47190209891559909285427756360283275042890163422106785365537311033960292734187"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088321"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639819"],"tag":"AbiUInt"},{"contents":[256,"70692689636222848515296669802251359122414371341312616880180212509321255463353"],"tag":"AbiUInt"},{"contents":[256,"29200440091989608210585285854010943621714641719537657350863578627541065614914"],"tag":"AbiUInt"},{"contents":[256,"55389089375393614236090461994412803681683020441195718012253943575269160656028"],"tag":"AbiUInt"},{"contents":[256,"7336076874760107142503657728726256898546420291185307719496789644349591195082"],"tag":"AbiUInt"},{"contents":[256,"9106783619673970"],"tag":"AbiUInt"},{"contents":[256,"38"],"tag":"AbiUInt"},{"contents":[256,"22"],"tag":"AbiUInt"},{"contents":[256,"102350820900943441806214411384293444224547152077576382134858904311837298138353"],"tag":"AbiUInt"},{"contents":[256,"110304383693614451402487284994578375812661572398499687822252358353928897516570"],"tag":"AbiUInt"},{"contents":[256,"94950988304424009206206540781263456343921345118561979925573449875699199937314"],"tag":"AbiUInt"},{"contents":[256,"76080454918679664307132289398507420768065929635239354204310383542787323208010"],"tag":"AbiUInt"},{"contents":[256,"108004530934411061502989149554740751344132932630663741204477457561930603040130"],"tag":"AbiUInt"},{"contents":[256,"40079268323392288477967566131217958210821736186762596984987953318286694722664"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000041a2","0x000000000000000000000000000000000000000000000000000000000000135e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x00000000000000000000000000000000000000000000000295ac16c15fa83c50"},{"call":{"contents":["asset_approve",[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":[128,"27"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e37a","0x0000000000000000000000000000000000000000000000000000000000004432"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a8","0x000000000000000000000000000000000000000000000000000000000000d9d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132608"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000006b","0x0000000000000000000000000000000000000000000000000000000000009c64"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"49184602918073336506563578227735430830836113118100944080121118087939809931111"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164d","0x0000000000000000000000000000000000000000000000000000000000000bce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011521"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb36","0x0000000000000000000000000000000000000000000000000000000000006a24"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"49988188408033252702539641968113842625401517896880733623771671440287232621530"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008b0a6","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb3","0x000000000000000000000000000000000000000000000000000000000000427f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"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,"1532207297"],"tag":"AbiUInt"},{"contents":[256,"89015631062917353293169636963802621394153192386005730837510277180308608620779"],"tag":"AbiUInt"},{"contents":[256,"89015631062917353293169636963802621394153192386005730837510277180308608620779"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"79000516118737397112062514896785292232538416527067674332093094943932761128775"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"5680814498836163055670835068256"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015182","0x000000000000000000000000000000000000000000000000000000000000b31c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[128,"7157959470014531751702136343833224637"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000047","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000680bf","0x0000000000000000000000000000000000000000000000000000000000007fe1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517f","0x00000000000000000000000000000000000000000000000000000000000047fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"98507946817241313445608923047664110520813562086404337224035832985478335078136"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005caa0","0x0000000000000000000000000000000000000000000000000000000000000003"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"113481865783085527652349424574785115343471836611794370934590696540099308667939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000078","0x00000000000000000000000000000000000000000000000000000000000069fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":[256,"9877210228913933587834980077025143331505758195158841734622388966946746625560"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc11","0x00000000000000000000000000000000000000000000000000000000000013ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"81522708460155649503135465587624615531216048779716887760191736829997428824566"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000040","0x000000000000000000000000000000000000000000000000000000000000c064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138b","0x0000000000000000000000000000000000000000000000000000000000000fb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea4a","0x0000000000000000000000000000000000000000000000000000000000000085"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011523"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c9","0x000000000000000000000000000000000000000000000000000000000000c05f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb1","0x0000000000000000000000000000000000000000000000000000000000001386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":[128,"1128696"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000032","0x00000000000000000000000000000000000000000000000000000000000013aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead0","0x0000000000000000000000000000000000000000000000000000000000001351"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce51","0x000000000000000000000000000000000000000000000000000000000000d9da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"7029812590534685565021939885757397285318666199567011692237189184675504068116"],"tag":"AbiUInt"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4d","0x0000000000000000000000000000000000000000000000000000000000008d0d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["MAX_ROUNDING_ERROR",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4a","0x000000000000000000000000000000000000000000000000000000000000d680"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"196875538381134464821652560553985277397"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea18","0x0000000000000000000000000000000000000000000000000000000000000403"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"54490131369855042568795246064890688325584104310424434583024838523102211260450"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052405","0x0000000000000000000000000000000000000000000000000000000000000086"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"58"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea4a","0x0000000000000000000000000000000000000000000000000000000000001363"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"10004"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e11","0x000000000000000000000000000000000000000000000000000000000000c064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001f","0x00000000000000000000000000000000000000000000000000000000000003e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609601"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2e","0x0000000000000000000000000000000000000000000000000000000000000385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e1","0x000000000000000000000000000000000000000000000000000000000000ec37"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011517"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003e","0x0000000000000000000000000000000000000000000000000000000000001341"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000382e8","0x000000000000000000000000000000000000000000000000000000000000003a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":[256,"69475396683686044032084991474271318966781535169932768857235915504951190469830"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003256a","0x0000000000000000000000000000000000000000000000000000000000002856"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639864"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x0000000000000000000000000000000000000000000000000000000000002710"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"472260498517428093450829853099908085"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c7","0x000000000000000000000000000000000000000000000000000000000000b7e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"46174940332439706193802973352546184904742115984205192261888670713939294874391"],"tag":"AbiUInt"},{"contents":[256,"109770076063116144837032888143954372124986640102095749323697121241503054202914"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007a","0x000000000000000000000000000000000000000000000000000000000000266c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\240\\v\\168\\240Z\\DC3#(\\208\\&5\\161\\SO:7\\235\\231\\248\\153\\231\\245\\ACK\\f\\135\\221\\233,K\\198li\\131\\169\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ceb6","0x0000000000000000000000000000000000000000000000000000000000009e99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"114557324871565813966849676240343003713122966887826761245423900248810696823316"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bde","0x0000000000000000000000000000000000000000000000000000000000009aa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]