[{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"858"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002621e","0x000000000000000000000000000000000000000000000000000000000000e03a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"2"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056501","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"873"],"tag":"AbiUInt"},{"contents":[256,"1537252252"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"114164459026234058189809112215783722032975294686185221740437802964145245849438"],"tag":"AbiUInt"},{"contents":[256,"90209323244695887886454304749306083185325232339156663858041056056929705451562"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417341"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027a78","0x000000000000000000000000000000000000000000000000000000000000433a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"1541106271"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008dee0","0x000000000000000000000000000000000000000000000000000000000000742f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e7","0x0000000000000000000000000000000000000000000000000000000000009aa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"1546970393"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a80","0x0000000000000000000000000000000000000000000000000000000000004feb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000834c7","0x000000000000000000000000000000000000000000000000000000000000930e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1537585151"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d9f4","0x000000000000000000000000000000000000000000000000000000000000b238"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000195ea","0x000000000000000000000000000000000000000000000000000000000000d9db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"11475332818418610395179061382956657170253916849011714755443107918930595535116"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000079","0x00000000000000000000000000000000000000000000000000000000000054ec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"58"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000260","0x0000000000000000000000000000000000000000000000000000000000006afd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"87546930308852708438782597843012876895152821304169942374998791540588777686440"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068a72","0x000000000000000000000000000000000000000000000000000000000000baf7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004509a","0x0000000000000000000000000000000000000000000000000000000000005d6e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"32752628232855986796298984228826046763487652924172720133554675574095510690053"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000263e1","0x000000000000000000000000000000000000000000000000000000000000c25a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"4825391382205607034262838634322742199388409251189534171078910073992976023546"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022fd4","0x0000000000000000000000000000000000000000000000000000000000000380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":[256,"151815547579395742997259350847022657200040850349"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000019f","0x000000000000000000000000000000000000000000000000000000000000c462"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"102870199108969040301106965982535310755262148110946227955668250736805754310377"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb15","0x000000000000000000000000000000000000000000000000000000000000a65c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e3","0x0000000000000000000000000000000000000000000000000000000000006fb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"33718546815371688100054968048691861601114131444809695821727195649424400122988"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003c2db","0x00000000000000000000000000000000000000000000000000000000000045c5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xd7bD1B6dff29b4b4ab5A0eC76D3c9428bb2cA79A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ENQ\\144\\\"\\\\gy$[\\ETX\\217\\RS\\140\\177\\v3\\240\\239\\143\\129\\STXV`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\175iMW\\n!\\ETXK\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"6YwV\\EMK\\140R\\229\\252\\a\\134\\249g\\GS\\195\\238\\v\\229\\&0\\DEL\\GS\\NULE\\191\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\164\\DC2\\CAN\\n\\222\\176'\\140\\191\\&3\\198\\172\\251\\247f\\141\\212S\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\f\\189m#\\233u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\157\\&8\\253\\188`\\182^X\\159*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175U\\173\\NAK}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\234\\242\\133%\\142^(\\SUB\\238\\177\\GS\\149l\\218\\NUL\\SI\\138\\185\\230H\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134}\\217\\129\\&3\\237\\181G\\254\\204\\DC4?\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\135^\\SOH\\b\\218\\243\\159\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\224\\248\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\230\\255\\231\\178<\\fP\\213xR[[\\150\\FS\\228\\DLEH\\148n\\240\\NUL\\162\\225\\DC2o\\197\\&8:\\153\\218\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\212\\129\\ESC\\ETBR\\229,0\\DC2\\\"\\144\\181\\198\\170\\138\\208\\245\\164\\211\\SI\\251\\152\\SUBHzQ->\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\187\\&8;\\DLE\\f\\177\\SO:\\172\\177\\t\\156b\\132>4\\190l1\\235\\237T\\130\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"Q=\\128\\ACKw/*B\\200\\157\\b\\241aq\\131\\176\\SOH[\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"I\\vJ\\DEL\\n\\n\\ETX$Eb\\226{j\\153\\216\\169\\211\\181\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\r\\206\\n>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169(\\CANAV\\211\\155\\237\\247\\141\\157\\224\\ESC\\229\\230\\240\\161\\251@\\214\\183\\146\\128\\178\\180\\211{!\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"(>\\144\\137\\v\\192\\150\\185<\\195\\a\\144\\DLE\\179\\&6\\220']\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"iU\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\226\\229\\138'\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\v\\136qn>\\138$\\191\\ESC\\129\\v\\160B\\DEL\\156cm\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\191\\161C\\223\\220\\192\\244\\SOH\\ETBiTW\\155\\179\\249^^`\\ESC\\210\\136\\248\\149\"","tag":"AbiBytesDynamic"},{"contents":"\",\\205\\245\\144\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\238\\130\\159\\175X-\\213GXR\\251<\\235$\\146'\\193.Ts\\189\\166v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\253#\\ETB\\RSO\\248C!\\r\\251\\DC1\\\\\\SO\\182\\208\\129\\ETB\\151\\\\\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\132\\186\\186\\178\\175\\196/Y`ug\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\201\\191\\247\\138\\151\\212\\217g|\\142\\150\\142N\\131\\128\\ESC\\241\\228{\\226\\192iW\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\172\\&7\\202Qk\\166y\\DC3C\\vK9\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\146o@\\197\\154\\ETBW\\221\\132x\\171\\239\\166a#\\244.-\\185E\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\179\\v:<\\160=\\DC4u\\138*sS\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\169\\177}\\FS\\164I\\\"\\253{ \\240\\214\\178\\152F\\220\\182%`;M]\\191\\130\\187\\243\\132#;!s\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\178u\\145\\210\\208\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\202`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180:\\a\\197\\133\\206{\\t\\149\\231\\194\\vz\\\\\\209\\GS\\182\\242\\186\\142CK\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\228\\241|I\\173q\\194\\172\\CAN\\EM\\150\\179\\211'\\ACK\\DC1\\231\\202\\216\\200\\ESC3R\\EOT\\171\\&5\\221\\128\\154\\&42\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\134c\\247\\DC1\\246\\204G\\141\\204\\235\\220\\170p\\194\\v\\194\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\228\\213\\164\\215\\211g\\230{\\133\\STX\\n\\202\\226~\\176\\188\\185\\183\\v\\199\\SUBx}tt\\ESC\\142\\253\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\240V\\v\\239G\\138I\\DC3i\\135\\220H\\GS\\142U\\227\\201\\150@\\255\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\149\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\246@&s\\244\\181\\128\\141\\&2\\ENQ\\181\\165g\\248\\233\\183\\169\\v\\170\\189?\\193\\163\\v\\141\\196\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\DC4i_\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\233.\\142'\\v\\rY\\128\\&6\\134\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\173\\151\\154\\182\\152C\\244\\142tU\\148%*\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"JL\\188\\205f/\\178\\225\\140\\245\\NUL\\192J\\219r(}\\205\\t\\b\\153jt\\179\\204\\211\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163Q\\248\\184I\\161\\202\\185\\249\\136\\128\\DC3\\163\\243\\196b\\228\\DC4\\178\\179C\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\218E\\233!\\183O\\148o\\172(6\\170\\\"p~\\tK\\148I\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBJ\\168R^c\\a\\228]\\220?\\184CS\\144\\v\\ESCQ\\168Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\205\\161\\214\\SOH\\185a\\171Kr\\226\\174\\ETB\\184[\\151\\230\\&7\\210\\ETB\\155\\250\\159}G]\\\\R{!}\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\"","tag":"AbiBytesDynamic"},{"contents":"\"Hm<\\167\\129\\221N\\224\\&0\\251\\\\m\\STXV\\208\\185\\189\\231\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\168\\249\\193\\242\\243\\180:h\\238D\\221\\196is\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\145\\FSX;z\\SO-\\FS\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"04y\\160\\247U.\\221B\\166h\\176\\197\\226\\151V\\207\\210p\\164\\246.5L~\\172\\SOH\\185\\216}.\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168A\\CAN\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228.\\140\\204&\\\\\\183\\203\\253\\191b\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\165\\FS\\236g\\US\\168\\156\\v}L\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211>\\145\\ACKu\\197T<\\166\\207\\235\\131W\\129\\NUL8\\172N\\206@\\DLE\\247\\138\\188\\147*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141~\\181\\211g\\203\\233\\245\\153'\\148M \\GS\\139\\218\\205\\249\\FS\\170\\&7\\DC2\\136`A\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"fa\\140\\213\\238\\239\\230\\150{-\\\"\\242\\155`tO\\EM\\173n\\220${\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\181#}\\165E\\245w\\186\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\&5\\RS\\DLEN;RV{\\SYN\\US\\147\\165-\\150\\145\\224Wr\\138Q\\199\\145\\164w\\233\\\"\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213;\\US\\231\\ETX\\\\t#\\r\\144\\&4\\199m2e\\158;\\ETB\\132\\v\\\"\\220E\\136b\\NAK\\GS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\155\\FS,q\\180TlI{\\FS3\\nn0\\SYN@\\194\\165\\165A+bd\\248\\\"\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\200q/\\193`V\\163C\\STX\\180\\202\\&4\\200C\\232\\149=}\\130\\216\\214\\DLE\\145:\\183jc\\213\\SYN\\SOH\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\189\\DLEc\\155\\181;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ra\\STXyfhg)\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\238\\202|\\199Y\\175m\\195,\\179\\140g\\240\\129\\178\\196\\188\\160~\\252\\&2\\t\\RS*\\\"\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\141\\149\\243h&\\205\\166`=\\186\\210\\132\\252\\SYNq\\254\\200)\\DEL\\ETX[\\178\\DLE\\DC4\\190\\234\\253\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\217\\147\\ETX\\148JB#f*7\\241p\\SI\\131m\\155{I\\220E\\170\\240\\200(z:\\249\\&6i\\ACK\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\232.\\SI\\148L \\177\\138h\\191;54\\255\\\\=``\\160l]\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\231\\173\\204\\253k\\153\\213\\144DRZd\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\180\\250DF:\\DC1)\\144_IR\\138^\\213\\247\\154H\\223S*\\234\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128q\\130\\165\\GS\\132\\207\\\\1\\DC4ws\\186\\\"\\150\\&1-\\t\\150\\241\\142K\\190T\\223\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3,\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\230=8\\151\\f\\215\\GS7\\178\\247\\215Q\\220\\173\\GS\\251I;\\180\\239\\152\\176P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\192&e\\149\\144\\215=\\172\\234Q\\135L\\GS*\\155,\\149\\134.\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS8cD\\221\\217\\146\\172I\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\168\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DLE5\\192\\ESCU\\160h\\SOHW\\224\\&0\\251\\181\\229\\186\\208[\\220\\247\\ACK\\ESC\\251g:\\250h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\ACK\\246\\189V\\203\\254\\170$ \\210\\SYN\\191~e\\184\\241*\\253\\163\\168\\ACK\\EOT\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191|\"","tag":"AbiBytesDynamic"},{"contents":"\"iZ\\175\\188\\135\\DC2\\169A\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\&6(Oe\\230'X\\202\\244\\158\\247\\EOT\\252&\\206\\255\\246';\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249XQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUBu\\212\\138\\201ag\\149\\132\\199\\212\\230=^F\\182\\199a\\r\\DC2\\t'\\213=\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\245\\ACKt/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\&7R\\aC\\138\\138{A\\170T\\177\\202\\135=\\236\\STX\\191\\242\\179w\\154\\175\\195\\246D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\DC4%>\\136\\185F\\154\\183\\220\\219m\\231\\129G\\216\\201\\174\\141\\&9\\165\\154\\251\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"?f\\157\\219k\\206\\197\\140)h\\190B\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\149\\f\\STX\\238]\\FS\\241\\135;\\235\\EOTL\\200\\253\\235[\\b\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"_y\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\160\\v8\\177\\235\\196\\221\\&0\\vx\\244\\ACK\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170#Z\\147D\\228o\\155\\t\\b\\141\\173P(\\DC3\\139dM\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"D4\\CAN1\\ETBk\\204|\\246Pf-c\\165\\171\\222M\\SO\\239\\t\\158\\ETXd\\230\\197r:\\142\\203\\179\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"^\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"N6\\145f\\178\\178b+\\132\\131\\189\\230\\170\\RS\\205\\147T\\NAK\\249RP\\228\\b\\172\\149\\144 \\132\\164(,\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193Gb\\184\\166jI\\170\\155\\&9\\178\\129B\\210xR\\197\\146m\\131\\243\\213\\215b2|\\ETB\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\bB\\153\\\"\\156\\229Y\\163\\vUzV\\236\\ENQ\\215\\211\\&2]\\216>x0E\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\150\\240\\146\\227\\208\\254(\\153\\130\\SOHnk^\\227\\137([\\210!\\230\\SUBxDT\\249\\159\\132\\148\\230\\232r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\195QR\\245r\\182m\\234y\\179\\a\\232?\\133\\153\\v\\142C\\246\\&2j\\219\\NAK\\218\\224\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\208\\DC3\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"PY\\252|^\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"P4\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\147\\146\\199\\137\\186\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULE\\228'\\171\\152\\ENQi\\152\\161\\GS\\145\\\\\\ETX\\165/OH\\251\\149\\184\\148\\132N\\156y\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\172\\213\\f\\174\\154\\FS\\244\\245\\246\\EOT\\211r\\DEL\\DC3\\238}\\198\\DC1c0\\242\\195\\193&\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\135AW\\232Dd\\EOTZ\\223\\249\\166\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"+7\\232h\\252n\\210T\\155G: \\255z\\US\\201\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\192\\162U\\146\\EOT~\\GS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\194\\254f\\206F\\128\\DC1q\\SUB\\181j\\156\\234\\130M\\rg\\133\\214\\255\\234\\223\\161-\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"W>\\214uRp\\245\\131\\184\\r_n4\\FS\\206fv\\187H\\132\\140\\&6\\229)@\\223\\187c\\215_\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\ACK\\174\\161,=\\171B\\169\\243\\ACKe\\205\\r\\\\\\156\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\&5\\243\\181\\164\\208\\132\\240%\\225\\186\\DELN\\140\\US\\197\\238\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\192\\&0O\\167\\224\\176\\EOT\\162\\RS\\248\\162\\194.\\253\\193\\&4\\170\\183\\144*\\211][\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233m\\155\\DLE\\194s`4^~s\\232\\236>=D\\249\\218\\&6?v\\177\\169\\223\\197\\SUB1\\188!\\137\\GS\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162U2\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"Fs\\216\\148\\229\\254\\&9\\fF,o\\189\\153\\180\\211\\199\\SO\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\203\\130\\SIXW\\217\\132\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\161^\\ETX\\203\\SUB\\177\\DC4\\175\\151\\241\\193n4\\128\\EOT\\218\\177\\138\\184^\\n\\185\\181\\201\\ESC\\n\\156\\170\\216\"","tag":"AbiBytesDynamic"},{"contents":"\" \\251\\ETB(@\\243E\\rv\\128\\227DC:\\166\\150\\130\\216\\167~M\\174\\CAN\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"pl\\DC4\\b\\144\\133\\&3\\GS\\243\\&6p\\253\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\188\\GS\\148\\192@j\\210\\192$ N\\ENQ\\v\\a?\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218Y\\138^\\131\\248\\210\\155\\\"\\DEL\\175\\216\\239T\\174\\232\\156\\223\\235\\EOTJ\\178\\196\\193)\\246\\f(\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"I3\\241.8\\151\\ACK\\141\\vTf\\\",0\\232\\165n\\\\\\216\\220Y\\157lL\\DC1\\253%\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\GS\\204\\159\\172sG\\133\\143\\228\\STX\\201\\NUL\\152R\\246\\151\\168 O\\198\\DC4\\ENQ\\147-\\144\\239\\SYN\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"j\\246\\199\\194!v\\185\\DLE\\152\\222\\149\\132\\141\\160\\150u\\US\\138\\US\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"j|\\161\\225\\211\\ENQ\\178}\\234\\194;^a\\GS\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\156\\245bN1m\\129]\\195\\160\\137?\\r\\226\\141\\SYN\\DC2\\191\\231:\\223X\\243\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208v\\145\\&9\\\\\\t\\210\\138\\131\\255\\t\\236\\240K\\165\\EOT\\202u;\\173O\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\249#g\\179\\SUBL^\\172\\205\\NUL\\237\\148\\241k?3\\230\\166\\NAK)\\192\\255\\EOTV.\\196 \\130\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"@%\\175\\199h\\239\\210\\217\\ACK\\146ba\\218\\DEL\\170l+\\196\\234\\225\\230n\\152\\247\\195\\170\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\187\\&6\\129\\148i2\\213\\DELy\\172\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180w\\218\\250\\DC4\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\160\\230w\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\\\\\151\\224Ec#\\248Y\\NUL\\STX\\222&*O\\DC3\\139\\174\\171\\ETB\\170\\175@>W0\\215\\187\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\242U\\216\\ESC\\250O-\\162,\\243\\137\\170'\\132\\r\\171\\165\\\"\\DC4*b\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\SUBk\\153\\138\\191_=\\148\\NAK'\\188\\DLE\\220\\131_\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\144\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"$F\\237\\223\\\"\\191\\DLE\\237\\163r\\ENQ\\252<\\154\\182\\177\\233\\193h\\237\\EM\\173\\194\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\238\\188L\\155\\208\\179\\156\\249\\185\\236qCP\\DC2\\174\\t-\"","tag":"AbiBytesDynamic"},{"contents":"\"z,\\173\\171.\\233\\231\\ETX\\214O\\146\\162\\181\\194\\139G\\251\\209\\194\\SO\\224\\166\\175z\\201}$E\\151\\156h`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\138\\194mz\\222\\179M\\DEL\\167\\157\\220\\211\\245W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\242jQ\\NUL\\182\\152\\167\\223\\SIs\\242O\\160\\225\\218\\&2\\216\\&0\\FS\\174s\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\222\\179MC\\rD\\v3:\\137\\218\\193\\200\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\209\\214\\SOHB\\207\\150n\\248\\ESCD\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224J\\RS`\\213\\149\\157T\\201\\188\\207\\183\\177:\\132\\b\\166\\129\\206w\\146\\130O\\245{\\137\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"0P)t\\160\\146\\128\\&8\\GS\\ESC\\170g\\145o\\130\\162\\249\\\\c7\\150\\251\\\"@(\\252\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\">s\\235\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\182 \\142i}]\\246\\SO\\212\\218\\&1\\v\\145hdG\\NUL\\139\\217\\182\\141\\225\\EOTb{\\135\\223\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201p\\223\\191\\128\\ETB'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166y\\168\\137\\NUL_\\184\\238PFb+\\142\\215\\&8q\\DC1z\\208\\135\\192nS\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\a:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\173\\152\\&0p\\218)\\215\\198\\214\\175\\142\\SI\\156\\193\\NAK\\226{\\184U\\154\\CAN\\210\\159*\\148?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\GS\\245\\&7\\254$9\\f\\USh;NTVI\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMD\\247-\\247\\137\\DC2Z\\169W\\198\\170\\220\\SOH\\133\\153(N\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\219X\\134\\187/\\SOx\\RS\\212<\\234\\181\\ENQ\\201ag#\\145;l\\212\\213\\173\\239\\DC4\\240`\\193\\EMo\"","tag":"AbiBytesDynamic"},{"contents":"\" \\ETB/\\209Hw\\183*\\NAK_\\239\\195\\234\\DLE\\145\\238|bD\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\173\\189#\\222\\DC1\\223X\\DC3Hdv\\212\\173r\\FS'\\EM{\\238U\\n\\239A\"","tag":"AbiBytesDynamic"},{"contents":"\";\\253\\158u\\251\\186\\240\\187y\\ETX-\\r\\222`\\189ho\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"TV]\\236\\140\\ETX\\228\\179\\201\\ESCg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\178\\ETB\\249\\200\\207\\DC1@\\191\\171*e\\129\\201\\&7\\174\\165\\ETXe \\252\\203\\145\\228\\131CG\\DEL\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\151d.\\169\\220\\173\\128x~br\\191\\196\\233\\222\\165\\170\\156\\132\\171]\\EOT\\b\\\"\\252\\136\\156\\157\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"6`Q\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\133'\\239\\128\\177VkS\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\189\\242\\147%H3=\\191\\&1,\\150\\198\\202M\\218\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\253\\230\\238\\242\\180\\193\\138\\150\\DC1\\ENQ\\EM~\\218\\STX\\156\\n\\246\\143\\\"$\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\143\\219\\232\\&0\\230\\236)\\221\\t\\DLE\\192b\\207#\\184z\\145\\172\\151\\200\\236\\&0\\203\\255\\252\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\CANF\\164\\199\\GS\\204\\253\\224\\SO\\253#g\\153_\\190\\128\\250j\\218N\\213\\&9\\186\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1533403432"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1531462725"],"tag":"AbiUInt"},{"contents":[256,"65355385390269819001732553523378178446988016187830843688736307524879843736228"],"tag":"AbiUInt"},{"contents":[256,"104"],"tag":"AbiUInt"},{"contents":[256,"16410336912456986622034361858940481084973198325819996504829057317360396513192"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628414"],"tag":"AbiUInt"},{"contents":[256,"59841692394872846713198926619970824817185548099658917957047384330242352660222"],"tag":"AbiUInt"},{"contents":[256,"30088686546964887"],"tag":"AbiUInt"},{"contents":[256,"144"],"tag":"AbiUInt"},{"contents":[256,"1527295748"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1534300059"],"tag":"AbiUInt"},{"contents":[256,"25110984803744374846438108091087653599311941968642695719672911360999461737301"],"tag":"AbiUInt"},{"contents":[256,"65011580951193026531473062206064143758278647353840258835220134562728335123542"],"tag":"AbiUInt"},{"contents":[256,"43843652282928896663679739197304074546926371905077755731543284054098425924247"],"tag":"AbiUInt"},{"contents":[256,"36539764596719450694278461433873311230683971334690674113208800039220153387670"],"tag":"AbiUInt"},{"contents":[256,"36539764596719450694278461433873311230683971334690674113208800039220153387670"],"tag":"AbiUInt"},{"contents":[256,"36539764596719450694278461433873311230683971334690674113208800039220153387670"],"tag":"AbiUInt"},{"contents":[256,"36539764596719450694278461433873311230683971334690674113208800039220153387670"],"tag":"AbiUInt"},{"contents":[256,"148100619513316759207482246633208629831"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"108971223181717414739926419811022167263791030079919267239552337272940395725554"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"530"],"tag":"AbiUInt"},{"contents":[256,"61787861411923151034292087834508232211386498350499806642292494033650732538617"],"tag":"AbiUInt"},{"contents":[256,"15472820"],"tag":"AbiUInt"},{"contents":[256,"11977221311877047625230945357391755000573700563906564179667626308324365658379"],"tag":"AbiUInt"},{"contents":[256,"58165068022808610101722408078101167503746042996098810456629524541977714962618"],"tag":"AbiUInt"},{"contents":[256,"58194360558154968319846078510130994497312173227217888386835231047164045236310"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"1532193237"],"tag":"AbiUInt"},{"contents":[256,"939"],"tag":"AbiUInt"},{"contents":[256,"37985793927030441413840093580309132724494134115563471951418282670399540167578"],"tag":"AbiUInt"},{"contents":[256,"38847202600936613029666236232717933950410181758575777663636057437109105676571"],"tag":"AbiUInt"},{"contents":[256,"244169852138163752637210347701353656012475689"],"tag":"AbiUInt"},{"contents":[256,"1546591293"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"5448380185376427838403607979655919950734376880072022767916716488328796702614"],"tag":"AbiUInt"},{"contents":[256,"9455967223729198385040425408195784916429444161265281432641761244750015883823"],"tag":"AbiUInt"},{"contents":[256,"1544867148"],"tag":"AbiUInt"},{"contents":[256,"476"],"tag":"AbiUInt"},{"contents":[256,"88950319846335927959303886502619079921"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630936"],"tag":"AbiUInt"},{"contents":[256,"71509786639919032127888772524598202991689441279369157277412404221371647464516"],"tag":"AbiUInt"},{"contents":[256,"110753565323250987667109248381998542415200259385274545469707150217531235877008"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"91456509746170892449280942045631788436466759115023529723846185759369423406571"],"tag":"AbiUInt"},{"contents":[256,"23293307884358910962587364208264779296095326531746516276495647415805615725488"],"tag":"AbiUInt"},{"contents":[256,"107639177331859169264381319586217541732119598535368958645301800984215527664414"],"tag":"AbiUInt"},{"contents":[256,"1533062303"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062333"],"tag":"AbiUInt"},{"contents":[256,"1536441374"],"tag":"AbiUInt"},{"contents":[256,"2142972499075697751320987924178000940659416777014572535821827316413508034390"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"1545598161"],"tag":"AbiUInt"},{"contents":[256,"46480686424906255513906188353173968907865436905339380928965487929323496901898"],"tag":"AbiUInt"},{"contents":[256,"1539103198"],"tag":"AbiUInt"},{"contents":[256,"1527585232"],"tag":"AbiUInt"},{"contents":[256,"85423834782373337979797770949512479968384552754400399620467769103076207163310"],"tag":"AbiUInt"},{"contents":[256,"31498294250764482564302492916546391322167959616510011880417273449370967475763"],"tag":"AbiUInt"},{"contents":[256,"80013635101591702411853017212273695454072693170272203167178199616487109996294"],"tag":"AbiUInt"},{"contents":[256,"1539562879"],"tag":"AbiUInt"},{"contents":[256,"4"],"tag":"AbiUInt"},{"contents":[256,"444211415"],"tag":"AbiUInt"},{"contents":[256,"105138614537790507939823400"],"tag":"AbiUInt"},{"contents":[256,"53584331465901990991298794557846078687032850100408873555613945390500500438676"],"tag":"AbiUInt"},{"contents":[256,"99846815990560253974813213102665034293532368353659601391280929398014797766416"],"tag":"AbiUInt"},{"contents":[256,"63748176816815395366741218755343165331643908966734544045966347423597846550577"],"tag":"AbiUInt"},{"contents":[256,"6309022713541740107875612455737055820570728432968421923856487472523213536057"],"tag":"AbiUInt"},{"contents":[256,"18600488897447707991243703059981261943685969606265331255373717956828515740499"],"tag":"AbiUInt"},{"contents":[256,"266201182931347233847975097666219999369"],"tag":"AbiUInt"},{"contents":[256,"110949060104258283139346211890247395920439766559547742336987326906654196766395"],"tag":"AbiUInt"},{"contents":[256,"34990841164461679842172978452736705194618105514489063275857046401587052451716"],"tag":"AbiUInt"},{"contents":[256,"86106968418615060559171405275160982792245276659378336011211035985272294778811"],"tag":"AbiUInt"},{"contents":[256,"59898800978082653994007437588089782147377871078209481389816153749176584985850"],"tag":"AbiUInt"},{"contents":[256,"10477007337554214530674664715413694954276549588959585754604752617628700760737"],"tag":"AbiUInt"},{"contents":[256,"75217337285739782059335552090336103870083168894379877346757497569772003003200"],"tag":"AbiUInt"},{"contents":[256,"107743847695952142630776605682325104723291847640033630967415890496125522816951"],"tag":"AbiUInt"},{"contents":[256,"302"],"tag":"AbiUInt"},{"contents":[256,"48607629752353323166825175472468073902909904234106500459552113020167367469143"],"tag":"AbiUInt"},{"contents":[256,"301898382839732594906162266983892548055"],"tag":"AbiUInt"},{"contents":[256,"19719837610836089637271499847836752157690157403450182975466757422269341267421"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"29686519241348051942514492715304191892345020641955461554973372507276049397998"],"tag":"AbiUInt"},{"contents":[256,"108826414511322145222203016286469574346"],"tag":"AbiUInt"},{"contents":[256,"54199244636531604505646763895262676348100312986436889078195309667937161292136"],"tag":"AbiUInt"},{"contents":[256,"68"],"tag":"AbiUInt"},{"contents":[256,"75564918903536612760007448114858379381730017729281683519648297571299907066371"],"tag":"AbiUInt"},{"contents":[256,"1544579297"],"tag":"AbiUInt"},{"contents":[256,"1544579297"],"tag":"AbiUInt"},{"contents":[256,"1544579297"],"tag":"AbiUInt"},{"contents":[256,"1544579297"],"tag":"AbiUInt"},{"contents":[256,"1544579297"],"tag":"AbiUInt"},{"contents":[256,"1544579297"],"tag":"AbiUInt"},{"contents":[256,"1544579297"],"tag":"AbiUInt"},{"contents":[256,"1553090082"],"tag":"AbiUInt"},{"contents":[256,"24744926416736874729604237702419649231980173741864210362759802269960517464333"],"tag":"AbiUInt"},{"contents":[256,"1542681732"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"107997006321025720068431855360884091867161572761208492531342759730023837070143"],"tag":"AbiUInt"},{"contents":[256,"923"],"tag":"AbiUInt"},{"contents":[256,"559212635905"],"tag":"AbiUInt"},{"contents":[256,"58367579954615906245847568497600948171276339579267439509256664491687135073893"],"tag":"AbiUInt"},{"contents":[256,"1532452577"],"tag":"AbiUInt"},{"contents":[256,"1541252376"],"tag":"AbiUInt"},{"contents":[256,"1526853028"],"tag":"AbiUInt"},{"contents":[256,"59497323994128762360378408151236622326886679812573962790281249625325052099966"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"61983315408718298336021341849337197487406646231937289436958654721253271336521"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1530050149"],"tag":"AbiUInt"},{"contents":[256,"1540272919"],"tag":"AbiUInt"},{"contents":[256,"109300846181497134892965547604241627167130387773121543804804332391910396598274"],"tag":"AbiUInt"},{"contents":[256,"24476659849541940017514343801344797036605515735327488969019748473437052730324"],"tag":"AbiUInt"},{"contents":[256,"91103306004326777905659992054466370256703910753493255323666979963009624020489"],"tag":"AbiUInt"},{"contents":[256,"525"],"tag":"AbiUInt"},{"contents":[256,"1530924738"],"tag":"AbiUInt"},{"contents":[256,"556430537982229930751009"],"tag":"AbiUInt"},{"contents":[256,"70430601578286544678135129973242379646507847658530453873630751609355250580991"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003fba3","0x000000000000000000000000000000000000000000000000000000000000e6b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000012f81","0x0000000000000000000000000000000000000000000000000000000000002865"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"60907311198501790944718523270827628291453407364248683945668018998800683881660"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065679","0x0000000000000000000000000000000000000000000000000000000000001f03"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"1525109616"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000381a","0x00000000000000000000000000000000000000000000000000000000000090a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x8b580402DEeFD8708Abd757CcD29066d9d5CA86b","tag":"AbiAddress"},{"contents":[256,"66545019572761164617432330811217900859088613907877013794055994948975785994272"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045ee7","0x0000000000000000000000000000000000000000000000000000000000007154"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068060","0x000000000000000000000000000000000000000000000000000000000000e072"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"72455174189167440623171581859085380528270353737467784659856700912943086219520"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008b","0x00000000000000000000000000000000000000000000000000000000000071e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"87709254894787032235295085792349542287618131574097160320879648887780676192861"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001d17a","0x00000000000000000000000000000000000000000000000000000000000059c9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"103027199610282354124730191298937765882694821263381136714311387107819089847522"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000a67d","0x0000000000000000000000000000000000000000000000000000000000009a5f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000932d7","0x00000000000000000000000000000000000000000000000000000000000069be"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"108661751716988532400453340232295890902330292279262127604762281718396424643003"],"tag":"AbiUInt"},{"contents":[256,"1529370880"],"tag":"AbiUInt"},{"contents":[256,"1539280365"],"tag":"AbiUInt"},{"contents":[256,"149180213326290548389437572934721528687922809892489427479732"],"tag":"AbiUInt"},{"contents":[256,"1541408063"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"94653614381396060081319825391079519375272773787360430872065096776921124059933"],"tag":"AbiUInt"},{"contents":[256,"44248578117768700072256921898299623994743995402918151355920898912918445152088"],"tag":"AbiUInt"},{"contents":[256,"61964032008308034081991892434909585479723725874615435101391183097536799752014"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"58950146937176391992687615460631377875356552141626044369849830585717492299445"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004694f","0x0000000000000000000000000000000000000000000000000000000000009e97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000000000000005b4d9a54"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083195","0x00000000000000000000000000000000000000000000000000000000000048a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"5801074137387163709844109993123056207634983332330190198347681856590071340769"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000073d6","0x000000000000000000000000000000000000000000000000000000000000156d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000521bd","0x0000000000000000000000000000000000000000000000000000000000000fa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"1550661382"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x0000000000000000000000000000000000000000000000000000000000001390"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"84856042069828052561252383261592941208443460083200563203324922030360677895737"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001db72","0x00000000000000000000000000000000000000000000000000000000000007c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"77197366976913452989457320552811944581752439635725996068255522588104517579488"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ba2f","0x000000000000000000000000000000000000000000000000000000000000d580"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"1547820105"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ca3a","0x0000000000000000000000000000000000000000000000000000000000000054"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"71744775453099001515098785358329748754011117191616813326443931016790064351672"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb0","0x00000000000000000000000000000000000000000000000000000000000094e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a3dd","0x0000000000000000000000000000000000000000000000000000000000007d36"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c7cc","0x000000000000000000000000000000000000000000000000000000000000691f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"3146195517093909395905182048507122306534317408541372586374099916310506633194"],"tag":"AbiUInt"},{"contents":[256,"1538683346"],"tag":"AbiUInt"},{"contents":[256,"109100211600092317621730654315508933943981841169133661605266058698864774878285"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"109372975324221252630299152384512740242621239805648301846487666233480003867389"],"tag":"AbiUInt"},{"contents":[256,"1017"],"tag":"AbiUInt"},{"contents":[256,"72203613825657805733547494727152274836984364317708664761305971904357938148588"],"tag":"AbiUInt"},{"contents":[256,"57"],"tag":"AbiUInt"},{"contents":[256,"13675648113380441715074417860989242804954087211854268356112597846912745617501"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266897"],"tag":"AbiUInt"},{"contents":[256,"106104326757398217477804034584889067158171010225048571756660005578903480645022"],"tag":"AbiUInt"},{"contents":[256,"100491630278977832711658860110283750902836097768781111335056886687365737220223"],"tag":"AbiUInt"},{"contents":[256,"3007313995759670579405111002887851837589771483263958995917381792371873009610"],"tag":"AbiUInt"},{"contents":[256,"1540772517"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1535448706"],"tag":"AbiUInt"},{"contents":[256,"40589846967564688408747719128123685118162121563462399314471448956683458637884"],"tag":"AbiUInt"},{"contents":[256,"103809069859513559465667221463776661946143569717635233088775428697374877173271"],"tag":"AbiUInt"},{"contents":[256,"23653342079875759949891200385825251366109240964330671729979871304579045858907"],"tag":"AbiUInt"},{"contents":[256,"37625985460383900602223189841539602546254673395248196123530509743568584546742"],"tag":"AbiUInt"},{"contents":[256,"37625985460383900602223189841539602546254673395248196123530509743568584546742"],"tag":"AbiUInt"},{"contents":[256,"37625985460383900602223189841539602546254673395248196123530509743568584546742"],"tag":"AbiUInt"},{"contents":[256,"37625985460383900602223189841539602546254673395248196123530509743568584546742"],"tag":"AbiUInt"},{"contents":[256,"37625985460383900602223189841539602546254673395248196123530509743568584546742"],"tag":"AbiUInt"},{"contents":[256,"37625985460383900602223189841539602546254673395248196123530509743568584546742"],"tag":"AbiUInt"},{"contents":[256,"37625985460383900602223189841539602546254673395248196123530509743568584546742"],"tag":"AbiUInt"},{"contents":[256,"37625985460383900602223189841539602546254673395248196123530509743568584546742"],"tag":"AbiUInt"},{"contents":[256,"37625985460383900602223189841539602546254673395248196123530509743568584546742"],"tag":"AbiUInt"},{"contents":[256,"37625985460383900602223189841539602546254673395248196123530509743568584546742"],"tag":"AbiUInt"},{"contents":[256,"1531537737"],"tag":"AbiUInt"},{"contents":[256,"100620771406632590096522477114058110653828342298686443209368719529977246287134"],"tag":"AbiUInt"},{"contents":[256,"82508982200113086630814073000482165668371702606056827229931505936659600058134"],"tag":"AbiUInt"},{"contents":[256,"1532425631"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000a60","0x000000000000000000000000000000000000000000000000000000000000a0b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x000000000000000000000000000000000000000000000000000000005c750690"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000067fc8","0x0000000000000000000000000000000000000000000000000000000000006296"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000063","0x00000000000000000000000000000000000000000000000000000000000072c4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"81310728046898716262634464193267116514265053293774331428188293938425714535592"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022d4f","0x0000000000000000000000000000000000000000000000000000000000003fcb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d2b7","0x000000000000000000000000000000000000000000000000000000000000cf33"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"40090266385332723475819133926886480637498881537804611603192213702834621304698"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000035d","0x000000000000000000000000000000000000000000000000000000000000113e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"25531787429206832825340547"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabf","0x00000000000000000000000000000000000000000000000000000000000017b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"56180175287009574556160740272553645892487351716948327758810683182858917411300"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006e2fa","0x000000000000000000000000000000000000000000000000000000000000e659"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b4ff","0x00000000000000000000000000000000000000000000000000000000000090d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e705","0x00000000000000000000000000000000000000000000000000000000000001ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"218744726498888443706797174419556126"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001a32f","0x000000000000000000000000000000000000000000000000000000000000711a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"86001191031107889971184046157705718289019058449825913335136306998420602311196"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000026557","0x00000000000000000000000000000000000000000000000000000000000040ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"1543363771"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000726f8","0x0000000000000000000000000000000000000000000000000000000000009f29"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002e23d","0x000000000000000000000000000000000000000000000000000000000000c082"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000509e7","0x0000000000000000000000000000000000000000000000000000000000003ba9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"86570640062915404723402920634573068856701945499396908999389502055220487038981"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea18","0x000000000000000000000000000000000000000000000000000000000000dd9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"1550369037"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005900d","0x000000000000000000000000000000000000000000000000000000000000b967"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"64984694281175758624437244572491668888239886029606204907925707398587510711163"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000090d7","0x000000000000000000000000000000000000000000000000000000000000001d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"37922519278950265799142464037743781925157192792854394306833768616715543896002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089711","0x000000000000000000000000000000000000000000000000000000000000c3f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000458e1","0x000000000000000000000000000000000000000000000000000000000000c060"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"498"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac0","0x000000000000000000000000000000000000000000000000000000000000c051"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003f311","0x000000000000000000000000000000000000000000000000000000000000ac31"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"100271844013330344652779493178602006668341583030090060310469139181527981182260"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c820","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000012b00","0x000000000000000000000000000000000000000000000000000000000000135d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"1546972385"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb00","0x000000000000000000000000000000000000000000000000000000000000c193"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":[256,"1547924710"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043b95","0x00000000000000000000000000000000000000000000000000000000000000fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"1551711825"],"tag":"AbiUInt"},{"contents":"0xB7D2d61ec425c5B32B32291Ef912EFaE84a92617","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037585","0x0000000000000000000000000000000000000000000000000000000000004c8e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f93b","0x0000000000000000000000000000000000000000000000000000000000005644"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"52374088493269607980783142744418680896864451564552413170250107279602023021"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001e4","0x0000000000000000000000000000000000000000000000000000000000009500"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"1529063767"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000798dc","0x000000000000000000000000000000000000000000000000000000000000cd00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"61861719566296024047316745219803035341290695812710787578555128516284832347396"],"tag":"AbiUInt"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005dc63","0x0000000000000000000000000000000000000000000000000000000000003d3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x491592ed8A58427c5e212Ff73d4f8E94EB77778D","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1545610206"],"tag":"AbiUInt"},{"contents":[256,"1548816652"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001de","0x000000000000000000000000000000000000000000000000000000000000d13c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"1668"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042912","0x000000000000000000000000000000000000000000000000000000000000258d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000009350f","0x0000000000000000000000000000000000000000000000000000000000003091"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000086","0x0000000000000000000000000000000000000000000000000000000000006bc8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"604797"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006993c","0x000000000000000000000000000000000000000000000000000000000000d352"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000094","0x0000000000000000000000000000000000000000000000000000000000001516"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d078","0x0000000000000000000000000000000000000000000000000000000000007110"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"595040753165525362440041440354069298761"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002168f","0x0000000000000000000000000000000000000000000000000000000000000600"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"1532631268"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000126bd","0x000000000000000000000000000000000000000000000000000000000000138d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"35361108234047977500262070810752767851622884996570200795802033047930265000090"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e6d0","0x000000000000000000000000000000000000000000000000000000000000db19"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"52109043770475890307734876298785161843712453275320404796739167310606056629425"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a3d5","0x00000000000000000000000000000000000000000000000000000000000050f0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"1533924132"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092c88","0x0000000000000000000000000000000000000000000000000000000000006bdc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"1542789711"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048e00","0x0000000000000000000000000000000000000000000000000000000000009bdb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"74612194929253397468876803247891159302718005094245602491494603689561597472720"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9e","0x000000000000000000000000000000000000000000000000000000000000e500"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e4","0x000000000000000000000000000000000000000000000000000000000000ae99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e643","0x000000000000000000000000000000000000000000000000000000000000652f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000220d4","0x0000000000000000000000000000000000000000000000000000000000008da5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000f1e2","0x000000000000000000000000000000000000000000000000000000000000ad32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"1221160478"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051dc8","0x00000000000000000000000000000000000000000000000000000000000003eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"86"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"112402854781318448353016126812777293710071313725864714763050005684205000457727"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000050","0x00000000000000000000000000000000000000000000000000000000000023a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"29006698600786217400050379481006134984986922009774739545623335508167245852691"],"tag":"AbiUInt"},{"contents":[256,"4370001"],"tag":"AbiUInt"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075e0d","0x0000000000000000000000000000000000000000000000000000000000006919"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"45892095608667137096949035844148545828495400038118755097019924719347947182719"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000091996","0x000000000000000000000000000000000000000000000000000000000000b753"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c071","0x000000000000000000000000000000000000000000000000000000000000d8f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"43847441224871817644386208426526462238086739319889766548069479933374815683870"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003dd11","0x000000000000000000000000000000000000000000000000000000000000125f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"84"],"tag":"AbiUInt"},{"contents":[256,"30390623173172663686735307945629303516950402819568067479191337578643795841387"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008709","0x000000000000000000000000000000000000000000000000000000000000b6bf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"18332943783485386846387873680874467309586677927161821795957320562293461838074"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048166","0x0000000000000000000000000000000000000000000000000000000000004c05"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"108840152404533079820344947852910916332171839480279219803596757236849055276346"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006cbb6","0x0000000000000000000000000000000000000000000000000000000000009cdc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"68724499960038999384685115285920033582513346577132280291886975459103458229799"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008b3f0","0x000000000000000000000000000000000000000000000000000000000000c7b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008bdb5","0x0000000000000000000000000000000000000000000000000000000000005e84"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]