[{"call":{"contents":["add_new_asset",[{"contents":[8,"151"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb44","0x000000000000000000000000000000000000000000000000000000000000c060"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":[256,"65612388671322734881908871496039442558080083589668148655918225630631365203841"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000006","0x0000000000000000000000000000000000000000000000000000000000006540"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"46897093499850417712933904450493848036108127929962810445461505842929931854125"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005eb53","0x00000000000000000000000000000000000000000000000000000000000012bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"280708357875821508954291981154794093688387647387708057175892223128337992"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7e","0x0000000000000000000000000000000000000000000000000000000000001381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003256a","0x0000000000000000000000000000000000000000000000000000000000000fb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639870"],"tag":"AbiUInt"},{"contents":[256,"69046740868610750345870358795726232030821839751384994773847373572539572110559"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e703","0x000000000000000000000000000000000000000000000000000000000000131a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"974"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6b","0x00000000000000000000000000000000000000000000000000000000000095bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"44141481552527278853352786923032151410285902464099390166430555863176639602025"],"tag":"AbiUInt"},{"contents":[256,"66102939060518575519007007478758700596093355023597652826995175117101541583425"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffc","0x00000000000000000000000000000000000000000000000000000000000074ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"2000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0e","0x00000000000000000000000000000000000000000000000000000000000058ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"42225698430036589071217051107696060604474417166496326616859117398048054431616"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000041a2","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"672"],"tag":"AbiUInt"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bce","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000382","0x0000000000000000000000000000000000000000000000000000000000000380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"15688168930742778858894782005822457591990317971467224040937686661987636529805"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000067745","0x0000000000000000000000000000000000000000000000000000000000006ddf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f38","0x000000000000000000000000000000000000000000000000000000000000ec34"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":[256,"37349822562160806055176393527909851389397738231270559977753429610246407587980"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580af","0x00000000000000000000000000000000000000000000000000000000000011a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"69954677721228209167897472373297171609571971577610878671816022561138493480264"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427a","0x00000000000000000000000000000000000000000000000000000000000012a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"53402431447040541909957726417840996467453343259643959668670281902140073327740"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006e312","0x0000000000000000000000000000000000000000000000000000000000006a2b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7c0","0x00000000000000000000000000000000000000000000000000000000000035da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"44311134706686193165936443149846039352086947731710475805160356138449794684882"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000005d50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"638"],"tag":"AbiUInt"},{"contents":[256,"9004"],"tag":"AbiUInt"},{"contents":[256,"6264492525697245347796306857765351634115770156850482426821856850045304468843"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781055"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000067fe9","0x000000000000000000000000000000000000000000000000000000000000132b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"309485009821345068724781053"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf9","0x0000000000000000000000000000000000000000000000000000000000001414"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"67896551703507381340935818971854065988643765075119208854782684453305998909524"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb42","0x00000000000000000000000000000000000000000000000000000000000021ed"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"90011779127421178689677644635784495632117211611070437785847943039352109202960"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000041","0x00000000000000000000000000000000000000000000000000000000000095b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001d94","0x000000000000000000000000000000000000000000000000000000000000dcb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000052","0x0000000000000000000000000000000000000000000000000000000000009e94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"53981316119282481847887965456209046289221126111456816643373115146510261428217"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000129","0x000000000000000000000000000000000000000000000000000000000000dcc1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000383","0x0000000000000000000000000000000000000000000000000000000000000fa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639917"],"tag":"AbiUInt"},{"contents":[256,"21070060678770690166771464458080365959043092636906637143628888378146934370994"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008af1a","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"144"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"46844821809767630847780480107752756809567106623683584446039687952817746965360"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002711","0x0000000000000000000000000000000000000000000000000000000000009e95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"170"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f18","0x0000000000000000000000000000000000000000000000000000000000005ee0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002a045","0x000000000000000000000000000000000000000000000000000000000000137c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"1374"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000012a13","0x0000000000000000000000000000000000000000000000000000000000001277"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"64174577254031797903547095831193992910405689135252792215792301616878379384558"],"tag":"AbiUInt"},{"contents":[256,"79852152436421220213648777554265849730614126992478820011114768836002131070848"],"tag":"AbiUInt"},{"contents":[256,"58548267602852082867558517301365322229819028148372312272220602950236454839250"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fb75","0x000000000000000000000000000000000000000000000000000000000000012e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"1002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e11","0x00000000000000000000000000000000000000000000000000000000000007d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164d","0x00000000000000000000000000000000000000000000000000000000000013a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048db3","0x0000000000000000000000000000000000000000000000000000000000000273"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002b462","0x0000000000000000000000000000000000000000000000000000000000009206"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639915"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062c1e","0x00000000000000000000000000000000000000000000000000000000000037e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"1969114798"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008c6ef","0x0000000000000000000000000000000000000000000000000000000000001828"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae9","0x00000000000000000000000000000000000000000000000000000000000039b3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb01","0x0000000000000000000000000000000000000000000000000000000000002c7a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"54721258722367731818556028769194530658797570100049676759851562825305581904403"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003925c","0x000000000000000000000000000000000000000000000000000000000000107f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"73"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b73c","0x0000000000000000000000000000000000000000000000000000000000007904"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000036","0x000000000000000000000000000000000000000000000000000000000000c061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\":;m\\SUB\\193\\FSz\\168A\\FS\\226x\\155\\149\\226.>\\234\\ETB}\\SIZ\\ETB=\\212\\248\\222\\253n\\137!\\184\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071bfa","0x0000000000000000000000000000000000000000000000000000000000006ddf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e351","0x00000000000000000000000000000000000000000000000000000000000058ca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb12","0x000000000000000000000000000000000000000000000000000000000000c89b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"1532231781"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000441af","0x000000000000000000000000000000000000000000000000000000000000e21c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"46892358141926172442834263564926170242400900166406293173942034171534986023935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000229","0x0000000000000000000000000000000000000000000000000000000000000348"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035138"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000350fd","0x000000000000000000000000000000000000000000000000000000000000058d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"919"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001386","0x00000000000000000000000000000000000000000000000000000000000068cc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"1532633076"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006eab3","0x000000000000000000000000000000000000000000000000000000000000ddde"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"1534298979"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164b","0x000000000000000000000000000000000000000000000000000000000000a851"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"1530672078"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb38","0x00000000000000000000000000000000000000000000000000000000000097fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"117"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008431","0x000000000000000000000000000000000000000000000000000000000000b31c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"4226849486810859866855446946763430583569515667221959444837398188183577714941"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002f","0x0000000000000000000000000000000000000000000000000000000000003734"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":[256,"102769743286737089199468146808118501416668022550494204996549123483044219668182"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1533087159"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000134","0x0000000000000000000000000000000000000000000000000000000000003da3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b831","0x000000000000000000000000000000000000000000000000000000000000d662"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bf","0x0000000000000000000000000000000000000000000000000000000000004ba3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"67797245974061383400214394809305672028793008182818839845239776645979949187874"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb18","0x000000000000000000000000000000000000000000000000000000000000000c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000089af","0x000000000000000000000000000000000000000000000000000000000000137e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d2","0x0000000000000000000000000000000000000000000000000000000000000d8f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006eab3","0x0000000000000000000000000000000000000000000000000000000000000b76"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000066","0x000000000000000000000000000000000000000000000000000000000000d8ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001e068","0x0000000000000000000000000000000000000000000000000000000000008ef3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"toUint256_outOfBouds\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\ESC\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4ff","0x00000000000000000000000000000000000000000000000000000000000049f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000487a5","0x00000000000000000000000000000000000000000000000000000000000095e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"88361021751325782214762481"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb19","0x0000000000000000000000000000000000000000000000000000000000008216"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"74317281591724653623492453390396399099047626658132994417830335445129915960909"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024533","0x0000000000000000000000000000000000000000000000000000000000003a9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"Dq\\a\\160Zotl6\\218\\236mz{/\\229C\\184\\129\\169\\STX\\\"^?\\130c\\NULuow<\\132\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c3d7","0x000000000000000000000000000000000000000000000000000000000000e71c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":[8,"12"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cbdf","0x000000000000000000000000000000000000000000000000000000000000dcbf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c8","0x00000000000000000000000000000000000000000000000000000000000001f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"974035222192433401078735390731407987343675130532785742695191473507006075041"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000204c1","0x0000000000000000000000000000000000000000000000000000000000002323"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"1527748412"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacc","0x000000000000000000000000000000000000000000000000000000000000998d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"86398"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb39","0x00000000000000000000000000000000000000000000000000000000000040b0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"10267526214526850574376270639796175639457227424457606871013358800386452300309"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1b","0x0000000000000000000000000000000000000000000000000000000000000002"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"103873180462487962956244627709602381177645798086953338025555832295509350274353"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b2","0x0000000000000000000000000000000000000000000000000000000000000e39"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058dde","0x0000000000000000000000000000000000000000000000000000000000005de8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ca69","0x0000000000000000000000000000000000000000000000000000000000003586"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"1532084122"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138b","0x000000000000000000000000000000000000000000000000000000000000dd0d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002da4b","0x0000000000000000000000000000000000000000000000000000000000000fd8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fe","0x000000000000000000000000000000000000000000000000000000000000597d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002b462","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75d","0x0000000000000000000000000000000000000000000000000000000000000012"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":[256,"74724149458849684427423342"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000784b3","0x0000000000000000000000000000000000000000000000000000000000001068"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"613857012051963080"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000309b7","0x00000000000000000000000000000000000000000000000000000000000007c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"5019789010217005008320728333421341610894013261576841266819448754629814409547"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c6","0x00000000000000000000000000000000000000000000000000000000000000ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"33069444733791331383186649641924030561129567481222600513050408068193373918042"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000051","0x0000000000000000000000000000000000000000000000000000000000009452"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"94209317132475688506970797995905265865555033555077933090501329034864508058980"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003e","0x000000000000000000000000000000000000000000000000000000000000711b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"INVALID_REDEEM_CLAIM()\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b516","0x0000000000000000000000000000000000000000000000000000000000000016"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000506bd","0x000000000000000000000000000000000000000000000000000000000000270f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5f","0x000000000000000000000000000000000000000000000000000000000000a05f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\184^\\194\\128Xh^a\\142J\\152\\201\\139\\164}T)\\176\\135v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158/,\\a\\223Y\\GS\\130\\255\\162>M\\DC1\\SOs\\STX\\245D\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\170)\\195\\144x\\ENQ\\195a\\163P8!Ph\\158\\192\\189\\ETB7S\\DC3\\EM\\212\\226,\\202g\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\249\\192ct\\185\\191#\\159\\244\\192\\168\\SYNZ\\138\\201\\ENQH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\157-\\219\\145\\174\\158#S\\168\\137j~\\DLEw\\207\\158a\\166j\\208\\SOH=\\227\\200\\FS\\ENQJc\\132\\176\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\" ==\\252\\217\\228\\158zq\\153\\187[2\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\DC2\\DELH\\v\\162e\\255\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"LvqpW\\250E\\164[.\\STX\\ACKk\\198\\235\\226\\251Z9p\\201\\173\\199\\209\\vi@\\143\\139+\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\147\\132*Q!\\252\\172\\185+\\210\\151\\247\\135\\241\\FSg\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\v\\240\\190\\191\\US\\164\\160ja\\165Y:.\\137\\&6=E9\\148o\\206\\195\\200\\130\\NUL\\133\\195@\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\NULs\\140\\DC4\\144\\195\\USFzb+D2r\\STXU\\208\\238\\158 \\148\\183\\ETXo\\DC3_\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\142\\205\\STX\\221\\140F\\241\\GS\\187\\131{\\192On5J\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"`_y2\\144\\252//\\v/&\\243O\\135\\r\\ESCv\\175\\DC3\\210\\193'\\198D\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"gt\\161C\\241\\191\\210y\\145\\DC3!&P\\DEL\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201:\\201\\242\\195\\216z\\129\\DLE\\206\\b\\129\\177\\164\\207\\f/\\130I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\160\\156K\\205G\\137\\DC2H\\153&\\192E;\\205\\185\\n\\DC1\\211\\&7\\SO\\RSK\\198\\SUBQ\\178\\209:\\165_\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208'\\158\\147\\NUL\\NULui\\207En\\DLE\\167\\154l\\203Vw\\217\\182\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\EOT\\155\\229;\\193\\167}{\\189\\241,\\178\\&0G\\245jy\\US\\205Nx\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"L^\\184\\167\\135\\ESCq\\203\\211\\205\\241\\233\\247\\195\\213\\&4J8\\151\\DELW\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"V\\248\\150\\220\\208\\&4\\n()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\236\\235\\244:Yg\\174d\\195\\DC1x\\154\\223C\\145\\177\\227\\224=\\US \"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\t_\\DC3\\154\\211\\192z\\214\\237\\156h\\182\\238\\EM\\166\\FS\\153\\145\\152j\\SO\\218\\137\\207@\\138a\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150!\\183\\&2\\191\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\216\\238\\DC2\\171\\US\\ENQ@9_\\205\\t\\166V\\184\\154\\192\\143*\\219\\174=\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"Yk\\t~\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172d\\206!E'\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"k?t\\191\\165\\213j\\163\\250\\ETX\\228\\129\\131\\CAN\\247K\\SOe\\244\\STXpB\\157F\\249%*\\190:\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\195\\RS\\v\\169\\165?\\130\\243\\r\\130 \\133^\\ETX\\168\\248\\199\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\202\\214~\\146y\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\151,J,\\134\\179~\\142\\NULs\\223\\211\\DC3\\244\\245n\\DLE\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\171\\183W2\\181.\\205\\SOH\\141\\231\\189\\bZ\\DEL\\255\\190\\187\\\"\\149c\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"!t\\SUB\\175\\223H\\173x\\198\\201m1\\132\\240Bo\\143x\\223k\\206\\202Q\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237^n\\USI3S\\178\\152\\226\\215\\147\\ETX\\r\\184JZ\\191\\221\\230\\DC3\\194\\197\\143\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\252G\\191\\140\\ESCy50\\164k\\167r\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"o{a\\209J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198B\\247cy\\239\\DC3]\\185\\253H\\187\\238\\176\\b\\176\\199\\249\\177\\191R\\249\\205\\ENQ\\184\\253%\\152:\\209\\190\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"+^\\208\\&2\\209\\RS\\164\\161\\229\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\203\\229\\NUL\\199\\140\\218\\DC1\\207^\\SUB\\209ae\\181\\175x\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\226~\\223ei\\235 s\\187\\187%\\166\\211\\228A\\156\\248\\\"\\155_\\171\\171\\228\\201\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\155\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\172\\204\\131\\RS;\\153\\128\\193\\239\\198\\225r\\r\\188\\203/\\164\\179LR\\215\\229\\165\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\164\\230\\&0\\253\\148C\\218\\207\\236D7\\170syPd\\SYN\\152\\SUB\\201\\195\\222\\128'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUBd\\137\\EM\\158\\144\\236\\247CE\\EOTg(!\\165\\235^\\202\\ETXT\\212\\DEL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\ENQ\\184\\t^Z\\239\\DLE\\DELS\\183\\183d@\\254L\\145\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\237\\a\\181\\152\\237\\196\\136n}\\US\\t &P\\155\\197\\142\\130\"","tag":"AbiBytesDynamic"},{"contents":"\">\\128\\151:PaB\\149\\248\\166\\&0\\FS\\SIg\\161F\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\240\\204\\221f\\245h~\\241;\\SI;\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\251\\195\\128jq\\163h\\161\\156\\176&q\\ETB7\\250\\183\\192\\211\\173\\201\\214\\142\\&8\\234\\168\\255?\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\DEL\\251{\\SOH\\156[\\208\\FSmI\\246\\162\\149o\\ACK\\181\\135\\252\\235\\249\\CAN\\239a\\144\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\n?\\132\\169\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155V]\\179\\185\\162\\ETBB\\198p\\166\\198\\155\\DC3*\\174\\232\\DC2d]=\\142)\\201\\187\\176a\\211\\SOHZ\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\DC4J\\194\\255z\\141\\t\\b\\NAK>/\\242\\147\\193\\181r\\159]2n\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n(\\158\\186=\\248\\211r\\199\\155\\159\\244\\143\\&5\\224\\150\\243\\170\\132\\SO\\181\\161\\218D&\\250\\130\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\215\\150\\224\\211b\\208\\212\\216\\DLE\\194\\194\\240\\250|\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150]>\\236\\223\\254ij\\\"\\214#\\238\\201\\SUB\\196Z\\CAN\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234<T\\192@\\EOT\\DC1\\170\\169\\130\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\227rT\\169d\\219{\\n\\174\\223\\166\\172U\\224J\\b\\180>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4d\\246\\173\\&8c}\\189o\\157o\\136X\\214\\219\\199\\210qu\\216)\\184\\NAK\\183\\202\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\EOT_\\139~L\\168\\&5\\211r+\\195\\136\\171\\SI\\158cM5\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\211\\208L\\247-)\\166<#\\221\\174\\&2[x!M\\250\\227\\134\\189\\214\\185v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\246\\171\\240\\164\\\\h\\NUL\\191\\230\\DEL\\254%z:\\232\\181\\ETX\\182\\DC40\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\tQ\\220]\\218(\\197\\141.\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\DEL\\130\\237N\\234M\\n<\\242\\210\\237\\198\\140\\DC4\\255?r\\148N\"","tag":"AbiBytesDynamic"},{"contents":"\"M?:\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"gK\\DC3\\248\\176%\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\156f5\\145\\SO\\212\\140\\153\\188\\210\\176\\167a\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\220\\155\\ETX\\SYN1I\\139$\\163\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\237\\202\\234\\183\\162&\\141%\\155\\v\\175\\202\\193\\SUB%\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159F\\SOHh\\225:X\\163y\\205\\226\\222\\201\\170\\USZ\\228\\198\\&81u:\\133\\169=]\\SYN\\234jgr\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\219\\214\\172\\133\\&0\\172Z@\\185s\\221\\&3(n\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\192\\243\\221\\234\\201M\\168\\211\\193h,\\166KG\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\227\\DEL,\\209\\242\\192\\b\\f\\188\\\"\\DC4\\245\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\172t%(\\201\\246wi\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\181\\131\\&6\\139\\152\\151\\151\\ESC\\229\\NAKbn^\\252\\186\\228\\222\\224D\\183\\179\\243\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\SUB-w\\nc5\\171$')Z\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249U|lA\\171Cp2\\n\\132\\249x\\ETB\\205\\f\\FS\\205\\DC3\\225UU\\\"\\217=k\\135\\232nL\\236\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239U>\\149\\158\\248\\168R\\ENQr|_N\\US%\\SUB;\\226H\\174b\\238\\213\\211\\243\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\178t\\US\\231\\140s\\222\\239Q\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\252\\&6:*\\DELi\\242J\\197\\DEL7\\200]\"","tag":"AbiBytesDynamic"},{"contents":"\"Z1\\205\\179,\\235\\147\\199:}\\217\\248\\146EY|\\130\\SOH9\\149\\130\\203B\\151F\\254G)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\NAKp0\\209\\DC3\\190\\147\\221*\\172g\\172\\196\\&7\\193\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189V\\180\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\215\\196a9\\SIe\\t\\154BL\\194\\173\\179$y\\167\\238~\\189\\163\\200\\&5?\\231w\\ti\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\205\\230A\\193}*\\166\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\ETB\\238\\248\\173\\221%e#H\\236q\\202<\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\236*\\207/R\\186Xx\\150\\176\\nO\\DC4\\242?f\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\248\\219\\ACK\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\193\\164h;\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\226\\153^\\128V\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\236\\ETX\\SOl\\236 J\\194\\135\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"H\\134wr\\214`\\n\\192\\204\\174m\\ACK\\DEL\\SO}\\SI\\207g3\\133\\156.\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"7V0\\152N\\191W\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\161\\&3\\254\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\231g\\251\\r.\\174\\161\\&7\\SIa\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\240C\\174\\166\\&5\\163I#mN\\160\\&5\\EOT\\131\\FSr\\193&2y\\225\\152\\&7\\204\\174\\201\\212g\\162\\177T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\223\\rn+N\\139\\217\\204\\&8_\\ETX\\185\\233\\195\\\"5\\137{\\235a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\US\\246\\179\\t\\239l\\166\\188I\\215\\ENQ\\225\\158T\\SUB\\177\\ACK\\142\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"/}\\fQ7J\\178%\\NUL`\\181\\216\\216\\229\\233\\&7;xc\\228\\136*90\\208=\\DC2HD\\209;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171/\\140\\232\\tH\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\201\\140j\\131\\US\\239\\213I9z\\238\\STXu\\130\\177~hfz\\208\\243\\142\\151\\203\\139\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\248\\238\\141CW\\180m\\EOT\\236\\153_s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180-B\\146T?\\234N\\202\\141\\183WO8i\\230)6r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\EM.\\DEL\\221m\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\216\\147\\128\\174\\170\\140\\202Y\\232\\FSi/\\253H\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"$0\\ETX\\194@\\160]-.\\145w\\247J\\US\\231\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\143\\f\\131\\234^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\ACKP\\NUL\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248@\\188\\155\\\"\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"pz\\247#\\198Nn\\171k\\SOL\\ENQ\\250\\212vp\\\\\\240\\&9y\\219m\\138\\&6d\\172\\EOT\\129\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\161\\181\\171\\197\\158\\DELND\\233k#\\194Bz\\151d\\181~DI\\ETX\\211\\185\\249\\DC2\\193L\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\FS'\\154\\SIp2C]\\ETX\\225f\\241\\151T2>^\\208\\215\\ACK\\221\\140\\210\\170\\155\\STX&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\247\\f<(5\\234\\STX<\\246T\\201\\151)\\222\\215OUR&|1\\216E\\ENQ\\232a\\203\\177p\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\228\\207FLs\\195\\230\\249\\219\\155C\\165V{\\156S\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\238[/\\f\\199\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\182\\238L'\\196'\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\234\\a\\236\\162\\246c\\177\\209#0\\v\\133\\230f\\204\\187\\221u\\214\\177\\146\\224\\SUBpFV|~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\ETB7\\217D\\185\\&7\\230\\US\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\SI\\ESCV\\167+\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\\"\\207\\152UbP*\\221\\190\\DC4\\SYN\\SOT\\214s0F\\f\\131_\\220\\tP\\250\\206\\201\\181e(\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Afe\\186O\\243\\233\\ETX`f\\192\\221\\&1\\218\\149\\t\\234\\210\\&6\\146ZOHF\\148\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"^?\\195\\169[\\ESC\\147\\192VMHs\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\\\o\\247$\\208\\247\\243\\170\\204)Ch\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS;kL\\236\\221B\\155\\NUL\\224m\\193\\171\\200[\\222\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\170ZK\\159\\148\\172M\\146\\162\\226\\185\\206\\160\\210@\\199\\144xG\\165\\251\\144\\182{\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\137\\172@\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\134\\\\\\255k\\r\\174\\217\\v\\226bJ\\177\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\GS\\183?6b$BiA\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195T\\205\\STX\\232M\\137\\169\\&8\\196]\\158\\242\\SUB\\251\\204c\\244;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\190 \\167\\176;\\222\\151\\172\\159\\&7\\194/\\219\\DC2\\t\\SOH\\202\\202)e\\205\\f\\USI\\t^\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251MM~e\\188q\\236\\169\\188\\DC2\\212\\152lh\\252\\229\\255\\158\\196\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\176\\DC2\\225\\&7\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\218\\205>\\n\\152\\222j\\153\\198Q\\158\\219\\179\\253\\239\\146P\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255N\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\135\\199\\SO:a\\137\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\174TUF\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\221\\244\\190\\187`,\\218\\184=\\129]\\137\\137\\ACK\\238\\172}\\201\\222\\EM\\233\\222;6*\\218O\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\229\\217\\NAK(<-\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\202\\&1\\242N<\\DC4O\\251\\183\\193\\166\\255\\RS\\213\\174tB2\\DC3\\229MaW\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141Kk\\166\\GS\\203h\\180-\\218W\\241\\228\\210M\\184\\155\\146n\\178\\234~\\255\\\"\\243\\240\\155\\148Y\\212~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\181\\234\\187=_\\194?\\ETB\\EOT5IT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\NULZ{<\\ESCP(+e\\133\\&2hVH\"","tag":"AbiBytesDynamic"},{"contents":"\"ixL]\\138\\EM\\229\\201^\\ENQd\\161\\137^\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\221\\187n\\129B|\\136u\\215\\239\\235g\\\\\\189\\128\\215\\231&Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\162Q\\246\\196\\177\\196\\165R\\146\\254\\&2c\\184\\STXQ\\GS\\242}\\187\\&6\\NAK\\239[\\US\\n%M\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\156I&\\acdZk p)V\\220\\131\\204\\168g\\v_o\\178\\DEL\\220>\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136+@3`d>\\230h\\155\\197\\231\\131aD\\ENQ\\251\\212\\ACK\\DC4IVa+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\169Rt\\NAK\\161\\212\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\n}t\\138g\\191l\\201\\161\\131\\254\\DC1\\r\\204[\\174m\\208\\DC24\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\253@\\US\\196\\172u\\218:Y\\SOH\\ACK&\\209\\ETB\\151\\249\\246\\137\\NAKWm\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\SI:\\255{u\\168\\129\\149sL\\140Y^\\132f\\145\\144Xg\\v5\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\n\\135^\\205\\CAN\\182;b\\235>]\\150h\\169\\205\\\\\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\255\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\253\\159u\\196E|\\RSt\\143\\163\\207\\147\\134G\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"TH\\249\\159$\\DELY\\a\\215\\200>\\NUL=)A\\147\\CAN\\224\\131\\234\\&1@!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\r0 \\191\\240\\169\\130\\250L\\133\\242\\f\\229\\EM-@\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\143Z\\251\\153\\229c\\161e\\248\\166xS\\246\\224z\\173}\\221\\\\\\NAKV\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\RS\\181]WI\\237\\156D\\149\\154\\184Ru`\\239pE\\153r|\\FS\\142G\\ACKX8\\140\\252\\245m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\200A\\138\\208\\162\\196\\\"(\\160AH3\\197<pFQLd\\216\\185_\\DC1i\\129\\161z\\DC3\\205l\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"w(\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\135&rV?\\200\\139\\239\\198\\197u!>\\222\\&9\\208\\b\\149\\136\\158Af\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\131D\\144\\RS\\181\\170\\DC1:\\132X5\\ACK\\207\\FS\\225\\135Q5-G7^\\214\\GS\\176Y\\SYN\\178F|\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\176\\203\\145\\&5\\171\\232\\138f\\vH\\246j\\154`F:\\175xb\\194\\DC1G\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKU\\237\\143l\\144\\174\\191OY\\130\\241g\\n\\198\\240/_9\\158\\212\\254\\189\\237\\241\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\&3GlQ\\141'\\159\\211\\224VE\\US\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\128\\252\\231|\\228\\154\\203m&1\\255)E\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\225\\212D\\204\\184\\&9~E\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\195\\147\\215\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"O3<R\\DC1f\\251\\249\\142YXF\\172\\201\\EMR\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251Od\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\ENQ\\DELD#3'M\\231\\t\\255\\&5\\189`u\\175]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\CANG3\\187\\229\\243% q\\ETXL\\129\\&3\\188\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190}\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USP\\139\\139\\244\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\EOT\\180\\NUL\\209\\142E\\182\\191\\154\\v_\\247Mb\\n+1\\DLE\\216x,K\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"?L\\EOTB\\195\\219\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179f.Th\\SYN\\192\\SO3aC>\\239^K\\DC4\\197\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\174\\241\\227\\219\\212\\230\\181\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227#\\FS\\227\\169\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\129\\230\\NUL\\204\\&0nv\\244\\233\\a):zSE\\bs\\169Q]c\\181S\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\DC3~\\SUB\\196v2\\ACKt\\192_Z\\217f_\\206\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\144\\&4\\181\\f\\252EMN\\SI\\r\\208\\t\\182\\202\\198\\STX\\233{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137(8/\\t\\196\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\215\\156r\\\\j\\181'\\206\\148\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"r4\\SYN\\154;\\rzfYd\\NAK\\221z\\167\\141\\200\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204?5\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"_o9SY\\245\\189H\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\&9;\\f\\SOHN\\184\\233\\239L>\\253\\145;\\228\\135g?\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\218\\173\\139\\174\\226\\142r\\NAK\\SOl\\238\\178\\175t\\STX\\157\\171\\SO\\185\\204y\\130:\\198\\b3\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"8T\\160\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"}\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\ACK=s\\\"\\182:\\207\\193\\ENQ\\196vM\\250\\220\\254\\174\\254\\162\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137|\\164\\246G[}~\\149\\211\\129\\232~\\207\\214\\DC4G\\232\\235GU\\136!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\205\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"`$\\165\\ETX\\160G?\\ENQk\\203\\DEL.\\231\\164\\137\\179\\t\\212\\185\\&2~\\177\\SOH9H&\\254\\216\\197,\\229\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\USp\\190\\255\\DC1\\147\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\235\\229\\144\\190\\&9\\be\\227\\236\\188\\178\\213\\233\\&7\\253\\134\\197\\177\\131H\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\DC1\\172\\ETX\\178\\192F\\EM\\CAN\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153g7-L_\\161\\193:>\\174`\\177p@S\\202*\\DC4p&\\211\\b\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\198.L\\SUB\\US\\140qr\\243\\DC4\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\ACK\\133j\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"nc?\\198\\196?\\210\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"z\\166\\DLE3\\196\\ACK\\235\\239\\USef\\CAN\\213\\238|\\191\\&5\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\219\\185\\164\\192nR}\\245f\\a\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"0V\\219\\230g\\ESC\\219\\190G\\153\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\224l\\f\\186\\192\\185\\164\\196\\175>\\163P8\\183\\168\\205B#\\235Ag\\243\\&6K\\134\\185\\174\\&0\\211\\201\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243INV\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233W\\172\\208\\DEL\\182KD\\253\\tF\\244\\248\\NAK\\178\\US\\216\\141JQ\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\172\\187>\\157Z;\\169\\&8\\162\\&1>cf\\vq\\236\\n\\172\\212\\252\\NUL\\ESC\\n\\167$\\242\\247\\178p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\\\\\CAN\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\r}\\DLE\\169V\\210\\137\\SUB%\\147\\202\\175\\234\\191\\f\\231\\ETBl\\197KZ\\168\\167,m\\180\\169S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152z\\196\\187#\\SOI\\167\\236\\162;o\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151N\\231^I\\190\\FS\\154\\148Z\\147\\a\\138v\\184*F\\160\\r\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\161|\\167\\SI\\241\\a-\\238_[B\\SI\\\\\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"~+B\\133V\\\"\\133\\FSo\\153f)B\\148H\\161 zqO\\140\\245\\197\\132\\238\\240\\157\\228E!s1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS=\\249\\140p,u\\231\\ESC\\165\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182+D\\143\\205\\STX\\229&gqM\\247\\238\\227T\\193\\131\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\\"\\r\\193\\224H\\245\\EOT\\ETX\\229\\NAK\\172U\\183\\255\\190]\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\228\\211\\DC3!u\\168\\151\\240S\\193\\187\\CANwc\\FS\\STX\\252`\\n\\174\\SI\\235\\185L\\184\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\\">\\208\\189\\178\\232>\\SI\\DC4\\244\\188I\\135\\&3\\251\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"pST\\216\\ACK\\189\\232\\147\\215!u\\192c\\156%\\NUL\\177q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\240\\153\\147\\NAK\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\245bS\\184\\tc\\221a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140H7\\170p\\138Q$oh\\207\\132\\255,\\228\\185\\229Cj\"","tag":"AbiBytesDynamic"},{"contents":"\"3q\\199\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\148\\rj\\211\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\134\\155\\197\\DC3\\147D\\202\\242\\173r9\\r\\204\\198\\DC4A\\188\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\255C.5\\238\\&4\\200\\216oT\\SUB\\180\\SO\\220\\167\\US\\STX\\205\\252H\\185\\133\\190\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\232\\239\\148.\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209^Jl\\243\\255\\168\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\":\\151\\140\\147\\145p+w\\ETB\\235\\200?\\221k\\251\\NULR\\253\\149\\234\\253\\170\\170BQ\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\194\\241\\ESC\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\147Z8O\\131Fs[\\\"|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248}\\255\\225\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166E@G\\SYN\\202VXYAp\\164\\223\\DC4)\\250ZF\\137\\191\\148 _\\133\\176\\249wn\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166fg\\175\\230z\\CAN\\r\\248+\\SUB\\206\\200\\221\\131\\218\\218\\233\\191\\188\\218&'B\\210\\236[\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\148=i(1l\\134x\\220R\\SI\\197\\&1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\175\\230-H\\236L\\244\\189\\&8\\242\\172M\\208\\132JG\\162\\204\\205^\\250{\\131\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\152\\249\\ENQ\\DELu\\DC3\\224\\144\\191M.\\252\\186\\227V\\197e\\225!)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\236\\&4\\158\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\DC1\\140\\228\\209\\185>\\160\\221b\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"AMJ\\134Ib\\137\\177CC\\235D\\ETB\\202\\EOT\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\EOT\\228\\253TaG\\246\\190\\214\\166L\\nym\\243\\226\\rC\\136\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\&0\\192\\140[mi\\140\\162\\242^\\159\\&7\\246\\250\\168wR\\ACK\\223q\\\\\\190NK\\166\\208\\235\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\182\\132#\\244\\SI\\210\\135\\EOT\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\169\\194\\169\\t(\\145\\178\\177\\185\\241\\204\\v\\ACK\\215#\\ETX>\\167W81\\153L\\232\\STX\\SI\\143\\185* \"","tag":"AbiBytesDynamic"},{"contents":"\"\\175#E\\184L\\213\\209D\\242\\197\\DEL\\171\\229b\\246\\144s\\227\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\252\\184\\ENQ\\STX\\226\\128\\188\\NAK1\\189[\\135:\\DC4\\166\\249\\165\\194w*\\187:\\173\\226\\SYN8%\\165\\252\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\160(\\128\\\"\\STX\\249\\186\"","tag":"AbiBytesDynamic"},{"contents":"\")j!\\149X\\148\\219\\161\\SOH\\176\\214i\\a\\210\\138|\\151\\137V\\211e\\145\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161[\\128\\157,\\253\\250\\DEL\\130\\128\\152\\128Sm\\131PT\\253>\\198]\\SUB\\RS\\184(\\162\\DC4Pi\\202B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253;\\SO0M\"","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: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\226\\196\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\175\\230Z\\158\\198\\234\\197=v\\209<C\\155\\241\\221\\194}\\168\\136<\\\\|_nuC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\RS\\ETX\\SOH\\NUL\\218\\FS\\ENQd\\239\\SI'\\179\\DC1\\v\\182<\\187T\\150\\238\\253\\ACK\\ENQs\\228\\DC4\\v\\136\\DC1\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\212N\\255f\\209q.mU\\207U\\202\\DC1\\178\\149\\&6\\212\\240=7\\252t\\130<>\\148y\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\181{\\171\\163\\179\\154\\144\\222\\255\\182\\172\\211\\GSH}\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\202\\b\\252z\\143\\\\\\233x\\ETB#\\r \\STXCl\\128\\v\\149\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\137kJJ\\143\\252\\&7u\\US\\148\\131xa\\191\\167\\SO\\158\\254\\145]\\141R~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\240S\\157T]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201yq\"","tag":"AbiBytesDynamic"},{"contents":"\"--\\148\\246\\204:\\SUB\\164\\157\\204\\237\\GS\\197N\\\"\\133\\215`\\230\\174\\195dW\\158L\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\185h\\136\\247\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\202\\164\\168i\\CAN\\\"\\235\\190\\233\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\n\\209\\178>\\157\\253\\210\\165y\\217c\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\220\\202\\214O\\224x68\\r\\137\\221\\ETXD\\DLE\\251]\\204\\190\\r\\176e\\SOH\\DC3\\200\\163\\&7\\141\\rr\\DLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\245.\\182 \\CAN\\208.kVk\\203\\204\\180\\&5\\129\\DC4}\\198w\\174j\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"zs)]\\171\\195l\\158\\230\\a\\n\\216i\\132\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"ID(\\DEL\\197\\194\\197>I\\248\\142\\192\\173\\EOT\\f\\255\\DC1\\134\\203.\\194\\n\\213\\172\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\DEL\\139\\DC3\\200\\t\\197m\\172,\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\192\\239<I\\255$H\\188\\NAK\\209\\171!u\\246\\188&,\\217\\139\\174\\163Hu\\196H\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\fD#\\162\\n\\136\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\rp\\237\\SOH\\STX\\r\\153ff\\229\\168\\144\\156\\DC1\\129*\\232\\191:m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137&\\254k\\211\\193\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\250{C\\196@\\SOHH\\US&\\244\\244s99\\129\\235\\230J\\207\\152\\209u\\174\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\178cIU\\250\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\198\\b\\182\\162)\\EM\\227\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\DC1s\\149\\&3JF\\t\\177\\176.\\245\\r\\217P\\179DU\\175t\\148\\176\\130G\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\136l\\163\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"2\\171\\146\\239\\160\\171\\NUL\\CAN\\154\\161\\SOHZ\\133\\vO2\\217\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\194\\185L>\\150\\&7\\137UJ\\177x\\229\\&1\\231#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186c_E\\EM\\EOT\\243\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\EM\\241%\\EOT~\\232\\&2\\223\\ETX\\233N\\215\\NUL\\DEL \\a\\150\\252\\171\\US\\174\\227-$\\165k\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\212\\n\\215\\SO\\r\\134\\&3\\147i\\201\\178\\246X\\164r\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\r\\234\\EOT\\\"\\149sZ\\133\\ETBN\\133|\\194h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142L\\130\\220C\\149iF\\139Kg\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164G3\\177Wy\\206|\\176~\\RS\\225\\179\\189\\158=\\138#\\\\4_xA\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\FS\\233\\147\\167\\197\\161\\228]\\169\\252Nv\\217\\138H\\182\\155\\151\\201[/\\t\\240\\232\\SUB\\233\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\RS\\\\\\143@\\FS\\DLE\\b\\232\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\n@+{\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS9+\\210\\RS]6\\158Bf\\157=\\203O\\173\\245C\\167\\152]:\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\ESC\\232}\\227\\172\\t\\224\\143F\\239\\248\\&4\\143\\229\\176\\155\\221\\183!\\214\\133\\172\\ESC;S\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\168\\143\\ETXHg\\208\\191\\a\\195\\210\\200\\165AR\\234\\247\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\220\\196H\\155\\140Q\\DC4o\\148\\188wP\\179\\v\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\ETBM\\145\\226\\255\\222u?\\160\\171\\210&D\\190\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\161V]\\152\\239\\ETX\\242\\197t\\228,\\197\\235\\NAKY\\173\\252\\185\\&7\\145\\SO\\STX\\177\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\144\\244\\STX\\236d\\a\\f l\\DC4\\DC1\\FS\\133\\230\\129\\SO\\n\\149\\211vU\\229\\210\\184\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\233\\185\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188m\\t$n\\fU\\234\\ENQ7\\177A\"","tag":"AbiBytesDynamic"},{"contents":"\"{.\\238)(\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\187\\160\\216\\193\\215-\\199\\190\\232r\\ENQ\\214\\233.1\\210lRm\"","tag":"AbiBytesDynamic"},{"contents":"\"7e\\230\\143\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\208<\\224M\\SO\\226#\\SUB\\156k\\164e\\v\\145e&\"","tag":"AbiBytesDynamic"},{"contents":"\"j$\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"99"],"tag":"AbiUInt"},{"contents":[256,"4315727525861912488866669552466797037306296177778192758716608060669002598246"],"tag":"AbiUInt"},{"contents":[256,"5295557282125625422578005303956504637985056107880084984158791587678518716518"],"tag":"AbiUInt"},{"contents":[256,"580"],"tag":"AbiUInt"},{"contents":[256,"1529033264"],"tag":"AbiUInt"},{"contents":[256,"100225414232647835906049670732900966836499040273916248464494133077906305401316"],"tag":"AbiUInt"},{"contents":[256,"63715496554307752305874173266771880764511269051749472278125345886359179189625"],"tag":"AbiUInt"},{"contents":[256,"60267908079867093094143894964134841252110217904675748431997911244969039218729"],"tag":"AbiUInt"},{"contents":[256,"55475540052329465101876702548642885187118776678982156110254637799543115765263"],"tag":"AbiUInt"},{"contents":[256,"102"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"61"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689600"],"tag":"AbiUInt"},{"contents":[256,"254"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638935"],"tag":"AbiUInt"},{"contents":[256,"897"],"tag":"AbiUInt"},{"contents":[256,"21713797886001777796726132707790202879934404056317357126077831795425243633117"],"tag":"AbiUInt"},{"contents":[256,"1526394058"],"tag":"AbiUInt"},{"contents":[256,"93427196698208651821937153003812345860244407104189950687825578813518838624382"],"tag":"AbiUInt"},{"contents":[256,"105267572705593161968059589062963784250556954826984628519519826152644202848896"],"tag":"AbiUInt"},{"contents":[256,"112920804110604273848212920367104909587814395074085774129772146139019087986123"],"tag":"AbiUInt"},{"contents":[256,"36792132132497394731718838139434583986442745704561475577189175361160934020230"],"tag":"AbiUInt"},{"contents":[256,"671"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"110076192904959471961133695230793675975753736719875000800990220682886346800140"],"tag":"AbiUInt"},{"contents":[256,"621"],"tag":"AbiUInt"},{"contents":[256,"711"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638933"],"tag":"AbiUInt"},{"contents":[256,"2840376436875067274907573995518244266971618660436710460688696685962743137829"],"tag":"AbiUInt"},{"contents":[256,"106141892543821164401991713424142847251897435733480399353454800376993850956859"],"tag":"AbiUInt"},{"contents":[256,"99413539484805406075061289343521547081557715789854640937037889533656303638020"],"tag":"AbiUInt"},{"contents":[256,"22177201388"],"tag":"AbiUInt"},{"contents":[256,"84973351681547722370835167869986796866606471094026316357864186665888001509553"],"tag":"AbiUInt"},{"contents":[256,"9741365255059230680255065545472590110764784616231540152402952326803595399398"],"tag":"AbiUInt"},{"contents":[256,"37555397182411413103508010144008676604634680259285390997828434503493707977058"],"tag":"AbiUInt"},{"contents":[256,"26085194836706277250510329635901182038877671413804027575313149021788543204705"],"tag":"AbiUInt"},{"contents":[256,"139"],"tag":"AbiUInt"},{"contents":[256,"8701859574706525659182883724415760642005348497583688284449231465190471914386"],"tag":"AbiUInt"},{"contents":[256,"90447732877927088983844459820975462832155360940342615614284194347678273534866"],"tag":"AbiUInt"},{"contents":[256,"108315119716388694876434241769115267813900658687516673881623965995177939451881"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639864"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"92907855853206972251231949771335040199764246549588782693202877419657267805304"],"tag":"AbiUInt"},{"contents":[256,"45286217395574102751317839676156126980619034022415216187175448514287163825442"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222595"],"tag":"AbiUInt"},{"contents":[256,"49789424614331191472801830863293530506078564883616140658159759036701151581108"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"111033500045690352969051307369528457544316579281894030913477544156084176046717"],"tag":"AbiUInt"},{"contents":[256,"9109378012667306184847518032584702634486216067845832320701146652503099880173"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1313373042"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"85041106585469470510118820465774871564426410262472171379510894363817761134034"],"tag":"AbiUInt"},{"contents":[256,"10265476421152787567130580750083631544790807572854285447420750472065977813645"],"tag":"AbiUInt"},{"contents":[256,"1529976468"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950339"],"tag":"AbiUInt"},{"contents":[256,"78254631298418234654385247143040643642171383847695539423781139370389190545468"],"tag":"AbiUInt"},{"contents":[256,"1528625836"],"tag":"AbiUInt"},{"contents":[256,"40731552166794120552977327993946371736415391482036964703287297752602243705610"],"tag":"AbiUInt"},{"contents":[256,"62044318518594707736813635185181197285780944573647950511501810481908242608154"],"tag":"AbiUInt"},{"contents":[256,"1533098864"],"tag":"AbiUInt"},{"contents":[256,"85530580844537742210937893898377994611011658106773826808757223733778923071239"],"tag":"AbiUInt"},{"contents":[256,"8945309420249820411632443547145355782587410851359835174225118422327648567111"],"tag":"AbiUInt"},{"contents":[256,"996"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639915"],"tag":"AbiUInt"},{"contents":[256,"111553218457898530089208565183207055525142361912242445437040485522197871202146"],"tag":"AbiUInt"},{"contents":[256,"50707692372441291019183876378507514866175559596872979587617941422044663645169"],"tag":"AbiUInt"},{"contents":[256,"94377038002339827789200854265396065368291005963696814994339934126771404275879"],"tag":"AbiUInt"},{"contents":[256,"4256175838536216304378661874289831962012652519093702793220204489390263204358"],"tag":"AbiUInt"},{"contents":[256,"1530745098"],"tag":"AbiUInt"},{"contents":[256,"55914470026339601313893518587713129450209188131174616390831164641038932601516"],"tag":"AbiUInt"},{"contents":[256,"31304588264072958843620775020930094300640046336137959487737610929031420520576"],"tag":"AbiUInt"},{"contents":[256,"99355680735342102486106909726894124282048359670915819346630457797591290263220"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"27505053569151240285509126546114199089207927362846328014441109248789016487015"],"tag":"AbiUInt"},{"contents":[256,"85653465064489450982436335145872882183853374945879048217734198798840354820059"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551616"],"tag":"AbiUInt"},{"contents":[256,"63200377209801735537836603581426320515087601677913412132823655805020521980160"],"tag":"AbiUInt"},{"contents":[256,"37982807283535782243499396896895058421648869169773270760717644756229196195620"],"tag":"AbiUInt"},{"contents":[256,"1525311711"],"tag":"AbiUInt"},{"contents":[256,"66654011885015980844357646485678952196980784337366443501069719709517449684324"],"tag":"AbiUInt"},{"contents":[256,"36521283431385653183071097506857499566317162069611357287873030282097254183276"],"tag":"AbiUInt"},{"contents":[256,"1534309742"],"tag":"AbiUInt"},{"contents":[256,"23044543129314765361739633888394967401042243983461722"],"tag":"AbiUInt"},{"contents":[256,"20737163266374345990907466337132459279469425886691428854075140352745518512654"],"tag":"AbiUInt"},{"contents":[256,"299"],"tag":"AbiUInt"},{"contents":[256,"113771560052986880869907262229528292615554611326324760288291754120756316412878"],"tag":"AbiUInt"},{"contents":[256,"850"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639851"],"tag":"AbiUInt"},{"contents":[256,"29111042456757361317058300330362496398402366865846170880898064361838359609848"],"tag":"AbiUInt"},{"contents":[256,"34997393161346362166245430780974700038473035516035734869770608468779850792759"],"tag":"AbiUInt"},{"contents":[256,"19773073622014959115016853111568236609309003833179152743007153421994757853679"],"tag":"AbiUInt"},{"contents":[256,"75663657064737736303821593357038225935537107098100400489576453652397063833888"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006da5c","0x000000000000000000000000000000000000000000000000000000000000ea4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"106250358494040810355587805739114741599517247764437673852444223500257944644627"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4a","0x0000000000000000000000000000000000000000000000000000000000000043"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b9e2","0x000000000000000000000000000000000000000000000000000000000000503a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001aa32","0x0000000000000000000000000000000000000000000000000000000000000004"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"144"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000640f9","0x000000000000000000000000000000000000000000000000000000000000c178"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038516","0x000000000000000000000000000000000000000000000000000000000000058e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"105191940089012317462191455917997879263074444802964422868855488522598782472452"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001e5c","0x0000000000000000000000000000000000000000000000000000000000005e78"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]