[{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":[8,"169"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdb","0x00000000000000000000000000000000000000000000000000000000000011ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb04","0x000000000000000000000000000000000000000000000000000000000000000b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"50218396650420246359841704341893479621108496305318339315656770527516353651870"],"tag":"AbiUInt"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd39","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639437"],"tag":"AbiUInt"},{"contents":[256,"1998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e1ce","0x000000000000000000000000000000000000000000000000000000000000139f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731855"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb03","0x0000000000000000000000000000000000000000000000000000000000001328"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae0","0x0000000000000000000000000000000000000000000000000000000000008190"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"26456630484611900606230973118373332448594498573656587024996761238948521230731"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055773","0x000000000000000000000000000000000000000000000000000000000000137a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"78472611814039487377988060375661936068075140941192699934620450388122435290102"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e8","0x0000000000000000000000000000000000000000000000000000000000000386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x792F3eb0aCD92Dc9ab83c64DA4657B1AA8E47681","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"v\\133\\SYN\\173\\155\\161&!\\186$\\210\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"f2bd\\183\\SID\\184\\236\\201\\232\\DC1\\\\\\185\\202\\179\\240\\251\\235\\NAK\\147>\\137k\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"O4\\173wVT\\199\\191\\ETB#\\188\\148\\179\\&2\\NULJ\\186\\\"\\233\\245\\144\\234\\242\\226\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\\\\\253o\\200T\\DC4J\\233\\137p\\172FXq\\237\\233 ;*\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"u0d\\143e\\255\\149;7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\243\\240\\&8\\216\\158\\192vY\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\230\\205q8\\227\\244}\\207D\\153\\201\\217\\CANw\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195U\\176f\\f8+\\226|\\139\\253\\224\\133\\177\\164lG|\\129\\209\\201\\SI\\180P\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\237D\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHZ\\238\\178&\\178o\\160\\fw\\208!\\189\\230\\169\\&6\\170\\&1\\194\\156\\193\\203\\238\\&6a\\249a(f\"","tag":"AbiBytesDynamic"},{"contents":"\"Zc\\222\\224`\\194\\133\\134Tl\\\\\\134w\\162r\\216m\\241\\235\\203#\\212\\159Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\STX\\205\\242\\243\\181\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\";<b|\\206\\173\\219!\\141\\219J\\245\\253\\177$\\182\\224\\&1MU\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\RS\\223\\145\\143&\\NUL\\254\\234\\252\\248\\206\\250\\&2G\\152=e\\230\\180\\246\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210U\\151\\DC4\\221\\&1T\\220Xx\\187\\246[\\141s\\RS\\224A\\129\\&2P@\\218\\144\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\DC4\\185\\133\\fO\\230\\138\\n^\\249\\238\\v\\154:\\137\\167\\128\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\206\\b\\175\\215\\187\\130]\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\191\\244\\142\\242\\219\\\"\\210\\234\\202yI\\140\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\205*>\\246E\\FS\\255<<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\239Z\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"+,\\170\\201\\193\\172~- #yI\\US\\NULu\\218\\134\\&8`\\205\\181\\176y\\DC4<%\\171\\247?P\\DC13\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\146\\FS\\DEL\\DC1#sTF\\147v\\143\\DLE\\169\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\207\\169\\243\\225 \\147yE[\\194k\\187\\177\\164*\\163\\186\\157C\\\"\\SI\\239i\\207\\205\\199\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\206\\216\\221\\130(\\184\\244\\197\\ACK\\GS^\\152\\226\\196N\\\\\\182nDZ\\188\\SUB7\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\151\\172M\\ENQS\\225\\129\\139\\192\\251eR`\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\ACK\\DC1\\175\\ESCJ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\189\\226\\141\\&9<\\US\\\"_\\142\\NUL\\NULF\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\207\\233\\247\\&5`:a\\209\\187\\221\\GS\\ESC\\208\\SOH+,\\252E\\NUL\\155D0f\\vY`\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\182,\\189\\200\\162jR\\225\\226\\237\\232\\241V\\\\\\146\"","tag":"AbiBytesDynamic"},{"contents":"\",(\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219/\\US\\129(\\\"\\b\\233\\220\\&9\\ETX \\168\\253Z\\231\\179\\146`$\\133W\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152H\\ESC\\RSQ\\b\\184S\\US\\210\\210\\204n\\176!\\211\\DEL\\214\\233y\\192I\\146\\181Pk3\\225\\179\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\136p\\ESC\\247\\DLE\\235\\188[\\214q[\\v\\236\\184\\231r\\229y\\215\\218Y\\134>\\DC1\\243\\ETX\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\150\\153\\DLE\\DC2\\152\\145fy\\176\\166$Q\\128\\130\\206\\&0\\183\\222<\\DEL\\218I\\134B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\229\\247\\172\\206\\154:7D;D\\DLE>\\155\\200\\225\\211`\\218\\GS\\138q\\230\\r\\157\\US\\181R\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\232\\214\\200\\158'\\239<\\187\\164N&\\EOTi\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\170\\SO\\EM\\199\\254\\191~\\163j\\US\\216}\\167\\197U\\228\\254\\240\\149\\206\\157\\162\\192\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\173pKl\\NAK\\ESC\\142\\US\\v\\162\\211\\249n{x\\DC2e\\SI\\237\\244wH\\160\\186\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\STXL\\254;L\\247\\239\\&4\\181\\DC4 \\166\\220[\\165\\249\\242\\253\\208\\139d\\GS\\157\\STX\\224\\&8\\ETX\\249\\222!\"","tag":"AbiBytesDynamic"},{"contents":"\"uW\\174)k\\211\\226\\\\H\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\151\\181\\234\\184\\rXr\\194\\FS\\245]\\229\\217\\198\\154$\\DC1\\212A\\170\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\t\\195\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\148\\162\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\159\\&7DQ\\ACK\\131u\\179G\\184\\140(\"","tag":"AbiBytesDynamic"},{"contents":"\"W%\\254\\208\\US\\200\\223A\\207qb\\198-:7\\163\\136V\\SO\\153\\180\\232q\\169~\\146\\DC3SC\\CAN\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\178;\\197\\178F\\196\\250\\143\\145\\146\\172~\\137\\190)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\236+\\ESCr\\189\\158\\156\\161?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202P\\168S\\205\\SOHB\\205\\139\\232l\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236n\\166W\\222?4\\CAN\\225\\232\\v\\252\\171\\r\\231\\a\\239\\&2RR\\227\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\162x\\SO\\209\\239\\191>h_\\141\\238z\\172q\\EM]\\195\\248\\219\\197\\ty\\183\\224\\252]\\239?\\RS\\202\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\159\\142\\229\\217\\192;L?\\DLE\\209\\161\\225\\181\\132\\189\\244\\&2j\\144ckt\\207\\172\\250W\\241\\212\\136\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\221kt\\b\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\205\\227en\\165R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\SO\\\"?\\ACK\\189\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\226\\138\\219\\241\\231J\\230(\\193\\193\\137\\215Z\\225\\145`KV\\DLEJ\\EOT\\176\\t\\226i\\210g\\231h3\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\218\\&4\\216zPm,\\USY\\252B\\151\\225'\\175\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\168q!\\162\\195\\&9\\227\\255\\170\\&8\\192\\190\\178D\\161f\\142\\176xd\\nL\\206\\185\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\&1\\182WO\\244]\\164\\155\\244\\&42\\190\\155\\242\\153EN\\fA>*;\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\228\\151\\&6\\172\\177y\\143\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"V[\\246\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202m\\RSB&\\129\\&0|0\\243\\NAK\\203\\SOH\\141\\198\\178Fq\\235\\191\\154\\&3\\206\\193\\249m\\201&\\254TO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\FS\\236\\244j\\165B\\148\\GS\\243\\188\\135\\206\\DELA^X\\NAK\\132\\240\\&2\\FS)\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\166A\\206m\\174\\&2\\192\\198\\253\\&4 3$1!\\180\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160Y!)\\165\\239.\\237E\\247lF\\DC4\\222gm\\136?\\228\\178\\142fG\\DC4\\169\\155\\239\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\166\\181\\v\\226\\153=\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203g#\\ETB\\237\\DC3,S\\183\\vkMa\\238\\n\\171\\128O3\\227\\147l\\SI\\143\\136\\149\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175{U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\&1\\177?\\SI\\132\\129\\223\\187\\178`\\197\\242\\135O\\\"a\\236\\ACK%:\\ENQ04\\255\\146m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"$y\\226]\\v5\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\169\\EOT\\175\\252A\\128|3;r\\v\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\144\\&8\\236\\197\\242\\175\\234<.\\236j\\245\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\144\\208\\207\\137\\187\\149`\\244 q\\129\\214\\RS\\NUL\\213H\"","tag":"AbiBytesDynamic"},{"contents":"\"-Q\\EOTD\\n\\DLE\\239\\DC1e\\245@\\160\\170\\221\\v>\\RS\\144\\157\\189\\144\\215\\RS\\EM0\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\155}N\\232\\238\\DC2\\215DP\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"W\\DC1\\194\\DC3s\\178z\\233\\216l\\250\\187\\189i\\138\\198\\251\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\SOH,\\172i\\243\\217\\EM\\177\\150\\CANzC\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\248\\204\\200'\\234X\\140\\DC1L\\SOHD\\DEL\\254IX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\171c\\v\\240\\&0\\248\\&7\\206]\\193\\212R\\188v\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\255'ja\\133,m\\150\\237\\129bIU\\229\\234\\254\\SOHC\\143\\139\\208\\216J_\\150\\220\\130\\131f\"","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":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\253\\219\\203.\\163\\242IO\\\"tL\\NUL\\161}|\\169\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\168\\244\\136C\\238\\193\\249\\246\\134\\150\\&9\\200\\132\\SO\\132\\216\\202 <\\197\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\253;\\232\\195\\142\\138 %:\\202\\142\\159\\&1\\224\\\"\\201{Y\\155\\DLE8\\234\\a\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\246~u\\152\\199\\&4'\\223\\148\\181\\213#P5\\SO\\133o\\218&\\138\\197\\CAN\\231(t:\\bn\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\b\\174AY\"","tag":"AbiBytesDynamic"},{"contents":"\"A[\\177u,\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC(\\172\\225e\\255\\EOT\\235\\140M\\136a\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\198z\\DC2A\\253\\177\\203\\168\\161\\DC3\\ETXh\\163\\136\\236\\vtPY\\150XrA\\242\\224\\241\\161=\\233L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218Y\\251\\142\\132\\212\\163\\v\\b\\188\\154[\\239\\DC1\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131E\\ESCh\\165)A+9\\STXwF&\\253\\140\\DLE\\f9\\224\\131\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\206Tj\\STX<\\237\\CAN\\221\\160\\187\\200\\139p|\\ETB{\\145\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179-T\\200p\\ACK\\195,V2\\141\\179\\DEL\\tM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183-e\\133\\204\\f9\\140F\\252\\ENQ\\157\\224E\\RS\\159\\SI(\\143\\203\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"d\\204P\\153\\GS\\SI\\238\\&9t\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\236\\FS\\188\\239\\130\\a\\250\\175M\\DEL\\217\\DC4\\242@D\\172\\210\\234V\\207X\\NULL\\180\\159\\135\\144\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\228|\\199\\201a\\\"\\177\\201<\\STXP\\EOT\\232\\245\\175\\198(?\\201\\239\\137\\CAN\\209\\221b0.p\\EM\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\202\\174\\187\\224\\210\\187\\182\\SI\\221\\149\\255e\\202A\\128\\138~F\\149\\\\H\\213\\&3y\\EM=\"","tag":"AbiBytesDynamic"},{"contents":"\"o/rny\\ACK\\CANJ\\201E\\143i\\SYNw\\RSI2\\171\\160D\\214\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\167)\\b\\166\\SYN\\190:M\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\221\\223\\183<g\\170G\\211\\v\\167\\156\\170\\148p\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\171\\SOH\\EOTM\\204\\213\\210i\\167t\\246\\DLE\\STX?\\248\\191W\\r\\196\\208\\SYN\\a\\144`\\227\\132\\191K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\&7\\149\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\183?\\172\\163v1\\DEL\\162m\\142k\\f\\232\\189f5\\227A\\242\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132VW\\153\\173\\t\\169\\FS\\NULx\\203\\DEL,\\134\\246\\183\\234\\156\\178\\241\\245\\226\\137'S\\204@\\178\\156\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\ETBWl!)&\\162;\\FSO\\r\\164Q\\213\\147\\227=\\234%\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\217\\185D\\ETB\\157U$\\151\\202\\DC1\\210\\150\\176\\DC3\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\141\\148y\\t\\175\\141\\250\\187\\149\\170U\\162\\184t\\210\\220T\\243\\250\\241\\140\\GS\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"$s\\156\\238\\213x8\\237h\\144vI\\198\\223q\\CAN\\140hr\\135\\SUB\\229\\143\\221\\229\\192\\&4\\213`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\157c\\253k\\255\\a9u\\251\\140Ei\\180\\DC3\\194\\142_\\140\\182g%\\135\\192\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\173\\194\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\166\\138\\DC3\\237\\&0CZi\\251\\192\\184j\\231^X\\238\\214\\208.\\146l\\DC3\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\158\\148\\EMH\\247\\ESC\\162\\150\\145\\128\\ETB\\191\\&8\\174\\138\\245j\\176\\221{\\ETX\\DC25\\138\\143^\\229\\RS\\208\\199@\"","tag":"AbiBytesDynamic"},{"contents":"\",\\135\\175\\184\\&1\\152\\243\\128\\228\\209\\ESCs\\207i\\254.!\\164rn\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\219\\157\\EMU\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"0n\\187s\\183Ow\\217%4F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\&8@\\128mH5B\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"y\\218\\237$\\136\\132B{\\172_e\\229\\232\\233\\SO\\132\\145r\\by\\188\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\241\\189\\152\\248\\US&\\145\\154\\NAK%\\169\\136\\v\\195%3\\ETB\\164\\&5d\\f4\\128\\170\\149\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"GR\\129/\\136.\\143\\132\\fs\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\188\\167\\154\\&4\\247R\\216\\213\\202\\202Kg\\230C\\238u\\131q\\207T\\141\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!M2\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144<P\\232\\247H\\STX\\\\zK\\223\\243\\&9\\191\\246x\\222\\252\\253\\237\\n\\EM\\192\\147\\242\\SUBV\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149`7\\131P\\DEL\\ENQ\\DC4?\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"u\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\143\\209\\171\\247\\215\\249c\\129L\\a\\227_+\\129\\166B\\FS\\237r\\151:\\204\\234\\216\\177G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198bG\\141T,C\\194\\226\\175\\246P\\180N\\DC3\\253\\DC1\\152uO\\241\\207\\147 \\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\ENQM;{5q\\243\\143\\179\\149\\ACK\\254\\188\\206\\252\\144\\183\\170{~(\\DC4\\128B\\232\\187\\SOMi\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t}\\202#\\225m\\207\\153\\155\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\tRa\\217Jc\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\188X\\255\\SO\\RS\\209\\185\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194Gg\\228cJ\\DC3\\227\\&7\\DC2\\233\\rK\\246\\232\\135\\150i\\SUB\\186k\\ENQ\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\143D\\236\\250\\234d\\EMt%[\\224\\&6\\188W[\\a\\197\\ACK\\DLE\\SUB\\209\\202\\EM\\229\\154x\\146\\SUBr\\204l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223~q8i:)\\GS~N\\194\\207 \\219R\\253\\ESC\\230\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\176C\\250>C9n\\130\\189p\\130\\&7T\\200\\207>\\203\\&94\\171\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\203B\\DC4\\219~T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\203\\136\\223\\155=\\217#\\221\\RSk\\159\\SOHz]|\\152\\146+\\233\\v\\135+\\242\\186\\254\\130O\\b\\167\\133@\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219&\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\v\\252(Q[\\244\\ETB\\204HM\\209\\NAK9\\198=n\\SYNZ_\\238\\166p\\231\\SYN\\139\\&3\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBE\\161YR\\218\\156\\RS\\199\\202\\201\\181\\202A\\132I\\197\\180z\\174\\SO\\196(\\RSn\\221\\RS\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"dG\\211\\229\\150E\\242\\175%\\251\\178P\\171\\v\\132gH]\\236\\226y\\173w\\202=Dl\\204\\197;\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\143\\226\\187\\240^\\253\\f\\ETXW\\129\\DC1\\188n{\\153\\&0H\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\196\\223 \\247p\\153U\\248\\239\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\177\\192\\252Oc\\198\\SO\\233\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\169\\143\\203~A\\130\\245\\202\\191\\SUBs\\ETB{\\252\\255\\154b\\136\\186Q\\n\\193Bm\\194k\\ETX{\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"RY\\\\\\207\\fr]\\168\\147Z\\160\\STX\\158\\ENQ\\137x\\200\\SO\\FS+\\198\\132\\167\\GS\\153\\162\\183\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\153D`\\\\\\198k\\187NO\\132,\\161N\\129\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\186<x\\RS\\NUL\\248\\195/\\196\\160\\a\\192\\233\\128Z\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\RS\\201 \\192?\\242\\144\\f\\173\\247\\133\\226\\182X\\222Q\\DC1_\\233\\244\\bGGf\\138ab\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"[l\\128\\221r\\208\\205\"","tag":"AbiBytesDynamic"},{"contents":"\")\\219\\253d\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"U3\\255\\169\\&1\\167\\233\\144\\204%I \\157\\252\\EMx\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\199\\242\\193t\\130K\\178\\164\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\DLE\\b\\249\\244\\239\\ACK~\\247g\\186\\242`\\140\\\"\\253U\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193d\\171\\234\\&3\\232\\247\\241\\200\\177\\209,\\129F^\\249\\CAN!\\195\\RS\\222x\\174`\\242\\200|\\250Z\\222\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202<\\238\\231\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"$-\\ETX\\DC2\\221^\\129\\180\\197\\241=\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1\\130~L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHA\\202k\\171\\156\\249fC\\226J@KF\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161Q\\ACK\\DC3\\172-;\\184\\234\\203\\140\\176\\197\\240?\\159\\243\\236\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198H\\n\\233$\\229J$H\\r{\\CAN\\237\\222\\SYN\\RS\\151\\156v\\166\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\240\\140<\\176zS\\\"e\\191\\249\\192\\143\\\"\\237re\\190\\SYN\\ACK,\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\239\\231\\175\\138[\\239\\ETX\\235\\224\\219a\\172\\140u\\178\\EOT\\149\\&5\\144\\181\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"=j\\181\\245\\SUB\\203\\139s;\\180\\146\\167^p\\218\\ESC\\207\\b\\161\\v\\237=~hw\\181-v\\254o\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\146\\&5\\138K\\EOT\\178E\\199\\RS\\251\\218wh\\130}\\SO\\ETB\\t\\177\\245\\244\\CANmjt\\145\\210\\188G\\153q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207$\\175\\161\\197%\\188\\ENQ\\249\\152\\194'\\190[\\172\\229\\136\\246\\&9\\131Y\\RS\\139\\162\\a\\128\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\228\\181\\174\\SYN\\172\\135-\\227\\237\\254\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\169Y\\171Lj\\162\\DEL[\\242\\209\\221\\174eh\\192\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\DC1\\252\\ACK\\234\\237\\183\\208\\135\\DC2\\US\\218!\\175W\\189iP\\179\\188\\240\\185\\141(\\233\\RSn\\225\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"(P\\vE@O(\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\ETBJ\\136\\ESCG\\164\\192\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DLE.\\187O\\225 \\138\\253\\SYNs\\196\\138K\\CANQ\\164\\219a$\\137\\&1!\\241\\179\\&9i\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\b\\154\\136-\\172\\248\\209\\\\<\\142\\203[?\\242\\197\\164\\137\\131\\DLE\\196\\RS\\164\\ETX\\157\\227\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\225\\174\\219\\245\\254\\171v(,\\\\A\\249\\255g\\207\\FS\\f\\222\\208q\\161\"","tag":"AbiBytesDynamic"},{"contents":"\":M\\135\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\201\\NAKY\\150i\\187\\130m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\178\\181\\245\\RS=\\234\\146\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\182\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129PDe\\165\\156\\138\\236\\254\\230\\184\\&8\\179B\\225\\255(\\161&\\193\\DLE\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"Jz\\152\\231\\205g\\STX3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DELQ\\255} `\\240\\187j\\165\\154\\FS-\\176m\\224\\211@\\183\\236\\148m\\204\\181\\182|\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\163$\\150F\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"]I\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\135\\ETB\\185\\197\\130>n\\ETBj\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\146\\183\\251E\\246!\\160\\237\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"$d=\\132\\149\\202\\176\\236\\170\\224(6\\250\\246\\253O\\EM\\215\\241#\\226\\240\\191F\\157\\147\\SO\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"68632338696995581200539735290049517997172314882406971504457666703726470036562"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639927"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088319"],"tag":"AbiUInt"},{"contents":[256,"45494530555229993273816304303000570956036835553985960596374548938804019257517"],"tag":"AbiUInt"},{"contents":[256,"124"],"tag":"AbiUInt"},{"contents":[256,"7945709648622717541275211392447860156454019175916796503951154274207158712209"],"tag":"AbiUInt"},{"contents":[256,"61353171609497683662679349832870680209610111039125925177043766496327651304008"],"tag":"AbiUInt"},{"contents":[256,"80"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639835"],"tag":"AbiUInt"},{"contents":[256,"71769637803066465408274482007381117563599740375561919139988866728068280171573"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011518"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000002"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551612"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639802"],"tag":"AbiUInt"},{"contents":[256,"230"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639637"],"tag":"AbiUInt"},{"contents":[256,"14679960860112755511001631295371347083804345401261341893750386582782919997718"],"tag":"AbiUInt"},{"contents":[256,"69699239049441209836745956463691458709086715942389849808729215147422398198191"],"tag":"AbiUInt"},{"contents":[256,"387"],"tag":"AbiUInt"},{"contents":[256,"24884820673096969984129931563096523820774046714586300593882515034564154340586"],"tag":"AbiUInt"},{"contents":[256,"1408075200182542662535221498407009480732478870339472236460281129202523310580"],"tag":"AbiUInt"},{"contents":[256,"28363926664635604410170233549466335464980319129387775207224928612837839108392"],"tag":"AbiUInt"},{"contents":[256,"75979341431314952830793807244115276505940307741798287617360197696142621015765"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"},{"contents":[256,"42501710379485209911574061032627694010860076833945967560276051551898345181705"],"tag":"AbiUInt"},{"contents":[256,"984"],"tag":"AbiUInt"},{"contents":[256,"28029269276588285518699176660621378460488591417289804963651210032049288378166"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858884"],"tag":"AbiUInt"},{"contents":[256,"90833263113412569776324280222880780997321807999811809462341515013700359869731"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"111549301121030424660047512333740527345688283697542726122046813918086366533095"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"74511592385592703519148616385429126881808405042108513211388787002735551958708"],"tag":"AbiUInt"},{"contents":[256,"36505124501006503443676781735854284531879481055426818730665360394853657494720"],"tag":"AbiUInt"},{"contents":[256,"93"],"tag":"AbiUInt"},{"contents":[256,"100000003"],"tag":"AbiUInt"},{"contents":[256,"91412556249445459498886405664698201842757147974887341331912534391326318716565"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011520"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628418"],"tag":"AbiUInt"},{"contents":[256,"426445200172745237054451113072439098030088578414072816967852712439181697144"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"35"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639817"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639897"],"tag":"AbiUInt"},{"contents":[256,"48403420383254809179991725061946238757898584110971910799141831895118850020295"],"tag":"AbiUInt"},{"contents":[256,"104970898689151818772802943193338827693678013303184837133710909566608503341325"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132609"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634938"],"tag":"AbiUInt"},{"contents":[256,"50413714817145313515311911570670407627837697482859855980618375853173601082028"],"tag":"AbiUInt"},{"contents":[256,"36264425010232606639700647241838806495116725729030135259029252942814458561202"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"19550942574082552050498598921749409298716413017907445737497300303426537129569"],"tag":"AbiUInt"},{"contents":[256,"3"],"tag":"AbiUInt"},{"contents":[256,"78268468423318841548832890086953424483801742897331453829741827963875301218541"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639678"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"40166986253410883035801571568615133732190590059149931094312752937524456088575"],"tag":"AbiUInt"},{"contents":[256,"40166986253410883035801571568615133732190590059149931094312752937524456088575"],"tag":"AbiUInt"},{"contents":[256,"40166986253410883035801571568615133732190590059149931094312752937524456088575"],"tag":"AbiUInt"},{"contents":[256,"40166986253410883035801571568615133732190590059149931094312752937524456088575"],"tag":"AbiUInt"},{"contents":[256,"40166986253410883035801571568615133732190590059149931094312752937524456088575"],"tag":"AbiUInt"},{"contents":[256,"40166986253410883035801571568615133732190590059149931094312752937524456088575"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634932"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628417"],"tag":"AbiUInt"},{"contents":[256,"1715314622096017121927750106907503161314837432525215607395932057103043008207"],"tag":"AbiUInt"},{"contents":[256,"912"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035134"],"tag":"AbiUInt"},{"contents":[256,"1529549223"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639438"],"tag":"AbiUInt"},{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"22314094975402949488078432642689189291797737798727758641666231224714726886073"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"42670872759715878812335986981381213569662632678425360479208270164778250219017"],"tag":"AbiUInt"},{"contents":[256,"30942984133722796806993977402755838365325138959409930512882318395976074591063"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636333"],"tag":"AbiUInt"},{"contents":[256,"99999999"],"tag":"AbiUInt"},{"contents":[256,"84837204438576479230762695379528342508863502182301273404383418687245994693051"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639864"],"tag":"AbiUInt"},{"contents":[256,"91280554890210705121650413886460897685707100018457549005215643241965746060387"],"tag":"AbiUInt"},{"contents":[256,"82399648097367004900727923510064526863599392569493860057499651967120790296547"],"tag":"AbiUInt"},{"contents":[256,"89839798278512438671186458398725790144706908146451287680063861287905895083293"],"tag":"AbiUInt"},{"contents":[256,"39"],"tag":"AbiUInt"},{"contents":[256,"6027087953900193186999363650479903053571578432651211093779696451092299673510"],"tag":"AbiUInt"},{"contents":[256,"15472848341710900"],"tag":"AbiUInt"},{"contents":[256,"88903396128373007384303260400671878280676556401574902476785944506684456598007"],"tag":"AbiUInt"},{"contents":[256,"44918870379441833126152357655561247865313430927735301704941036402338214162055"],"tag":"AbiUInt"},{"contents":[256,"8686535345863411372146182903171065212128099497985287726011111700906067744027"],"tag":"AbiUInt"},{"contents":[256,"9998"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"58"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1936686489789024128954917078658213436803977141155386298473690801592315144912"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630935"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000009","0x000000000000000000000000000000000000000000000000000000000000ec34"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037120","0x00000000000000000000000000000000000000000000000000000000000007cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"29674015225708683190158584855624275684889566751701158000151313373705701126891"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003c56e","0x000000000000000000000000000000000000000000000000000000000000dcb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030333"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f6","0x000000000000000000000000000000000000000000000000000000000000137c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb11","0x000000000000000000000000000000000000000000000000000000000000b146"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"13660350126389135651795185271882371088365612118403280449855205717602658060284"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075d98","0x000000000000000000000000000000000000000000000000000000000000139d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000307c6","0x0000000000000000000000000000000000000000000000000000000000009aa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[256,"516"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bf","0x000000000000000000000000000000000000000000000000000000000000d8d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"\\197\\136\\220\\243\\221\\STXH\\ETBc\\DC1Cf\\227\\a\\216\\160\\252Y\\210\\232\\250\\248\\NUL\\155K\\134t\\238,6hU\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff7","0x000000000000000000000000000000000000000000000000000000000000a22a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"35413326495081532805245442736146145466886185556724743991297330578591366293795"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb02","0x000000000000000000000000000000000000000000000000000000000000135e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\">\\216SQ.\\f\\239k\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\vu9\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\FS\\247rO\\171t\\238\\v\\212\\f2\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\\\\\251\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\226\\210\\&3\\188\\GS\\139\\233\\154\\\\\\SUB4\\249\\231\\140\\SUB\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"{'\\134\\213\\230\\181wn.\\214\\&2(\\206q\\214kU\\ETXl\\172\\EOT\\173\\194F\\198\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244}N8\\226\\201s\\US\\242\\222\\185\\227\\152\\209\\130\\&0\\249C\\EMC\\248\\250\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\170+7\\237W0\\161w,9-\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\211\\157\\f\\253`\\205\\244qi\\211~{\\133\\EOTN\\144zM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\SYN\\244\\138b$\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\180w\\151\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\naU\\207@7\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RSV\\237\\230S\\SYN\\b>y\\ETB\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\222\\135\\STXd\\193o\\SYN\\DEL\\136\\136\\167\\185\\148\\150]\\207\\156\\&5p\\177\\DC4F5\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\181\\162\\153\\149fF\\185\\146\\173\\233\\&3\\131/5\\183|[k\\r\\133\\248\\136\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\131L\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\179\\&4\\152\\192\\SO\\142\\199o\\186c\\159O\\rE\\ETBVwn\\228G\\148\\130\\241\\171?\\DEL\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\218\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\219\\198;R\\229\\183\\DC1D\\226\\216\\DC1\\241p$iY\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\GS\\SOHRc\\231\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\248\\139\\203\\220\\233\\240\\248\\\\jU\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\r%1H\\196S\\139\\247\\205\\167t&q\\149\\247</\\136\\236\\147\\160O\\186D\\206\\a\\ENQX\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\247\\&8O\\149\\201M\\129\\208\\219<\\239\\234`\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\232\\133\\234\\&9\\DC4\\EM~K\\135\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC,9\\194G\\215U\\230DHX\\255E\\232\\EOT\\245\\EM\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\215{\\RS\\255v\\194\\174\\160\\232\\225r7`\\170o\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\251\\138V\\193\\147\\254<\\166\\215\\b\\FSi\\190\\207Z\\167\\&8\\GS]\\143k\\165\\173Q\\168?\\243\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\169\\142\\&6/\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"@q\\EOT\\EOTK\\248\\152_\\n\\ENQ+\\172~\\DC3C\\166Jl\\243)-\\180\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\254\\199Tv#\\154|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\ESC\\196H\\150\\&9\\132\\FS9\\235\\220\\190n%z_\\167\\168\\206\\128\\191x\\247r\\138\\255\\DC4\\145\\&7U\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185Y\\252hgLO\\232\\181\\176\\243Ss\\ACK\\DC37;s\\160aC6H\\134\\198I\\173.L\\248\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\161\\NUL\\179\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\143\\203\\204\\\\\\171_\\159\\242R@'i\\157X\\255V\\153\\STX!\\161\\210c\\165\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"]8c{\\237\\SUB\\DC4\\249\\197e\\225\\147cGd3\\253S(\\248\\128\\&7\\149\\165\\129gk\\207\\177Z\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\218\\193\\148B\\208\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\rt\\220\\t\\236\\n\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"g3$\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\181ZsZ\\213\\219d3\\USM\\250~?\\252]\\219\\128z\\SOH\\144\\221\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\136\\STX\\145\\197\\159!\\232\\236\\193\\DEL\\FS\\146p1:\\224\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"l\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\149\\ETX\\\"\\164\\&3\\152\\135\\n\\136\\USC]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\177]\\145H\\233\\241\\223\\223\\254#\\247\\FS\\240Oi\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\160\\ETB\\200\\b4\\148\\&7\\219\\169\\250\\&9\\225\\169:\\\\4z\\RSCm\\231w\\213\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\f\\159p|\\r\\DEL\\\\\\224\\211\\NUL\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\227\\DC4WI=\\202\\194\\195\\207\\244\\130\\238\\NAK\\174=\\185I\\157\\243\\227\\157\\179\\156@\\RS\\162\\182ld\\128\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\163qDAZ\\230z\\n\\216\\183\\239\\157x\\162\\&9FM\\171F\\137\\142O\\223E4\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"_jx\\209\\174!S\\150\\NUL\\DC4\\204\\137\\n\\148\\243Zw|\\155/u\\214\\\"\\224\\135\\146]\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145.4\\DC1\\179\\SYN|\\130\\aL\\230\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\207\\RSb\\RS\\v~\\rM\\191\\212x\\146\\218\\229\\239\\185&\\DLE\\138wEEx\\244\\215r\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172]C\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"Qz\\187\\144\\133n\\136>\\SOH\\216T0\\174\\EOT\\246hs\\156\\156Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\226\\221j\\229\\215B\\142\\130\\190_\\128\\191\\143\\250\\134\\159\\192\\165\\&8\\223\\152\\SUB\\b\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\192\\214\\189\\175\\DC2_\\197-u\\177\\148\\&1\\DC4\\221\\SOH\\242+\\228duBW\\218L|n\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\157\\&4\\223J\\170\\222\\183@\\193\\179\\&3\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\171H\\189\\247\\169\\149OA\\200O\\196Y\\226\\194[\\129U\\232`?\\182\\173\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"Ad\\STX\\163\\DLEm0|&\\249\\162\\RS\\CAN\\196w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232Q\\172\\173\\194\\239\\228\\203\\177\\171\\224\\253\\139=\\190\\SOH\\SO\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\" 5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251Y:%'\\143:\\192\\229\\&8\\193\\175dy\\149\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\">Ml\\192Y\\129\\203\\137,b\\160\\247U\\176O9}\\239\\NUL*.d\\253\\\"\\233\\198a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\231\\230o\\181\\168\\NUL\\183\\162\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\155\\198\\183\\237/\\247\\142\\&5 Gev*\\160\\204om\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1##\\130\\252\\DELYS\\200\\\"Y[\\SUB\\a\\236\\253dj\\212\\163\\&2J\\140\\&2\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228+b\\151\\159\\RS\\141\\&5\\STX\\252J./|G\\182\\STXRD\\243!9\\174P\\149\\139w\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\209\\226N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\129\\154y\\202\\221\\179\\DC3A\\163B\\185\\141x\\210\\STX^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175T\\230\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\242\\RSy\\DC3\\159\\181t\\179\\252C\\236\\135\\228j\\165\\198\\218\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\146f\\245{-M\\230\\236]\\224\\221\\149:\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\135\\225\\254\\DC3\\n\\223p\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\211\\&4\\206V\\DC4y\\NAK\\173\\175\\235x\\168\\207\\195\\144fp2\\182\\b\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ESC\\185\\DEL'U\\176\\131`\\176\\145g\\251M\\211qBY\\198\\141\\193\\242\\242\\163\\242\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"DC<#W\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203`o:\\208\\232X\\142P\\173\\ENQ\\\\\\189\\227\\248\\155\\r\\207\\132\\t8G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195Sv\\151\\173,\\rM\\171\\134\\151\\243\\154!\\146\\187\\187\\EMV\\DC4\\214\\CAND\\162S\\195\\SOHr\\228\\133\\242\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\EOTZ\\243I\\228M\\n\\ENQ/>o\\201\\147\\229\\235\\252\\217\\237'\\v\\143c\\199\\236a\\202\\r\\FS\\252\\146\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\176\\166\\b\\176\\n\\225)\\237\\239k\\t%\\157\\246k\\219\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225P\\251\\151z\\255y@\\205\\204\\&2E\\143\\228W\\212\\172\\250m\\216\\207\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\210/'\\128\\&5f\\184\\196\\NUL\\215\\213\\EOT\\EOTj\\242\\SOH~Q}\\201\\194\\214\\253T\\206\\241\\217\\187\\210c`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135H\\136\\153Bx\\166\\193\\171\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182<M-\\218\\SOH\\252\\219\\155~\\187\\227\\150d\\237h-\\188\\184\\191V\\252(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202e\\248\\SO,\\230\\149\\v\\176\\253\\213\\239\\243\\182\\NUL\\174k\\216jG\\209\\SO\\129\\138Y)\\237\\208\\NUL\\\"\\185\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\132\\255D<\\US\\ACK\\153z\\185\\144\\180\\209\\172r\\168xD\\151\\SUBg\\136\\ACK\\187\\166\\169\\161\\143\\170n\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\227&\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\186(\\234\\218\\216\\213\\251\\148\\141A\\DELh\\227\\129\\236@\\163\\169\\184\\163\\207\\159\\255\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\&5u\\218^\\206\\219\\&4\\190\\NAK\\DLEb\\180x\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\":\\136\\DC1\\140\\164\\220\\150\\SOH\\243\\&8l\\226\\132\\222&\\194\\208\\203U~0G\\DEL\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\128\\177\\211Fj\\177\\161\\155\\130\\SYN\\218$\\192@\\tb\\240\\249\\130-C*>=u\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\129}\\ENQB\\215\\239w{g\\227\\194/U\\DC4*tS\\203\\157\\&2z|Vk\\165\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\198\\ESC\\158\\228r\\197;\\214\\DEL\\162\\243\\179\\&4\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GSO\\213\\DC2~.\\220W\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\243\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\NUL\\\\Wt\\148\\219(\\224\\141\\205j\\160\\166\\136\\194\\GS\\248\\180\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\185Y\\a\\RS\\135\\162(F\\141\\167`*T\\197\\141\\164\\STX\\180\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\EM\\241\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165H\\128\\220\\130\\DC1\\tlO\\US\\248\\194\\224\\&7\\SUB\\180\\202\\166T\\249X\\253\\&2|m|K\\r\\227\\154b\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\214[\\132\\&9E\\157\\200\\252\\DC3\\179\\251!z\\DELz\\rb\\DLE\\201\\162~\\SUB\\155eD\\147P\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\DLE\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\SOH\\218\\249\\222l\\175\\176\\146\\DLEZ\\210\\167\\160\\223v\\208\\170\\ACK\\209\\225\\188\\200\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\217iY\\193\\248:Y\\165\\ETXy\\255\\245\\226v\\FS\\163\\248\\244\\224\\174~i\\\")`\\186k\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\206\\189\\215\\253\\140\\170\\&7^[\\DC1\\234\\ACKD3\\bw\\148\\234\\202Ia\\245f\\166\\NUL\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"`@F\\175\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\SI#H\\NUL\\160\\239\\137H@2s-h=\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\177\\252\\166\\253\\230\\157\\244e\\130\\224\\157\\241?\\230wT\\254 \"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\EOT,\\207\\247\\175\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\247\\140nM\\182\\237#4\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\182\\205\\&1B\\209F\\149\\228\\233\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"]7\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"{u\\188k\\ETX\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\192I\\225\\214T[\\198\\214\\220X\\251\\&3[\\SI\\152W\\157vYI\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"d^\\202\\NUL\\223\\DLEG\\ENQ\\172\\246n\\212\\144l\\249\\148Y\\234\\199\\&50TH\\231\\ETX\\131t\\244\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\217~\\251\\CANY\\153J\\152\\197\\156\\146R\\213\\207\\165&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225.kB\\153\\208!\\204(\\132\\212\\167\\203\\219}D\\189\\159U\\217gsB\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\212o\\198G_\\178R;q\\150e\\253\\160\\STX\\FS\\132\\181n\\128(O\\211\\181.\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"s:R\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"M7540\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115200628074357676246737951409624022049497613626593845107504611862693545886747"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639906"],"tag":"AbiUInt"},{"contents":[256,"2000002"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553537"],"tag":"AbiUInt"},{"contents":[256,"897"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639437"],"tag":"AbiUInt"},{"contents":[256,"1505613810067756531940322445930150763302899659995174483696140649390525974912"],"tag":"AbiUInt"},{"contents":[256,"115750801394647196936690528127122634305204475671575456751473960469621502591034"],"tag":"AbiUInt"},{"contents":[256,"688"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553535"],"tag":"AbiUInt"},{"contents":[256,"97705540768639083861237038025687032856233767286115275614480468889472068996299"],"tag":"AbiUInt"},{"contents":[256,"30244665361793353642011449547510603909912676448058029543519630080638502165112"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639034"],"tag":"AbiUInt"},{"contents":[256,"112816424055922414480275461525529079456968837163821687280091406305290333672684"],"tag":"AbiUInt"},{"contents":[256,"499"],"tag":"AbiUInt"},{"contents":[256,"110009652308202586325633310495229153568865454548417745462349016340209004225586"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628418"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639920"],"tag":"AbiUInt"},{"contents":[256,"75218423241898026610879424710797553423928325972950268027050018803347482841825"],"tag":"AbiUInt"},{"contents":[256,"12250715267627074890808361842528878080241734353239361222433546989013044676105"],"tag":"AbiUInt"},{"contents":[256,"113613758060942703346474148163908728918770907609196089793427191603067472870181"],"tag":"AbiUInt"},{"contents":[256,"56"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892769"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507327"],"tag":"AbiUInt"},{"contents":[256,"12959385567543033006297720478142246243768305053011397304074909642077928459895"],"tag":"AbiUInt"},{"contents":[256,"901"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"45860493078058444957170730273173379371318880860565693507885490340535520002272"],"tag":"AbiUInt"},{"contents":[256,"66"],"tag":"AbiUInt"},{"contents":[256,"96345017897983298772200885916558293434121295227947719525586593254106859752876"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"102231853472973476553704759367285043640020975522550408393375459371606749624019"],"tag":"AbiUInt"},{"contents":[256,"49087445364630182926712189856857722630240654806537294077773074252584831654281"],"tag":"AbiUInt"},{"contents":[256,"81743080546240215703916922103928935872490015068980058289751911754292495374315"],"tag":"AbiUInt"},{"contents":[256,"4046685828135838697985160915889581887132020921185524346016"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639832"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639841"],"tag":"AbiUInt"},{"contents":[256,"830"],"tag":"AbiUInt"},{"contents":[256,"5"],"tag":"AbiUInt"},{"contents":[256,"46890262519780967862564842747060674056039659475820956413770300045181736068197"],"tag":"AbiUInt"},{"contents":[256,"103118060665893273050936397123650474556420655335619435574893779495384664326999"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634935"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"29808038267097109783491877424384728371571410919925164760879770588878174471174"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030336"],"tag":"AbiUInt"},{"contents":[256,"64544938057965670447630429807897125986433022300802493594035991837588528022714"],"tag":"AbiUInt"},{"contents":[256,"12378834974717742003662972089783940310943671729511929626322193780266596358871"],"tag":"AbiUInt"},{"contents":[256,"61444332741095445779044678063623304298425435308119769676115313513419268381805"],"tag":"AbiUInt"},{"contents":[256,"1528788946"],"tag":"AbiUInt"},{"contents":[256,"76853692594953504698300246700581539496926970278753851788619809887325859180527"],"tag":"AbiUInt"},{"contents":[256,"313"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"8040872034361855521619265572713468651722233349858206363986044352609044164904"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639702"],"tag":"AbiUInt"},{"contents":[256,"80110946324963467024517678329001006107167186116705115122276755660007208298318"],"tag":"AbiUInt"},{"contents":[256,"52772800372314030261423654580604321411748948476629961037308843977794595916816"],"tag":"AbiUInt"},{"contents":[256,"25242502850260219096992221546795305182378378130986492612369344494392231427291"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639883"],"tag":"AbiUInt"},{"contents":[256,"24767272928404921217532097205340726907238651060360442722587847182753366861479"],"tag":"AbiUInt"},{"contents":[256,"117"],"tag":"AbiUInt"},{"contents":[256,"35"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417343"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"6921886166887033037556626840356488732736212844736035445212126653536907759008"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639818"],"tag":"AbiUInt"},{"contents":[256,"80409471656929269471765646828633727739249709212307713518463059476120688016915"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"49560125412069390118237354056149661330047891785170664774579608814186661417333"],"tag":"AbiUInt"},{"contents":[256,"67984763779987178330800259386907764580690801612381123245397592473810877977572"],"tag":"AbiUInt"},{"contents":[256,"87431262572743489310403189504142633417774630761541890477058743262317381161786"],"tag":"AbiUInt"},{"contents":[256,"89708104694055675924240167704952617729529354266098888840409058811716239506140"],"tag":"AbiUInt"},{"contents":[256,"52376089869707848533178003548014384695768848093016216009911216929971685370676"],"tag":"AbiUInt"},{"contents":[256,"39095799663827218731731606870577513056600295836812371762741957058377490831360"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637936"],"tag":"AbiUInt"},{"contents":[256,"26163361668668030914623651447325496398810314610554427237835755101198044628056"],"tag":"AbiUInt"},{"contents":[256,"73900863092960008687210405889427026110063305154326554041760540720363883337530"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507325"],"tag":"AbiUInt"},{"contents":[256,"108224635284999129471456458521959552288350762247800169123407160392138744033279"],"tag":"AbiUInt"},{"contents":[256,"37684858947971017038020278272952632780467024000292875706166282934942813324095"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639832"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"24185341915581211276910972351338183041892200906946499343801812276497102788900"],"tag":"AbiUInt"},{"contents":[256,"565"],"tag":"AbiUInt"},{"contents":[256,"52972289593193800256463527320212078718180934291949938142191674458549984271109"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639858"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639817"],"tag":"AbiUInt"},{"contents":[256,"79675981022328112929778800835678399517449666892202395983023189253636815471525"],"tag":"AbiUInt"},{"contents":[256,"233"],"tag":"AbiUInt"},{"contents":[256,"99999999"],"tag":"AbiUInt"},{"contents":[256,"539140732201565190315258"],"tag":"AbiUInt"},{"contents":[256,"61"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"3998"],"tag":"AbiUInt"},{"contents":[256,"8998"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff7","0x000000000000000000000000000000000000000000000000000000000000a414"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"47371029323623680616136573466890059185766734047996872810315644049547449381268"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062e05","0x0000000000000000000000000000000000000000000000000000000000001276"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b67","0x000000000000000000000000000000000000000000000000000000000000a593"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000597af","0x0000000000000000000000000000000000000000000000000000000000007f90"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000004","0x000000000000000000000000000000000000000000000000000000000000101b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec3","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c6","0x0000000000000000000000000000000000000000000000000000000000000101"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000078","0x000000000000000000000000000000000000000000000000000000000000006a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000003b59907635bd8875"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"92398338034586496186511057134373127469285300278035330305010802158408640549297"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfa","0x00000000000000000000000000000000000000000000000000000000000023a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"16714339660846914399900014138634915754413602578419030247369385346919736404020"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c5","0x0000000000000000000000000000000000000000000000000000000000000023"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000064","0x0000000000000000000000000000000000000000000000000000000000000023"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892771"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfb","0x0000000000000000000000000000000000000000000000000000000000003c07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007edae","0x0000000000000000000000000000000000000000000000000000000000003a9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005f","0x00000000000000000000000000000000000000000000000000000000000028a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066815","0x0000000000000000000000000000000000000000000000000000000000000e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"76649482087181698961926331994231975564431966578933428509475968231504347646374"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001c0","0x000000000000000000000000000000000000000000000000000000000000131a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4e","0x000000000000000000000000000000000000000000000000000000000000000e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"96"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb02","0x0000000000000000000000000000000000000000000000000000000000000fb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639882"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266894"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054206","0x000000000000000000000000000000000000000000000000000000000000d8d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb38","0x0000000000000000000000000000000000000000000000000000000000000037"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"23136729228776658174232607534934946765397057790889410884975230763004412474546"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033307","0x000000000000000000000000000000000000000000000000000000000000e344"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060119","0x00000000000000000000000000000000000000000000000000000000000007d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001264e","0x000000000000000000000000000000000000000000000000000000000000012b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9d","0x0000000000000000000000000000000000000000000000000000000000000063"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1Bb038fb54BfcBFA3814cE47cA5618cBA47dCdeF","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x1Bb038fb54BfcBFA3814cE47cA5618cBA47dCdeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"40"],"tag":"AbiUInt"},{"contents":[8,"123"],"tag":"AbiUInt"},{"contents":[8,"94"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e352","0x000000000000000000000000000000000000000000000000000000000000037f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdfa","0x000000000000000000000000000000000000000000000000000000000000005d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"29674015225708683190158584855624275684889566751701158000151313373705701126891"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066815","0x000000000000000000000000000000000000000000000000000000000000b52a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":[256,"88299030436729408164675432272095357775763106171990884604570798055027890203508"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bad","0x0000000000000000000000000000000000000000000000000000000000000e14"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002326","0x0000000000000000000000000000000000000000000000000000000000008bbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"58467569051252188324309099379154257258990782776290855484063558141896186142239"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a9","0x0000000000000000000000000000000000000000000000000000000000000f45"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"28"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000400f","0x0000000000000000000000000000000000000000000000000000000000000067"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"102971584532558264285142504266859854248505759447791407667882186871610508887087"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b30b","0x000000000000000000000000000000000000000000000000000000000000dcb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"25531787429206832825340633"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f3a","0x0000000000000000000000000000000000000000000000000000000000001c9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81c","0x0000000000000000000000000000000000000000000000000000000000001020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"B\\172\\194\\166Vz\\v\\SI/\\214\\203\\177\\216J\\NAK}E\\CAN\\251\\147\\251\\182\\234\\207\\STX\\DC1=ly\\190\\234\\\"\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba5","0x000000000000000000000000000000000000000000000000000000000000136d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a9","0x0000000000000000000000000000000000000000000000000000000000003f81"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"21268311364230944543636484281407854903125297885208088241703491243191207430278"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6c","0x0000000000000000000000000000000000000000000000000000000000007118"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c434","0x00000000000000000000000000000000000000000000000000000000000000e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"32683592692658304653039259574991119488148786663863035242876287997636524396255"],"tag":"AbiUInt"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2e","0x000000000000000000000000000000000000000000000000000000000000ca0d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba4","0x000000000000000000000000000000000000000000000000000000000000133c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":[256,"86400"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000067","0x000000000000000000000000000000000000000000000000000000000000002f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005f","0x000000000000000000000000000000000000000000000000000000000000133e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"74235859412271060288196244106466355517687310434214181899134872030593323756003"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004b","0x000000000000000000000000000000000000000000000000000000000000c543"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa0","0x0000000000000000000000000000000000000000000000000000000000001339"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014c56","0x0000000000000000000000000000000000000000000000000000000000000373"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"136"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f95","0x0000000000000000000000000000000000000000000000000000000000001277"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"96184757823262894697131053034293875447175228210432707669301104787458328292079"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689598"],"tag":"AbiUInt"},{"contents":[256,"82967769304417057570728687217884316949248695922587397236784644977305797362987"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1000000000000000001"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062336"],"tag":"AbiUInt"},{"contents":[256,"51879593320014720864962742912690915444590048199338649868860820301735569356805"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf6","0x0000000000000000000000000000000000000000000000000000000000007e4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"30745715719007142448545430706887905103087517309667411016742448946415678849647"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf8","0x0000000000000000000000000000000000000000000000000000000000001341"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000047","0x00000000000000000000000000000000000000000000000000000000000012b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"\"3\\ACK\\133KX;\\223\\146y-\\US\\211\\228-S\\139\\158\\144i\\175\"","tag":"AbiString"},{"contents":"\"Invalid tokennnnnnnnnnnnn\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"1313373042"],"tag":"AbiUInt"},{"contents":[256,"252"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"},{"contents":[256,"12895748576703571823454864924560429025420355806207252502760550460957111727563"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517e","0x0000000000000000000000000000000000000000000000000000000000001397"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"604803"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f6","0x000000000000000000000000000000000000000000000000000000000000dcc0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":[256,"59408788553115987050594164509610608713001334212823804421229397741872863743170"],"tag":"AbiUInt"},{"contents":[256,"133"],"tag":"AbiUInt"},{"contents":[256,"30135069318998379270322536684308818226761728450485509394635258555701949043063"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e956","0x0000000000000000000000000000000000000000000000000000000000000004"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabf","0x0000000000000000000000000000000000000000000000000000000000000061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000dd2f","0x000000000000000000000000000000000000000000000000000000000000ca31"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553539"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea48","0x0000000000000000000000000000000000000000000000000000000000007e51"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb31","0x000000000000000000000000000000000000000000000000000000000000134d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4f","0x000000000000000000000000000000000000000000000000000000000000ca0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"89"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b2","0x0000000000000000000000000000000000000000000000000000000000000bcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x0000000000000000000000000000000000000000000000000000000000009204"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"472260498517428093450829853099908080"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4f","0x0000000000000000000000000000000000000000000000000000000000006149"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"1524785991"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001dad0","0x00000000000000000000000000000000000000000000000000000000000001f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030337"],"tag":"AbiUInt"},{"contents":[256,"32022199268124554550"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033d00","0x0000000000000000000000000000000000000000000000000000000000000087"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"38392222803114782530099574991649621249349326227846164564401820007954616391954"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f39","0x0000000000000000000000000000000000000000000000000000000000000057"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035134"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d500","0x0000000000000000000000000000000000000000000000000000000000005806"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":[256,"83022530813767853434412903800426374006285728976587503687582240144012142319501"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea60","0x0000000000000000000000000000000000000000000000000000000000001316"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c5","0x0000000000000000000000000000000000000000000000000000000000000039"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce53","0x000000000000000000000000000000000000000000000000000000000000dcba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5d","0x0000000000000000000000000000000000000000000000000000000000001341"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731854"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f746","0x0000000000000000000000000000000000000000000000000000000000002321"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ea","0x000000000000000000000000000000000000000000000000000000000000137d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a1de","0x0000000000000000000000000000000000000000000000000000000000002607"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"39223257874981425846409059695305043193224363186805875569493851977610237075204"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead1","0x000000000000000000000000000000000000000000000000000000000000013d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"50668416702353078798861139050549793"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x00000000000000000000000000000000000000000000000000000000000001f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"916"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e8","0x000000000000000000000000000000000000000000000000000000000000b50e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000022","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"G\\NULARDIAN_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NULU\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0ea","0x0000000000000000000000000000000000000000000000000000000000003a90"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270f","0x0000000000000000000000000000000000000000000000000000000000000bcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"19590070409258781405915747053611563011512657866129659815301061988337017483265"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000041a2","0x00000000000000000000000000000000000000000000000000000000000013aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003638e","0x00000000000000000000000000000000000000000000000000000000000009d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"89432640064754845278126132453107084119120904890820607327256085344954099768969"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001387","0x00000000000000000000000000000000000000000000000000000000000073d5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639911"],"tag":"AbiUInt"},{"contents":[256,"35980937600396893255234650935724606256939088712221860935520525318753167769617"],"tag":"AbiUInt"},{"contents":[256,"27068448907435491480466898495839366092394363079628598152471436504841643368147"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb25","0x0000000000000000000000000000000000000000000000000000000000006cbd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]