[{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000912a3","0x000000000000000000000000000000000000000000000000000000000000dcb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005eb54","0x00000000000000000000000000000000000000000000000000000000000094d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004fee8","0x0000000000000000000000000000000000000000000000000000000000000185"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"68281503975575577335015282073566390835203783839348179150342622018351062948763"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000518b9","0x00000000000000000000000000000000000000000000000000000000000073c1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000506f7","0x00000000000000000000000000000000000000000000000000000000000045d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"110521701185585013895423644841091869763167605659914410379265751687902907443474"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000044ab8","0x000000000000000000000000000000000000000000000000000000000000101c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000002cc937cbf97d565d7"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"63809102307476500109201595667534269964888976811095540333594333171514987628414"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4a","0x00000000000000000000000000000000000000000000000000000000000035d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7f","0x00000000000000000000000000000000000000000000000000000000000005ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"67288271954098467368517490581805635756406343624579450387112254224694334322803"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51b","0x000000000000000000000000000000000000000000000000000000000000bf3e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"88"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"304"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ce94","0x00000000000000000000000000000000000000000000000000000000000003d5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e25f","0x000000000000000000000000000000000000000000000000000000000000e0e1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"106972678281435504568912973769445708174051244293570388579928307980367659694207"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6a","0x0000000000000000000000000000000000000000000000000000000000001358"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":[256,"73331198610966422928707883253925482206162483216509976630763610806051445409873"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000079860","0x000000000000000000000000000000000000000000000000000000000000e1da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"17132336258314474274537398277101126680912257011548237099626077734573209650749"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048c08","0x000000000000000000000000000000000000000000000000000000000000b3f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"134245937034915732913016058831626480655"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c784","0x00000000000000000000000000000000000000000000000000000000000034e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1529091377"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c5dc","0x000000000000000000000000000000000000000000000000000000000000013d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"235"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec8","0x000000000000000000000000000000000000000000000000000000000000a896"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[128,"340282366920938463463374607431768211455"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000304","0x000000000000000000000000000000000000000000000000000000000000043e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"634"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001051","0x0000000000000000000000000000000000000000000000000000000000002dcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"1525714889"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017f7c","0x0000000000000000000000000000000000000000000000000000000000000fe7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"59090545473186849321398128623013225067614925547547471176249634499453866831574"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085f14","0x000000000000000000000000000000000000000000000000000000000000138b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b918","0x0000000000000000000000000000000000000000000000000000000000003d0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[256,"100"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000533de","0x000000000000000000000000000000000000000000000000000000000000107f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"74107914316185659577166624679929936298582735257679053176134406505358666102044"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015207","0x00000000000000000000000000000000000000000000000000000000000019dc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"107420760662587509988371568067307186703701883726154511204503899810492196822075"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551612"],"tag":"AbiUInt"},{"contents":[256,"503"],"tag":"AbiUInt"},{"contents":[256,"1525397543"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf1","0x000000000000000000000000000000000000000000000000000000000000b2c8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004abde","0x00000000000000000000000000000000000000000000000000000000000017b2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"252"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa3","0x000000000000000000000000000000000000000000000000000000000000ab98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"197"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f05c","0x00000000000000000000000000000000000000000000000000000000000080f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x8324ADfC37e4Ce6B24a34Ced4A13faadbd59Ca97","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\DLE\\128\\219\\CAN\\195\\237\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\161\\146\\128+\\219\\240\\245+\\b\\128\\202\\201d\\202D\\175\\223\\227\\204\\205\\133\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\174\\&6r\\233a^\\179\\172\\219\\208\\150=\\192Hz\\DLE\\241~)\\134\\\\>$\\174\\192\\219\\149Zl\\203\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\168o\\239-X\\128,\\228\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\136J|2\\t\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"hX8\\193ok\\181\\206\\137\\210=\\248\\184H\\142&\\192\\SOH\\152u~3\\236\\253'\\178&U\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\DLE,?w\\234\\181\\186`\\206\\166t\\175\\176\\146\\233\\181\\172\\178\\214\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\218P\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\243\\226\\213\\184@\\196{;\\t \\b2\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\245$\\227\\216\\165'\\220\\186\\213\\v\\210\\FS\\GSg\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\147\\181\\DC2\\248\\230|\\236\\216\\152\\207\\196\\247\\176V\\135Q|Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\225\\204\\211\\194\\181V\\DC2\\244\\189\\135q\\230\\216z\\149\\158\\217\\b\\186\\ETB\\r:\\n\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\ENQ\\177\\DELV\\162\\ESC\\210\\152d\\131\\224\\&2E\\139\\ENQR\\232Ea\\t\\137\\247\\NUL|\\214\\171\\196\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\225\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\185\\SO\\169cW4D\\236\\213\\174\\240G\\209S\\224\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\">{1l\\220\\194-\\\"\\ENQ\\211\\tF\\167\\DC4\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176SmN\\238\\ESC\\164\\133\\191\\213\\130\\ENQAm\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"Fd\\203\\230\\243\\v\\211!\\218\\194\\218\\152<\\241Eg\\DC1J\\143W\\130\\241\\rYbW\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\CANR\\196\\224(\\ESC\\DLE\\131\\224\\172\\197-z\\210J\\219\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"MS\\ETX\\164\\185\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\238\\198\\171->q\\204\\FSd\"","tag":"AbiBytesDynamic"},{"contents":"\"hS\\SO\\153\\151\\NAKz\\DC1/i5\\191\\246T/v\\US\\SOH\\144\\ESC\\ESC&\\195l|\\131Hf\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237d\\137\\&9v\"","tag":"AbiBytesDynamic"},{"contents":"\"3'\\169\\246\\244\\ETB)\\225\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\246\\bl\\219'\\156\\156J*eC\\130\\234\\r\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\174r\\151\\199\\218xh\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"K#\\247\\253\\185Pk-\\216\\235=\\204\\224\\175\\&2\\164\"","tag":"AbiBytesDynamic"},{"contents":"\">\\ENQ\\203\\208h\\DC3\\177\\166\\159R\\181+\\215\\138\\160\\DC3\\151\\198\\FS\\242\\164\\NAK\\183\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\186\\205\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\223Gy\\164O\\194\\STXj7\\fBj\\DC3\\169\\249\\&0\\242\\194\\n\\189\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"Rp\\184S-MA\\216\\US%us\\144\\EOT\\174\\193'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226i6\\181p\\177\\181r%\\233\\138R\\223T\\168\\&8zu\\ENQC\\224\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"TT\\248\\193\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\164<\\SO\\v\\214_\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\CAN\\136\\185\\145\\&3\\133\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158`\\237\\226]\\EOT\\169\\184\\SIFJ\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232Vh=\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\146\\175v\\SUB\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"(2*\\223\\\"\\ESC\\ETX\\195\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186_\\233\\229\\132!\\167\\148d\\139\\v\\NAKs\\221\\225\\231$M\\SYNR\\233M\\153\\GSQ\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEI\\231kT9^\\184\\136AO\\220\\188\\219^X\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"4ZaM\\199\\158\\227G%\\246P\\224\\NUL\\163\\SO\\128U\\177C\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\143\\230\\188,\"","tag":"AbiBytesDynamic"},{"contents":"\"b-\\218`!\\f\\233\\&7\\190\\136n\\ETX9\\bVK\\168fs\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\171\\&4\\bSWc\\190DW\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"^+\\163\\210\\DC1\\162:b7B\\EOT\\170\\&0\\138\\246O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\NUL*9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\239e_\\177\\199\\ESC\\NUL\\169T\\137\\255B\\SYN\\177K<\\162\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\132D\\141\\250\\ETX\\147\\221\\213\\161_`=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\231\\&4\\185\\139b)\\247\\216\\199\\166\\223\\b\\222'{c\\200\\224)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\189\\132\\r\\a\\r2\\DC3[\\235;g\\248]\\227N\\188u]\\169mq\\248\\248N\\159\\252uc\\168\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\ACKsjrz\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"R\\219.\\209\\194\\176\\177@\\169\\t\\131eL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\fB[5m\\148H\\209O\\158\\155\\193\\DC4\\136+l\\191\\a\\155\\SYN\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\RS\\175P\\227;\\184\\135 \\221\\255jsv\\141F\\230\\149%\\227\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168G00\\222\\128\\239\\221q\\235r\\164\\SIt\\\"\\222\\217n\\r\\207\\NUL\\236\\215\\191\\146d\\171\\167\\243\\254\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\188\\238_7\\243Y\\205\\234\\209\\242\\141\\&2[\\143\\172\\DC2AdlwX\\SO\\197|\\240\\176\\&7(6\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\243\\217\\&4^=\\224\\248\\187\\131s\\239)\\171v\\218\\aPh\\195\\215\\217:\\226s\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\FS\\155l\\ETXjO\\SIN>\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\218\\137\\147\\v\\ESC\\208\\163\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253KyvLD\\148&D\\219$\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\226\\v\\229\\&3\\231\\&7=\\214\\v7\\CAN#\\196K\\EM3\\230\\215\\167\\DEL\\t\\254\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218h\\227\\DC2t44\\220Y\\226\\NAKD(D\\217j0\\ESC\\247^\\187[\\162\\137\\139b\\r/\\163\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"?D\\248\\228\\163\\vN\\STXC\\140\\166\\v;-'<\"","tag":"AbiBytesDynamic"},{"contents":"\"^'\\NULZ\\247\\255\\199\\134*\\172\\FS\\238\\131\\&4\\164\\ty\\US\\229x\\NUL\\194\\DC2\\200\\239\\CAN\\ACK\\SO\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215@\\157\\244\\FS\\SI\\DEL!\\173\\207\\147\\203\\129 t\\138\\146\\226)\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\142B\\243X\\219m\\132b\\186\\158~\\ETX\\137\\213\\&4\\SYNlHn\\179\\DEL\\177\\228\\242\\&2\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\220\\157\\240\\197\\207f<O\\141((\\247\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\128\\196\\174\\216\\243\\175\\154K\\188\\216\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\GS\\149X~\\229\\170\\174\\EM3d\\193d]\\132'\\200\\214\\&1\\147\\134\\243C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231P1R\\ENQ\\251\\219\\135l\\CAN\\207\\EM\\184I\\DEL\\rbD\\EM\\219\\149\\211G\"","tag":"AbiBytesDynamic"},{"contents":"\"Jt\\174\\254\\&7\\216\\152\\&4\\229\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS%\\145TSVj]\\229\\243\\228\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\192\\191\\&4\\192\\149\\192\\&5^\\STX\\206\\248\\230\\229\\184\\183\\\\\\DLE\\ENQ\\187D\\235\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\n\\241~\"","tag":"AbiBytesDynamic"},{"contents":"\" \\224\\&4\\SI\\180\\255\\133\\235\\162\\ETX`\\163\\f\\f\\136\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"fF\\153\\221\\130\\193co<\\219\\ENQ\\155\\&9\\220>y\\ESC\\202w\\196\\161\\159\\DC3\\171\\209\\226\\237W\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129a\\ETXe7r\\235\\166\\158\\ETB\\153\\213\\SUB\\SOH\\169LG\\148\\SOH\\200\\CAN@\\204\\&9<\\NUL\\149\\164\\131\\229\\128B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\fN\\163\\213\\194\\149\\158^\\145\\GS\\SYN#z\\202oh\\201\\DC1s\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224.\\222\\r\\186\\178K\\SOu\\n;\\252\\NAKwo\\DEL#\\156\\254l\\174%\"","tag":"AbiBytesDynamic"},{"contents":"\"*E\\189\\233\\NAK\\SO\\164GX;\\251R+.\\218\\237\\130 f?}j1\\202\\175\\165y\\215\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\170\\255~\\139\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\164M\\UStY\\160\\190\\a\\212\\210\\246\\134\\DC2\\199\\189R\\SOH\\RS\\212?\\149\\&5\\168\\DC3\\180J\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"5\\175\\234H!v\\138A\\237=\\156\\165\\238\\255\\EOTh\\227G\\222\\v9,nR\\147\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\vv++\\CAN\\148\\211\\CAN\\243\\134t\\154;\\254:\\NAK\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\r\\133\\DC3\\v\\220\\183~#n\\159*t\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"rH}\\243\\&2\\155\\189\\202\\251\\171n\\a\\181\\217&\\149\\140\\177\\216\\167/\\r\\222s\\201\\192\\161\\182\\US\\224\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213z\\169\\188\\232K\\243\\251\\190\\222=\"","tag":"AbiBytesDynamic"},{"contents":"\"U\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\202B\\SOH\\DC1n\\239\\142\\207?\\236\\EOT\\215\\219pf\\133\\NAK\\FS\\159\\214\\DC2\\255\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\170\\251/-k~\\254\\f\\DC1\\216\\132\\191\\203\\245\\146\\184<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145K2\\208\\\"\\164>\\221!\\193SHv\\a\\229QC\\198n\\153\\&0Gk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3*\\235_\\198k\\215\\241\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\205\\189\\t\\253\\129C\\190\\236\\175;\\202\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"ZlXG\\138/V\\217\\&72\\191\\189Z\\ETB\\247\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\200\\186\\130\\SUBP\\ACK\\159\\STX=\\129\\229\\183\\157\\&2\\239\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147:\\240\\251FO\\139e?o8\\149\\132\\SO\\151\\248\\US\\192\\178K\\229:`}\\DC2\\SUB\\129\\253\\206\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139]\\\\:\\182\\216\\160[\\180\\a\\173k\\157\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULxq^a\\SOHw\\154\\210\\234\\&6\\146\\193\\RS\\244\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230%\\228\\140\\172\\225!@\\130\\162\\226kB\\183\\144\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"..\\244\\188m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\202\\192\\186~F\\172w\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\149\\159\\146\\157BQ\\SYN\\EM\\t\\243R\\249\\193,\\229\\SIYt\\197\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\226\\173\\\"W\\195\\138;0Wh\\EOTb}\\159a=m\\143\\249\\135.N\\192\\160\\225\\ETB\\158\\210\\132\\209\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"op\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"/cx\\170\\171\\172\\249\\&2\\134\\132MA\\228\\131\\225\\200=Es3\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\242\\144\\180\\164\\136\\252D\\165PY\\133\\200~i\\168\\&1\\GS\\205\\179'\\221&\\184:\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"Z#p\\130\\201ZK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\&2\\209\\132\\166\\135\\STX\\194`\\f\\DLE\\NUL.\\151\\211\\157'\\195\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Udal\\232\\175\\128\\129.\\179\\163k\\175CZ\\137\\bk'2\\198\\201\\174\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\191\\138\\145\\234\\SYN0yL\\179\\US<\\248\\DC1\\194\\246\\NAK\\231I\\141w7\\229\\130\\190\\EM=\\NAK\\139\\168\\181u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134M\\141\\&8\\SI\\151\\SO,R\\184\\207\\229\\241\\232\\ENQ\\136\\158\\&7\\179\\196\\166\\171,\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\128\\131\\255\\b\\147t\\190e\\169\\SOH\\US0\\132xf\\201\\227\\218\\213\\199\\237Ce\\238\\167\\145\\US\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186l\\RS~\\SI\\234\\201I\\235\\134\\&2W.2\\167\\199~\\ENQa(\\144\\212\\217O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\144( \\253a\\f/\\154\\&2-P\\t\\bf\\SI\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147Lx3\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"L\\156\\209\\190\\218S\\130\\148\\244\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUBZ\\134[\\182($\\DC2\\171H\\212\\175U\\b=oi\\132\\189\\\"\\247xf\\193\\182\\SOH\\167\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196$[\\210m\\198{\\251So\\235\\&5UB\\253n\\245\\249\\rH\\153C\\233\\129\\134\\231\\213\\206\\150\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140B\\161Z\\RS\\255\\235F\\SOH.\\198\\&6\\218\\238\\236\\145\\147\\239\\&5\\255\\226\\193+\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT.\\176Y#\\242\\214\\208\\219a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\225\\200V\\162J.L\\bg\\142p\\181\\232\\230w\\DC1\\251n\\NUL\\154<a\\213\\b\\229\\228\\160\\253\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"1'\\242\\v(\\158\\STX>Q\\230\\212\\160\\145X\\219N\\188\\165\\168\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149B5\\132`\\ETX\\SYN\\166%\\254\\230\\225r\\180\\154\\158|\\r\\a|\\184\\ENQ\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\133\\155\\210\\241P\\244\\176\\137\\227\\236\\ETB\\132\\EOT\\ACKN\\141\\EM\\170\\239\\SUB\\172|q&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\160\\131@\\143\\190J;=\\195Q\\145\\146\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\154\\173LB\\203CEh\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\ETBv\\197\\202$U\\183\\178\\133\\156W\\243c\\247~\\195\\254\\211\\GS\\177\\144G\\165\\&5I\\250\\168&\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186J\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\250T\\143{\\197.h\\161\\f\\150\\234*\\SYN\\194*\\225\\190\\189\\252\\240\\234\\187\\f\\176\\v\\205\\229\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\&5E`\\189|\\DC4\\161;\\237\\EOT\\244\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"U.j?\\169\\142}kM\\244\\154B\\r\\137h?~T\\NUL\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\199\\152\\SIm\"","tag":"AbiBytesDynamic"},{"contents":"\"\\tS\\155B\\RS\\139\\140W\\136H[\\192c\\246\\DC1\\209\\NAKl\\249\\233_4+\\STX\\195\\237\\249P\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\230\\225\\NAKZV5\\165\\149\\DC4\\138\\155\\251\\224ZrA\\243\\178_)4\"","tag":"AbiBytesDynamic"},{"contents":"\"e \\US-.h\\148\\138\\&40\\FS.\\242\\193\\SYN\\146\\234g\\205\\&33\\232H\\229;4\\226/\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\224T\\178@\\163\\135\\DLE\\226\\&8\\172\\236\\233\\&4\\217\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"#9u\\150\\219BDOoK\\ns\\150]W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBp\\DC3\\250\\182R\\187\\219\\239\\155\\199\\243\\t{\\FS\\211}\\224w'\\n\\235\\172\\132}X\\231\\NUL`\\217\\f\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142}8\\243 \\183\\132#aF\\v\\204\\247\\&5&/\\215\\USN\\255\\222T\\254\\145J\\140+\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"{$\\241\\ETX\\192\\129\\166\\250\\223\\151t\\ACK\\b\\156\\224\\EML\\246\\199z\\166E@C\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\GS\\a4\\192\\161\\254Kqs\\180\\205C\\139\\&0\\149\\DEL=\\209Q\\197\\DC2L\\254\\172\\239\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"qyKX]\\151\\217\\159\\DC2\\252\\137\\133d\\DC1\\FS\\178\\234\\US\\167\\192\\201\\150\\&7\\192\\251\\134\\203\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"Dh|\\248\\175L\\254\\b\\222\\163\\FS\\172H\\DC2\\140I\\SYN\\187\\245\\228\\SIF\\164\\&0S\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"2uU\\241]\\202\\189X\\200X\\143\\RSZ\\187cbO\\168\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\246\\255\\vt\\174BZ\\140\\199L\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\156U\\NUL\\203\\139-\\182!'\\240\\250\\r\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\237\\128\\130*\\225X\\183<vN\\173\\195\\225\\228K\\179\\178\\192\\134\\224\\CAN\\176\\FS\\194\\v\\145\\&6Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\a\\217\\159B\\202\\226\\236\\244\\225\\202\\STX*f\\213\\152\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\164{\\\"\\ESC\\ETX\\164\\&1\\145\\FS\\189\\253\\DC4\\146\\176X\\212\\233\\171\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\210\\136\\171\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\133|\\128\\130MLV\\243\\143\\156RJ\\213\\188P}\\135\\184\\176\\131\\SIx\\170j6=l\\241q\\169\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"}fS\\231\\171\\167\\194\\184x\\131I\\NUL\\143\\SOH+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\163\\233$%\\152\\SOH\\196\\&3\\NUL\\172\\145\\130\\167\\DC4\\206\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"?X4\\178\\243\\138\\143R\\195\\NUL\\149=\\EOTq\\215\\251w9\\255A\\156\\EOT+~\\150]\\172i\\181\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198L\\196\\f\\207\\165\\188\\US\\186\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\165m\\139%\\236\\150\\&3\\NUL\\224*u\\231o\\128\\v\\SI\\r\\154]9v\\242\\130\\202FJkX\\135\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191;\\207\\189M}/\\139\\235\\186K\\196=m\\245[\\137\\223^\\136\\171\\n4\\155\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\208\\&1\\244\\255\\192)\\200b\\DC4D\\195\\241h\\155\\223e&\\EM[\\194\\155;F\\251J\\EM\\222\\r\\130=\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\&0R\\131\\214W\\RS\\186`\\238?Vc\\245]\\180&\\196v\\163\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\133\\193T\\170\\EM\\255G\\190\\167\\223\\134'\\162O)!\\189\\188\\249\\241*\\133\\243I\\214`\\189$\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\ACK\\209\\239\\158\\218\\152p)^\\177\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\178\\249\\131rZ\\200T\\221.w\\253\\&2&\\253\\132}H`\\181Z\\250\\241w\\150g\\DLE\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\196\\n\\236;\\136m\\199\\DLE\\225\\144\\162\\r\\130\\178\\242Hq\\236L^dcQ\\DC3\\205\\130\\179\\238\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\177(\\207#\\fZ\\227\\142\\183$\\190N'\\212\\190>\\166\\170\\GS\\240\\&6{.!\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\188\\t#0\\CAN\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\207\\231u\\156\\\\\\226\\196\\150\\198R\\186?=J\\133r\\152\\157\\233\\141\\228\\DC4\\162y\\198\\EM}\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\n\\201:Z\\167\\195\\192\\DC1\\192S\\128\\226\\150\\144\\&1\\RSW\\221\\&3u\\208J\\SYN\\130\\207\\187\\161\\236_=\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\139\\250\\215\\FS\\135\\156D\\132\\146\\NUL\\236\\140?\\132^\\219cwf\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\235DG\\SI\\141v\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\181\\EM\\bI\\245\\156aOY\\r\\191\\136\\150xS\\232\\136\\207\\230\\222\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\207\\161\\194+'th\\135\\b\\187 ?J\\215\\242\\128\\DC1\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"cfb\\a~\\204\\238\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC1<\\220\\\"!\\191H1\\208\\ACKb\\247\\208X\\173\\245\\143*O\\202\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\SOH\\GS6H-\\\\ofe\\DC3%\\RS\\157\\ACK\\161\\145k\\218\\207\\132!\"","tag":"AbiBytesDynamic"},{"contents":"\".\\224\\251b1\\205o\\159Z\\170\\208\\197\\225_\\136\\253\\199\\181\\&7\\221E\\226\\156\\159a\\136Q\\fT\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\n/s\\247\\174\\240\\159\\141\\203q\\209k.\\137>VO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\178\\ENQ\\203\\v 44\\190\\196\\239\\NUL\\162\\ACKa1\\228\\v\\EM\\190\\156\\&7:8\\130\\SO\\251!\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\170\\191g\\129\\217\\ESCen\\155N\\vi\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\243\\145\\160[f&\\240\\200v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142H\\191\\rD\\NAK6\\ESC^\\150z\\152\\186\\&4\\227\\238\\225\\246\\184\\246\\&9[3\\238#\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\130\\152v[p\\SOH\\\\\\231\\&2\\174\\168y\\223\\SI\\DC3\\194\\179J\\CAN\\\\\\DC3\\234o\\251K\\153osR\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\166\\NAK%\\t\\239\\&5\\136\\\"\\203e\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOn{\\206\\160v7\\ETBc\\174\\145{\\EMB\\139\\226\\144\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\198\\224~.\\215\\&1{\\216\\186#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\198H\\rV\\141\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\189\\187\\ETB(\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\202C\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\202\\246s\\200\\&6y\\NULMY\\192k\\159h\\156\\135uA\\168\\246\\232\\185\\219Sy\\186F\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"^($\\184\\199\\144\\227X\\167\\245[\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172H{\\212\\142f\\129\\&9\\184{?m\\132;\\251\\235\\193\\184N\\213\\147\\214\\166l'\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"M\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\214\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\180N\\157\\168\\&5T\\136 \\217\\196\\NUL^\\140\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165@\\134\\252Q\\NAK\\DLE\\192\\250\\231\\SOH9\\133\\198\\134\\161\\175\\165J\\ETBh{\\FS\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\DC4\\252\\252\\EOT\\218OR\\141\\SO\\135\\197\\US\\ETB\\139w\\SYN\\192\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\132\\foF\\194\\169\\&3\\250\\181\\150Bl\\ESC\\DC4&BE\\242\\223\\211\\188\\223\\233\\NAK\\176P\\155\\132\\186\\137.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\170\\183\\159\\DC22\\SYN=\\132\\194Ot\\\\y~<\\215\\164\\217\\191\\133\\154\\185\\132\\229\\234\\202x\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\231a\\212\\199~'\\\\\\175\\217\\\\\\EOTczh\\251ij\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\184\\223\\US\\227\\205\\159\\216\\225\\157]\\188\\144B\\210\\STX\\158\\173h\\228\\a7\\236\\137\\v\\163\\212;\\166\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\153KP\\174\\153\\198x\\173\\228\\226xK\\ACKE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142*\\148\\SOH\\177\\151\\138\\132\\ACK\\232\\239K\\171M\\fc\\210\\148\\194\\DC2l&\\214%\\222bq\\250ex\"","tag":"AbiBytesDynamic"},{"contents":"\",@\\153C\\179\\181v\\230\\169p\\DLEE\\191\\148\\131\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"(F4\\EOT\\ACK?\\142\\134,\\185\\215$\\201\\146\\180\\145\\&5\\232\\DC1I\\DC2d\\ENQ)\\133\\213u\"","tag":"AbiBytesDynamic"},{"contents":"\"Q7D\\197@\\178%U}\\151\\164\\&2\\b1\\130&\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"mm\\SI\\179=\\214\\208r\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\203\\204\\SUBo7\\194rq\\f\\fr\\181^\\165\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\230\\RS\\US<\\153\\v)X\\130C\\237\\CAN\\199\\ESC\\204\\171@7\\154\\166\\&9\\158\\156;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULYc4\\DEL\\SUBqU\\139\\129\\158DAV`\\vB\\241D1\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\187\\DC1\\DC1\\157\\149x^f:\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"Q=NZW\\204\\DLE\\175}HlR\\156?\\152O\\216\\246a\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"4I f\\DC4\\195\\131\\254\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\143V\\210\\\\}l\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\173:\\DC2\\131\\DC2\\222HIkji\\205\\152\\n\\234\\169\\NAKXg/\\131~\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\236\\249m\\217U\\SIC\\137fI}PA\\235w \\200\\131.\\\\\\133\\132>^\\220\\251\\131~\\ACK\\162\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"[\\250D\"","tag":"AbiBytesDynamic"},{"contents":"\"A6\\166\\248\\r\\233Sw\\237\\132\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"gI;\\131SmM\\239\\146\\&7\\213\\194\\193 ]\\143.g\\159\\171\\ACK\\136W\\198\\DEL\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\DC2\\DLE9\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\170\\210{\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\ETBFu\\134\\179\\131\\t\\187\\132\\245\\DELrx\\221\\217tDJ\\190\\170\\247i\\174\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\199\\205\\174\\149\\213\\a\\253\\228\\156\\DLE7\\162F\\213=\\203\\141J\\DLE\\142\\176\\t\\SO\\139a\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\229\\209m\\213y<Z%\\143*V\\230<\\227\\180\\187\\v\\186\\183C\\169\\&9\\b\\162g\\178D\\216\\246o\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\238a8\\143\\203\\DC2K\\215\\163\\185\\239\\192\\229E\\DLE\\128\\239-Ke\\140\\&3\\ACKr\\154\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!\\172\\171\\248\\135^#b\\a_\\246\\&3\\151\\190Z[D\\199\\f\\234\\143\\198\\SOH\\\\\\n\\172\\243:\\210\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\186\\b\\EOTg=\\US0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170.8\\DC4\\176\\129\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\169G\\250\\ETX\\197\\&8e\\202\\154\\252\\131UVQ\\206\\241\\240\\240\\fv_\\232\\132\\212N9uz\\b\\165\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\">\\223\\202,e\\EM?j\\234\\212\\207\\NAK\\200\\141\\199\\246\\219\\215\\168a\\181\\183\\221\\166H\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\170\\141J\\237\\143\\196\\DLE&\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142n\\229\\nP\\251\\161^j5\\b%\\199\\141\\157h\\158\\DC3l0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\169\\174\\213\\US!ZO\\225\\142h\\219+\\236\\142'9\\207{\\238\\195\\SO\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\182\\EM\\152\\228H\\139m\\222\\202J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\nP(G\\147\\175\\251\\215\\229\\219\\203\\193\\188v\\156\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\RS\\130:b\\\\\\195\\190\\172]\\207?\\n\\a\\149\\GS`\\210\\221m\\181\\161\\SO\\FS\\EOT\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\233\\&4\\132\\152z\\199\\139\\DLE\\f\\222\\201>pu\\250\\228\\&4\\199Hu,W!PV\\162\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\">x\\226\\&7J\\ETXa\\177\\178\\221s\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\218\\228\\142b\\179\\ETB\\214DG\\RS\\224$7\\205\\132\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"HL\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"98158598731709446931433191456442023194465905352086045976927968408563172165657"],"tag":"AbiUInt"},{"contents":[256,"98158598731709446931433191456442023194465905352086045976927968408563172165657"],"tag":"AbiUInt"},{"contents":[256,"98158598731709446931433191456442023194465905352086045976927968408563172165657"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132606"],"tag":"AbiUInt"},{"contents":[256,"1528311134"],"tag":"AbiUInt"},{"contents":[256,"25573800277262395511413602307900154932049352592964889175930401114824496942555"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1313373040"],"tag":"AbiUInt"},{"contents":[256,"1527334382"],"tag":"AbiUInt"},{"contents":[256,"8668009510282273212164453230371962896362887323952526621013388226231258928233"],"tag":"AbiUInt"},{"contents":[256,"93828073352716499285075444337019660997124296874280267961466865852494455737887"],"tag":"AbiUInt"},{"contents":[256,"68121248853726947305973394000022810689251892120788118089879420206418391260396"],"tag":"AbiUInt"},{"contents":[256,"1534923544"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1529759245"],"tag":"AbiUInt"},{"contents":[256,"1527979631"],"tag":"AbiUInt"},{"contents":[256,"1530416207"],"tag":"AbiUInt"},{"contents":[256,"886"],"tag":"AbiUInt"},{"contents":[256,"1532484021"],"tag":"AbiUInt"},{"contents":[256,"212548901535170420103090725706311678282"],"tag":"AbiUInt"},{"contents":[256,"89247839957642595117274918057243291589418266016548492691742278974199550045738"],"tag":"AbiUInt"},{"contents":[256,"155151902864124031814519102507087414332"],"tag":"AbiUInt"},{"contents":[256,"18112944798647655230605307758660187578886855375967867613471835308607715707629"],"tag":"AbiUInt"},{"contents":[256,"1527404038"],"tag":"AbiUInt"},{"contents":[256,"68121248853726947305973394000022810689251892120788118089879420206418391260396"],"tag":"AbiUInt"},{"contents":[256,"103757712260610109108869481373875989571935247875071462209626311570695574957328"],"tag":"AbiUInt"},{"contents":[256,"80780480559682960493316868936741151505706368615948608230551136575867074325525"],"tag":"AbiUInt"},{"contents":[256,"90137214443971017116186566877246628043303842130274725794391531564416139899296"],"tag":"AbiUInt"},{"contents":[256,"1528569915"],"tag":"AbiUInt"},{"contents":[256,"46893311972580381849460080200003364162822639508898284089768784774070734633923"],"tag":"AbiUInt"},{"contents":[256,"611"],"tag":"AbiUInt"},{"contents":[256,"324"],"tag":"AbiUInt"},{"contents":[256,"8212836960782009263141488350618418819605020294539973052415103467890126352789"],"tag":"AbiUInt"},{"contents":[256,"1534717285"],"tag":"AbiUInt"},{"contents":[256,"22"],"tag":"AbiUInt"},{"contents":[256,"1529389148"],"tag":"AbiUInt"},{"contents":[256,"61844685302520327468476380534962305805918649365496906549460947555630627753135"],"tag":"AbiUInt"},{"contents":[256,"12063075316509430016558354808487123468062555476036853703440331967191668477055"],"tag":"AbiUInt"},{"contents":[256,"100319425891373252490055240531707947883718590148281530171451026779401695690211"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"52724003915985441639713001356325849571663468751968773254139660931363979473939"],"tag":"AbiUInt"},{"contents":[256,"1530824464"],"tag":"AbiUInt"},{"contents":[256,"4341138628097938294011476495449098172451736"],"tag":"AbiUInt"},{"contents":[256,"76361283748987503591105141085581406194833325192097589036004958123219454682517"],"tag":"AbiUInt"},{"contents":[256,"1529874082"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"42656209106197690249402146305781949058442897335681028292390834919863247398820"],"tag":"AbiUInt"},{"contents":[256,"62748209751754465349616819640378576600457311184529868745380799682466992232442"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"159267755559047635428606476482821093305"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"89275033823737958932367997109412673270616650513320834172647990011289841278262"],"tag":"AbiUInt"},{"contents":[256,"35"],"tag":"AbiUInt"},{"contents":[256,"56755265421619026826861847930798766051849479998361693443752083840914575832647"],"tag":"AbiUInt"},{"contents":[256,"71451655169826732678089933833555991654842715641846591701722132512865104017388"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"65103519054951521227016817265136703573437701560618287399505347671399994420178"],"tag":"AbiUInt"},{"contents":[256,"20341427161639469514103140988661217576993128786479297070690638950706142910337"],"tag":"AbiUInt"},{"contents":[256,"283"],"tag":"AbiUInt"},{"contents":[256,"79400436313102717290056792163258911393436300149648084513447378618301325084239"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639910"],"tag":"AbiUInt"},{"contents":[256,"22713987695088009465755197736271216442028007124337099502385618650882899637597"],"tag":"AbiUInt"},{"contents":[256,"41795379092176961442826894668006970702987658530660986298631839296075547762537"],"tag":"AbiUInt"},{"contents":[256,"85685612329557337169938302330202923382830510109768995358813547843951994131230"],"tag":"AbiUInt"},{"contents":[256,"35313801316935619426796312080907297764452703953546496795633365989016087722390"],"tag":"AbiUInt"},{"contents":[256,"82343816210918640475641582819469686134788435743936630691299073339776059383081"],"tag":"AbiUInt"},{"contents":[256,"6205895019531825674397943012"],"tag":"AbiUInt"},{"contents":[256,"1530004725"],"tag":"AbiUInt"},{"contents":[256,"466"],"tag":"AbiUInt"},{"contents":[256,"88209425814326302567517591365414516056551159327921024317504852450159172860938"],"tag":"AbiUInt"},{"contents":[256,"82126870170969661896693575517961656845730587766492671994968327687006809534564"],"tag":"AbiUInt"},{"contents":[256,"82126870170969661896693575517961656845730587766492671994968327687006809534564"],"tag":"AbiUInt"},{"contents":[256,"82126870170969661896693575517961656845730587766492671994968327687006809534564"],"tag":"AbiUInt"},{"contents":[256,"82126870170969661896693575517961656845730587766492671994968327687006809534564"],"tag":"AbiUInt"},{"contents":[256,"82126870170969661896693575517961656845730587766492671994968327687006809534564"],"tag":"AbiUInt"},{"contents":[256,"82126870170969661896693575517961656845730587766492671994968327687006809534564"],"tag":"AbiUInt"},{"contents":[256,"82126870170969661896693575517961656845730587766492671994968327687006809534564"],"tag":"AbiUInt"},{"contents":[256,"82126870170969661896693575517961656845730587766492671994968327687006809534564"],"tag":"AbiUInt"},{"contents":[256,"82126870170969661896693575517961656845730587766492671994968327687006809534564"],"tag":"AbiUInt"},{"contents":[256,"82126870170969661896693575517961656845730587766492671994968327687006809534564"],"tag":"AbiUInt"},{"contents":[256,"95822372000075174421668128581045407065821403047280424419399038056151068840713"],"tag":"AbiUInt"},{"contents":[256,"20248960296085880278243254339106577645328506036784444124702356232662141129683"],"tag":"AbiUInt"},{"contents":[256,"103680235962710241513711919568149541343426575666471284871982033870350422475815"],"tag":"AbiUInt"},{"contents":[256,"3152146983002898256791726380412586365011370156126436565364933169813149398100"],"tag":"AbiUInt"},{"contents":[256,"1534117592"],"tag":"AbiUInt"},{"contents":[256,"748"],"tag":"AbiUInt"},{"contents":[256,"1530610689"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1538762729"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629933"],"tag":"AbiUInt"},{"contents":[256,"1527195255"],"tag":"AbiUInt"},{"contents":[256,"1535709401"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1084778806240860072545706055556537805296793342320800"],"tag":"AbiUInt"},{"contents":[256,"37453403023530451302329485292050385317656424327978510004802057821609167065046"],"tag":"AbiUInt"},{"contents":[256,"1535676592"],"tag":"AbiUInt"},{"contents":[256,"47573061913947499991923463562164533941709248300834535632312142355608153206032"],"tag":"AbiUInt"},{"contents":[256,"1532278445"],"tag":"AbiUInt"},{"contents":[256,"46403408686998617234856971448554800533694371385218052531788372791607994907065"],"tag":"AbiUInt"},{"contents":[256,"37512444038853938126779365790119850028607449231067426455672403813983829937937"],"tag":"AbiUInt"},{"contents":[256,"1531403952"],"tag":"AbiUInt"},{"contents":[256,"100"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a70b","0x000000000000000000000000000000000000000000000000000000000000e038"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066135","0x0000000000000000000000000000000000000000000000000000000000001a97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead2","0x000000000000000000000000000000000000000000000000000000000000494b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"2571390612301720695052159409656109610256588015483969145586507899897184315476"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000788d7","0x0000000000000000000000000000000000000000000000000000000000000015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003cb","0x00000000000000000000000000000000000000000000000000000000000023f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f99","0x00000000000000000000000000000000000000000000000000000000000012c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"68467163162467256437032179926468804216966654135547128108967562329311394923925"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59f","0x00000000000000000000000000000000000000000000000000000000000097e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":[256,"7170221613107409229443502802142231869740849851043992249134819237559072472153"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5c","0x0000000000000000000000000000000000000000000000000000000000000075"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"46750298977033242471710828446702848283671611299560729909081776807835917957806"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028290","0x00000000000000000000000000000000000000000000000000000000000001cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"43787172558747855463730960826375886147477779836375669951873775718720311001786"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fedb","0x000000000000000000000000000000000000000000000000000000000000d02a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"67792699708014531875085466176002180894169858802777121619809056383115940900679"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071be5","0x00000000000000000000000000000000000000000000000000000000000043f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"14980502339381410360432959237858967597120885697556071620764"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027dd6","0x0000000000000000000000000000000000000000000000000000000000003ae1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087235","0x0000000000000000000000000000000000000000000000000000000000001272"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"42640192908100381035460918104523284040568677465026283785960908893357619681025"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea49","0x0000000000000000000000000000000000000000000000000000000000000fa9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"21700583617790907588375989101547685711697079324429942613819602448750501534681"],"tag":"AbiUInt"},{"contents":[256,"72753202398896790441577808971929506986939352414144071225838597124332634161413"],"tag":"AbiUInt"},{"contents":[256,"1014"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000021d","0x00000000000000000000000000000000000000000000000000000000000002d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003185a","0x000000000000000000000000000000000000000000000000000000000000da83"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cf4f","0x00000000000000000000000000000000000000000000000000000000000089a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"120"],"tag":"AbiUInt"},{"contents":[256,"34005364127641083567802035128006126111382652643361744169470878343119618908531"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087d35","0x0000000000000000000000000000000000000000000000000000000000003005"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ad26","0x000000000000000000000000000000000000000000000000000000000000eb2a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"272179954717855850305256268659975044426560728866761563830370011109306151642"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042a6d","0x00000000000000000000000000000000000000000000000000000000000003e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"\\NAK\\245\\203\\191\\133\\173o\\255\\128\\USy\\ENQ\\236\\199\\&4\\182'\\231\\&4e\\241\\DC4\\185\\143\\154\\145\\251\\DLEA\\SO\\211\\191\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003f0ad","0x0000000000000000000000000000000000000000000000000000000000003b3c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d68d","0x0000000000000000000000000000000000000000000000000000000000003cb2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d7b2","0x0000000000000000000000000000000000000000000000000000000000009912"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ab7d","0x0000000000000000000000000000000000000000000000000000000000002f80"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x26aAF7E5377e8E92Ae90DEd1A0744395A9e5cA52","tag":"AbiAddress"},{"contents":[128,"97"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000543d3","0x000000000000000000000000000000000000000000000000000000000000cf3d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003f338","0x000000000000000000000000000000000000000000000000000000000000864c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000359","0x0000000000000000000000000000000000000000000000000000000000008f6f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"Error(s\\NULring)\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NULt\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008db3a","0x00000000000000000000000000000000000000000000000000000000000089f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":"0x3450a15Dc9cbDD5C0e28cC22474D88AD7e2695A3","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008c5fb","0x0000000000000000000000000000000000000000000000000000000000005afc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bde","0x000000000000000000000000000000000000000000000000000000000000070b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000350a0","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"219"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a0a1","0x00000000000000000000000000000000000000000000000000000000000024bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000268a5","0x00000000000000000000000000000000000000000000000000000000000060fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"10353218241815707722359941526568956946412884927788091670426867155990973799471"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b0dd","0x0000000000000000000000000000000000000000000000000000000000007727"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000026895","0x0000000000000000000000000000000000000000000000000000000000006b53"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x792F3eb0aCD92Dc9ab83c64DA4657B1AA8E47681","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001e288","0x0000000000000000000000000000000000000000000000000000000000000f23"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"28580170030592919827293215394258665451655570645538640494616306175355137741326"],"tag":"AbiUInt"},{"contents":"0x473eA6ED4dC1B33c993d3a636445675c5356Eba9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004921","0x000000000000000000000000000000000000000000000000000000000000bbc4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901d3","0x000000000000000000000000000000000000000000000000000000000000a6c7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"82663451079691917398318717831442718052114530169649016050085741475736594335314"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007473","0x00000000000000000000000000000000000000000000000000000000000061d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"~\\146\\182\\133\\\"\\232<\\242\\142\\&0\\CAN6Afe\\201G\\178:\\DC1\\128\\222\\143\\ESC\\232(\\145\\&2,e\\245X\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092d34","0x000000000000000000000000000000000000000000000000000000000000a239"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000049403","0x0000000000000000000000000000000000000000000000000000000000002bd5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc13","0x00000000000000000000000000000000000000000000000000000000000057e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065b72","0x000000000000000000000000000000000000000000000000000000000000ec23"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x473eA6ED4dC1B33c993d3a636445675c5356Eba9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"420"],"tag":"AbiUInt"},{"contents":[256,"63991534695642119241211224930379732662862703865612567185458641328636177158699"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d3d1","0x000000000000000000000000000000000000000000000000000000000000d929"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"68513125332055066154839333435798432545986791900761244339306358649457273633171"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030edd","0x0000000000000000000000000000000000000000000000000000000000002495"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_2",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003f77f","0x00000000000000000000000000000000000000000000000000000000000022fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072e6f","0x00000000000000000000000000000000000000000000000000000000000057c8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"7"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024db7","0x000000000000000000000000000000000000000000000000000000000000baa4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009cbc","0x00000000000000000000000000000000000000000000000000000000000080b9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"18462160574913170340616088150512855293873329373419378144546408710058310716547"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002278e","0x000000000000000000000000000000000000000000000000000000000000e996"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea3f","0x0000000000000000000000000000000000000000000000000000000000009f12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"63868385399905823161951926287457995025264702766545704879393060711343987491783"],"tag":"AbiUInt"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000575ba","0x000000000000000000000000000000000000000000000000000000000000a1e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":[8,"103"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cd5d","0x000000000000000000000000000000000000000000000000000000000000e9e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"20219970378766986434812856081036169395366401210558707766690873274262444407024"],"tag":"AbiUInt"},{"contents":"0x2aa1f1978f5d18D91eB3fc2E6975dC6E85FDefdF","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b183","0x00000000000000000000000000000000000000000000000000000000000039a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"66925564706335270159355872707897440242242018920726161966553551195340544677580"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005dd24","0x0000000000000000000000000000000000000000000000000000000000009445"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"115338234010962730557284054058447996200257811590530852542057898238350186555536"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005cad4","0x0000000000000000000000000000000000000000000000000000000000008f8d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"60768357126482698477884442465517925202478604553295029707871167421073998803246"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ab35","0x000000000000000000000000000000000000000000000000000000000000849d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"1534939962"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004391a","0x0000000000000000000000000000000000000000000000000000000000004b1a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000277de","0x0000000000000000000000000000000000000000000000000000000000002513"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1535339397"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003fa72","0x0000000000000000000000000000000000000000000000000000000000001e93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":[256,"19599156919924573550614423040893659366977501350547668669523209367537298918435"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e36e","0x000000000000000000000000000000000000000000000000000000000000e349"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"248"],"tag":"AbiUInt"},{"contents":[256,"38548816581849480802261214355003897378668527567975395057042178841871324506803"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ff4e","0x0000000000000000000000000000000000000000000000000000000000004611"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000742ac","0x0000000000000000000000000000000000000000000000000000000000009f51"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":[256,"15529561"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000350","0x000000000000000000000000000000000000000000000000000000000000c09a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[8,"106"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000362d1","0x000000000000000000000000000000000000000000000000000000000000dd67"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006230b","0x00000000000000000000000000000000000000000000000000000000000015dc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000495a9","0x00000000000000000000000000000000000000000000000000000000000090e1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061c14","0x000000000000000000000000000000000000000000000000000000000000e46e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008612a","0x0000000000000000000000000000000000000000000000000000000000005094"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a72a","0x00000000000000000000000000000000000000000000000000000000000092b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c778","0x0000000000000000000000000000000000000000000000000000000000008a86"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x432EC9EACCbaf30BE4058F63E729de60E7c54B42","tag":"AbiAddress"},{"contents":[256,"42936629467757489015851481"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"76973098969024510266976857736839143920290921017309856247975557929727096296348"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038d70","0x000000000000000000000000000000000000000000000000000000000000af05"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]