[{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"5001"],"tag":"AbiUInt"},{"contents":[256,"5001"],"tag":"AbiUInt"},{"contents":[256,"5001"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"89476271847638434257785081607839920107625441357996670515103738885021284130419"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"95842370976143548842563192888706739280793914068832012460528688979815837019124"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055779","0x0000000000000000000000000000000000000000000000000000000000000010"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689599"],"tag":"AbiUInt"},{"contents":[256,"334"],"tag":"AbiUInt"},{"contents":[256,"13740655849887068786793610865369187186041957989000725319462312680243525030919"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb32","0x00000000000000000000000000000000000000000000000000000000000068b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000382","0x000000000000000000000000000000000000000000000000000000000000d8d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"68"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"104496143381065143253376702899312917786743217642126832683658433117514643506292"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084277","0x0000000000000000000000000000000000000000000000000000000000001273"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81f","0x0000000000000000000000000000000000000000000000000000000000001553"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"49855170714908701217595480782490200136499828839658711084605357677817509134934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000130","0x0000000000000000000000000000000000000000000000000000000000000380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580ad","0x0000000000000000000000000000000000000000000000000000000000002713"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609602"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e9","0x000000000000000000000000000000000000000000000000000000000000136f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892771"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ffff","0x000000000000000000000000000000000000000000000000000000000000c617"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"102809733125655246679268514959258145356035444668180014069953791797575255758740"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c436","0x0000000000000000000000000000000000000000000000000000000000008ec7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b73c","0x000000000000000000000000000000000000000000000000000000000000012f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b2","0x0000000000000000000000000000000000000000000000000000000000000049"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"393"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000011","0x000000000000000000000000000000000000000000000000000000000000134f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"67436178333057742495494436205133164135503179656157289873708149313080301912984"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec9","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"58164012654813197437360572229479427712624855898294810252815974494380364393928"],"tag":"AbiUInt"},{"contents":[256,"45969809427327765849637218952708118344078814954093457255144862516946239941707"],"tag":"AbiUInt"},{"contents":[256,"16487777233944499544685637447032168515519987334963251899033181667815032768894"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a9f7","0x00000000000000000000000000000000000000000000000000000000000045d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"76294317404005447729145592842748534653684748758838303490012585702221832032863"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074d9f","0x000000000000000000000000000000000000000000000000000000000000e346"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb17","0x000000000000000000000000000000000000000000000000000000000000136d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9f","0x0000000000000000000000000000000000000000000000000000000000002e81"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"106"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e8","0x000000000000000000000000000000000000000000000000000000000000b324"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"254"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e3fb","0x00000000000000000000000000000000000000000000000000000000000095e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb3","0x000000000000000000000000000000000000000000000000000000000000a98a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[8,"82"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000381","0x00000000000000000000000000000000000000000000000000000000000012a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689602"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb26","0x000000000000000000000000000000000000000000000000000000000000c5a5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"3598"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0e","0x00000000000000000000000000000000000000000000000000000000000001b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"309485009821345068724781054"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000103ef","0x000000000000000000000000000000000000000000000000000000000000d8d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"105517381768994555407452638654853106707853393710327999514556013221171053238853"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb3","0x000000000000000000000000000000000000000000000000000000000000d8d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"1999997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000068","0x00000000000000000000000000000000000000000000000000000000000013ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"82134016755844461443856010419296438007535362173796674306927223822821196849616"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e7","0x00000000000000000000000000000000000000000000000000000000000012a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609598"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000628b0","0x000000000000000000000000000000000000000000000000000000000000136c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"177"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"29779688019479443049091737960293793870067972817554227226640946441147306478848"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081962","0x0000000000000000000000000000000000000000000000000000000000000024"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000018204","0x000000000000000000000000000000000000000000000000000000000000b3ec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[256,"24276337835544048797031503593268881960561098052052398919974244279257724479247"],"tag":"AbiUInt"},{"contents":[256,"113770462780370005089874135432431028429235397928805743328763064299656562971850"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731854"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5f","0x00000000000000000000000000000000000000000000000000000000000095b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000007660"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e377","0x000000000000000000000000000000000000000000000000000000000000bca8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":[256,"59844449588172171916068384809680050886987959055000036673954660908943339784746"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x00000000000000000000000000000000000000000000000000000000000003eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":[256,"724"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000523ff","0x00000000000000000000000000000000000000000000000000000000000057bc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427c","0x000000000000000000000000000000000000000000000000000000000000270d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"1534547836"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf1","0x00000000000000000000000000000000000000000000000000000000000003fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005c027","0x0000000000000000000000000000000000000000000000000000000000005a5c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000775ac","0x000000000000000000000000000000000000000000000000000000000000754d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001d461","0x0000000000000000000000000000000000000000000000000000000000009aa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000013b13","0x0000000000000000000000000000000000000000000000000000000000003f82"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"82791011064403852475228161271590750388652405854728874607159174526205503344947"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000035a6","0x000000000000000000000000000000000000000000000000000000000000118c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":[256,"42102793119686745265296119355030660792900354460105259710967588608712105579492"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055f7d","0x0000000000000000000000000000000000000000000000000000000000000212"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"69"],"tag":"AbiUInt"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"28312509804721461783333466004772524502429332183549131206874874369588569429505"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000350fd","0x000000000000000000000000000000000000000000000000000000000000b76b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x041eC99B601aE6e5E4662249B4221c1C1C744dc5","tag":"AbiAddress"},{"contents":[256,"32819221258738416640627868685998052305979785290668074403180644873951293535143"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"73815064224178061197297476410834482406643203436639234083"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000523d6","0x0000000000000000000000000000000000000000000000000000000000003f80"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xED1785b65896022A79B55D3EbaFD6Ab7C6560e92","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f97","0x00000000000000000000000000000000000000000000000000000000000087ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba5","0x0000000000000000000000000000000000000000000000000000000000002607"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639851"],"tag":"AbiUInt"},{"contents":[256,"85164698631620121840373087819388411945"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014c4d","0x0000000000000000000000000000000000000000000000000000000000001356"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"92512232227236264968184476714402571966952427462868900148699801855088946202257"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000084b8","0x0000000000000000000000000000000000000000000000000000000000001ed2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"94368250267866130922381361403611709264511040298495694445173974880203143192970"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000386","0x00000000000000000000000000000000000000000000000000000000000036a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"83770923287174290660885893184967124748636773884050990952370988045655103954954"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e0","0x0000000000000000000000000000000000000000000000000000000000004562"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75f","0x0000000000000000000000000000000000000000000000000000000000001387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"33069875579385018683326412294243873592919223399097446418459003991108793692686"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b6e6","0x00000000000000000000000000000000000000000000000000000000000065e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047c13","0x000000000000000000000000000000000000000000000000000000000000396d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\139R\\143p$$fieG\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\228^\\203t\\236S\\148'\\166A\\ESCT\\156sgF\\210K\\143\\245\\230K\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\US>\\180F'\\137\\247\\233\\198\\147\\229!\\203\\169\\155\\SUB\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\" \\n\\148$3\\225\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\167TR\\166-\\245r>-\\152\\FS\\155\\138\\218\\173\\245>\\238\\134/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225!uc\\135\\&4\\242\\159\\174\\DC4NF:\\132G9\\136bT:\\v\\EM2[;\\166\\&2\\209-\\187\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\202\\149\\176\\DC4=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\179Y\\133\\149.{\\246\\245\\210=\\ACK\\162?c_7\\165r\\240g\\206\\169\\RS.V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\199*8\\203\\205\\&1V\\r\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"ol\\160E\\SUBRmA\\DEL\\220\\249\\252\\132B\\138\\192~\\141R\\193\\171\\180b\\235l\\173j\\188v\\136U8\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!7D\\175\\CAN\\209\\159$6C\\129LU=dI\\b\\144\\187\\185\\239WV\\145B\\244=\\183$_\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\186\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\&2\\219%\\239\\166K\\180\\&0\\221\\195r\\245\\208b;\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\208\\219\\219)g\\149\\148D\\DC4\\b9J\\216\\177\\168a\\212\\143\\172\\231J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\148\\DC4\\ACK\\209\\&0\\SO\\254\\249\\236\\rre\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\254uF\\171Y\\168$3IS\\203\\144\\135\\136\\188\\204\\DLE\\204G\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@\\148, \\203\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\185K\\172\\209\\220;\\236T\\GS\\NUL\\US&\\247\\DC2o@J9\\aP\\ETB\\218\\167\\216\\&3\\250O\\154(\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\rR\\152\\DC18r\\169\\216\\&7N\\202\\212\\144F-`\\131l\\EM#\\202c\\134\\ESCJ|]\\174J\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231f\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\171\\EMb\\255@g\\248`\\\\\\DC2\\210\\&2C\\156\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\167S\\233\\140\\162W\\142g\\t]z\\223\\186\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"aK='\\191|\\f$]\\144\\247\\f\\161\\193\\\\\\227\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194L\\246\\242\\\"\\223h\\196\\131W\\210%\\SOH\\ETXu\\188\\205\\247\\128\\SO\\197/\\186\\148\\199n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\153Z\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"=X\\186\\224\\218Y6\\252\\151\\136\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\227\\204\\252\\&8\\150\\243s\\206}w5\\212\\229\\254{\\220\\172\\ESCh<\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\239\\216\\187\\v\\225\\160\\133l\\n\\252J\\197\\235\\147\\161\\227\\203\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\SI\\247\\193\\226\\199W\\ETB/Z\\178\\211\\132@\\199\\242\\183\\252\\172f,\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188!\\220\\&6\\144\\&3\\247o\\131\\189@^\\244b\\235\\n\\221\\219\\243V\\140\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217q,j\\140!x!a\\152\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\137\\v\\171<\\DC1\\GS\\SOH\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\NUL9\\242\\230\\189\\DELy._\\251\\251\\&7\\176\\&4\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\232\\183\\UShg\\190\\165\\&7\\185\\DC2\\152 mx0\\174\\220o\\226\\129\\149\\242\\210?\\202\\230\\202\\&1\\198\\133\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"S*9\\162\\211\\184G\\SOH\\223H\\DC3^\\SUB\\141\\221\\222\\&8\\DC4d~\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\194\\216\\254\\NUL\\157\\&4\\161w\\156/\\205\\191\\DC4\\174ri\\198\\146c\\155\\241\\195\\192tJx\\207\\203]\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\223\\209\\ENQ\\222\\EMk\\247\\ACK\\196\\221^\\180\\&1\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\DC3\\149\\247G*H\\211\\138\\CAN\\FS*\\SUB\\NAK\\ENQ\\NAK\\255{\\244Co\\237\\221\\255\\176\\197\\181\\&6B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180T.\\166V$H\\190\\170\\198\\142s\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\230\\216\\154>i\\SYN!\\SOHj\\154D\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\143\\170\\143R\\142\\235v\\EMyg\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151[\\225\\SO\\ACK\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"Km\\NUL-J\\212\\143\\214\\247K\\245\\147jc\\230[\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170z\\SUB\\242T\\175\\NUL\\150\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\237.\\174\\241\\SI\\214R\\172hm%\\221\\136\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\211\\v\\199\\235\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\220s\\140&]:f\\US\\218\\\"%\\EOT\\138]Mb\\247;S\\173\\221\\199\\244%\\222!\\143C\\191\\225\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\SI\\GSe9.:5\\213\\216\\239\\187\\SOH\\185\\r\\193\\213N\\203\\b\\171T\\FS\\161\\165&KC\\195\\219\\DC31\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\185\\&2T7\\245h\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\194\\DC3/\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\194\\v\\152\\204\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\190\\255\\234\\157\\161\\167\\r\\223}\\\\\\140O\\190\\153\\CANJ\\182\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\179S\\165\\152\\176<\\136\\ESCn\\225;`yl\\252\\161ba\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160V\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\DC2 \\178\\SO\\206.[\\215\\143\\243\\193\\ETX\\212\\238\\141\\\\X8\\204\\&7\\b=\\193b\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\155\\247z\\f\\vP_%\\242B_\\SI\\DLE?\"","tag":"AbiBytesDynamic"},{"contents":"\"f\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"<O\\242\\189\\243\\240OC\\241\\144,\\247nz\\214\\EOT\\248'}?\\155x\\169\\203\\222rR\\188\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"2\\251\\129j\\191\\DLE=\\STX2f\\220e\\146|\\DC2\\209Xp)v\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254i1\\ETX\\169\\DEL=\\DC2\\247\\SI\\253\\148\\248\\STXq\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"d~\\238\\202\\177\\157\\238[\\208?`\\USE\\180\\ETB\\237\\GS\\141\\204U\\195\\207\\147\\132\\187\\SO\\DC4 \"","tag":"AbiBytesDynamic"},{"contents":"\"$lr\\210\\134peLIZ\\ETB\\252\\200Zk\\221\\195\\142\\153\\236\\133\\181\\232\\&6LM\\t\\158\\SO<^\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\GS\\160\\193\\161\\SYN&\\STX\\r\\142\\217\\SI@g\\213\\138\\201\\156\\RS\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"$m\\216\\t\\ETB_\\134B\\197\\198\\236\\254\\248!8J\\212\\220y\\186~v\\230\\133\\183\\237g\\184\\253\\171\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"4eKG\\DC4IG\\163\\128\\242\\217tLif\\ENQ\\231\\a\\164;\\172s~\\\\\\164U\\135\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\SUB\\b\\236g\\r\\SI\\146s\\219\\DC4\\158\\139\\&7_Rg\\212\\227\\206W\\251\\177)}\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"e@zg\\178\\n\\138\\v\\234\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\204\\213\\139\\204B\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176M\\128ml\\155T\\200:u*$^\\128%M\\212C\\146\\160\\r\\147\\214\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\141\\219\\SOHL\\FSw\\253\\178\\199Q\\234op\\EM\\152\\202\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\FS%H3\\172\\162\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156w\\204K~S\\DLE\\200\\173!\\235\\156e\\156\\204\\131\\155r\\tVP\\162\\132\\220O\\174\\234\\154\\217\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\RSE&\\147\\218\\RS4\\204\\233<)\\195\\&8\\233\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\EOTm\\\"qr\\195\\&5\\209\\&4G\\241\\196\\&1\\\\#;`\\255\\DC2N\\229\\206\\v\\249\\139\\187\\144\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\140\\167\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\145NG\\v\\238\\&9\\201\\ETB\\134\\212\\t\\144X:\\177\\143+\\219\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"EF\\FSha#W\\133\\227Q\\225\\ACK\\225\\216 \\EM\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"w`\\239\\225\\255\\\"\\248\\&8\\136g\\STXA\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\140\\192\\195\\128\\155\\139\\NUL*\\196\\\"\\194~x\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\204\\253C\\NULU\\200\\149\\226\\\\n.\\131g\\175\\156Y\\220q\\SI\\242|E[\\188\\140;\\\\\\144L\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"l51\\193<\\146\\222o9\\SOH\\203\\a\\GS\\160\\ETB\\223\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\149\\218\\167\\133\\SOk#\\253\\&6\\135\\132\\241\\225\\240@M\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241|\\ACKh\\162\\\\\\209c\\ETB\\181\\132\\200\\GS=\\145\\t\\232\\194+*\\241\\227v[=\\176\\197\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\178>\\168\\144\\182\\r3e\\159%\\211\\169\\171\\155\\172\\223\\n\\161X:\\CAN\\\"\\\\85\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"v\\244\\CAN\\DEL\\216\\188|\\DEL\\212Ik\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\159v\\211\\235\\no\\212\\f\\189\\255S\\157\\222}\\134\\255\\135}Ch(\\183\\222\\tt\\220\\231\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\211Vl\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\215a2x\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v<9-\\231R\\nq3\\176\\ETXLN\\SYN\\175\\NAKG\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\&5aB\\205\\&2\\167C\\152\\NAK\\206\\249\\DC1z|\\160\\&4!\\135\\236[\\218\\236\\241\\201C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"/\\209\\207\\130M:KG\\DEL\\175\\DEL\\166o\\161\\156S\\191\\GSF\\175K'\\208\\192\\232-J\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB \\196;\\196\\194\\233\\209V\\194m\\173\\DLE\\226\\197_\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\200\\230\\160\\153\\147\\190\\&9\\191*4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\DC4A\\212Z\\146\\132\\182\\SOH:\\174\\181\\DC2J|\\192\\227\\188f9\\ETX\\168\\251\\165I\\157\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\STX\\175\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\147'\\a\\217\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\254\\205\\221\\157\\130\\DC2A\\196\\191\\237\\SUB\\DC4L^I\\215p\\208\\214\\244\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\248\\243F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190rO\\177\\242\\&0\\169\\230i\\RS\\254\\t\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\143,\\EM\\STX`,\\156Mn\\ACK#\\156\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\ESC\\171T\\248\\205$\\250`\\208J!2\\221T\\SUB\\173\\US\\226\\178\\CAN+n\\US\\203T\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\\\8\\184\\NUL\\163'\\177y\\205\\209e\\233\\DC2v\\150Y\\186\\166\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\180\\179'\\235}&\\134\\SOH=\\223i!]\\\\'\\193\\199\\ACK\\246\\254\\183A\\159\\135\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\183\\181\\DC4\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\216\\211\\170\\143\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\195\\161)\\199\\134\\186\\255\\194w\\250|\\226.A\\SYN\\144\\170\\171\\140\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n>\\239\\134\\255\\152>k\\229\\149\\232\\195\\170!\\SYN\\180\\185\\212s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208o\\135H\\150\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\168\\244\\209;\\234\\\\\\183\\164%\\233M\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSO\\t<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"c\\247\\147\\239j\\166\\215\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\188j|\\166n\\137\\238<\\128\\f!A4T\\129\\161T\\175\\200\\252\\227\\227\\215\\164\\169\\191\\SUB\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\DC1l\\135\\217\\224\\SOH\\191\\SOH\\178\\140\\137\\163\\194+`!\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL0\\SOH\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\154+0\\254P`V4\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\132\\191\\tl\\ACKO\\v(?\\EMd\\168\\RSM\\250\\178\\158vK\\209C?\\FS>nk\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\192\\130S\\188\\138\\233\\216n\\138=\\205~\\181\\&0\\172\\236}\\223\\173\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143$\\224\\152\\202Q\\252\\161\\DC2\\156\\234\\139\\138\\152\\241ni\\DC2`\\160B\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\240%\\EOTa$o9W \\220\\236\\157\\STXA\\RS\\205w\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\132\\209Xi\\249\\170\\128(8\\142\\192.\\228K\\136^\\vg1\\NUL\\241\\253\\204\\\\o\\198\\v\\146\\SUB\\212{\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\NUL\\168<\\249\\149\\DC3J\\218\\229n|/\\SYN\\161\\174\\212\\SOH\\146W*\\222O\\232\\ACK\\216\\DC4\\218S5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\140\\138\\198x\\212v\\133d\\SUB8':\\161\\250,F\\207<\\NUL\\209Z\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\164C\\251\\DC2\\130h}\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\v\\ETX\\219fDK\\176K\\DC483N\\154\\204|\\219\\186\\212'v^^\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\138@\\155\\245\\158\\159s\\217n\\239\\178\\210\\218J\\208I\\149B\\b\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\ETX\\CAN\\159O\\a+_K\\STXxr\\197(\\159w\\176[\\166\\223\\138\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS@q\\t\\230\\254\\158\\209\\&9\\n\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148q\\141\\196\\159\\DEL(T\\151\\GS\\183M\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\167\\163c\\DEL\\EM\\159\\187\\224\\192\\129s\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\171\\NUL\\227\\255\\&9\\166\\214\\136S2v>j\\164\\128$?:l\\236\\190\\253IOG2\\DC2\\195\\158\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"3X95\\v\\149\\232\\184\\231\\157\\167s\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224j\\173a0P\"","tag":"AbiBytesDynamic"},{"contents":"\"A;\\210\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214E\\212\\159i\\161\\144\\244\\210\\244~&\\SI\\159V\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152wp\\223\\&3\\179\\227\\167O\\t\\203\\242\\\\\\DLEd\\144VN[\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\149?\\200\\SYN\\141v[\\205\\129\\GS\\188\\182|\\238L\\150x\\v\\150Q!7}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\152MG\\235\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151,$\\STX\\r\\194\\&9\\196\\179\\&7\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\244\\244?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\207=1\\141\\STX\\210\\236\\193o\\255\\254\\DC3p\\141J\\142d\\206y\\131\\152\\208\\148\\ETB\\RS\\187W5\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\233\\227\\254\\190\\210\\b:o\\CAN\\237t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\&4\\217>\\151\\239\\177(_/\\205\\251\\181\\133\\CAN\\171\\129\\165W\\147\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\182\\235\\188\\243\\CAN\\147\\147ft\\a\\249\\238p\\143\\185\\176\\223\\ENQ\\225\\146o\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\DC1?\\DC2S\\226\\159\\219\\177\\206go^\\GS\\SO3\\DC2b\\214\\244\\235\\250\\159\\162\\222\\197\\185\\162\\137\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\171N\\166\\211\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\aH\\230\\155G\\232$W\\252\\148\\131\\196\\219\\166\\DC1\\198\\v\\229\\&4\\224{\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\156\\NUL\\a\\247\\SO\\NULQs\\243\\171\\244\\209\\132\\246\\233>\\212\\237\\237\\140R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2bX7\\222\\211\\197\\184\\141?\\STX\\179L\\153@\\ETB\\209c\\213P\\235\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\218\\131\\DC1\\v\\vH\\135\\241\\232\\EOT\\200\\189\\163\\218.\\DLEBDUi\\221L\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"1NZ\\vQ0\\154#s\\229(\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\235G\\229)\\134\\197%\\180]\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\182\\f\\241\\193+\\f\\149\\139\\203\\FS\\139T \\212\\147\\174\\219\\188\\158\\128\\DC3B\\217\\SOHh\\165\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231y[\\233\\225T.\\130\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\244tC7\\213\\246\\131\\233*9\\SO+\\130\\ETBDC\\DC1\\128\\&2\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\228z\\189:S\\219\\134\\216X\\143\\238\\US\\t\\170\\168|\\186b\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\FS\\132\\197b\\175\\222\\218\\234d\\ACK\\191\\215\\192\\207:/\\ETX\\f4Z\\186\\214k\\GS=\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"=T\\177\\195@,\\215\\166\\228BA\\182\\176\\214\\220\\237n\\\\\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SIu\\235\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSB\\137\\GS\\172\\214\\171o\\ESC\\195w{j\\NULF\\147\\222\\208o\\232\\181B_mH'\\203\\130\\211\\134\\229\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\&7c\\EOT\\174\\144y\\DC3\\236=}\\250\\&24\\163 \\167s\\219\\166\\245W\\137k<\\209b\\135\\217Q!\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\166\\160\\\\\\152\\243tiI\\190\\203\\tk\\193v3\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173>\\164\\185\\231\\159\\181\\171\\202\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\STXq\\210E\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\";\\147\\201\\226\\SYN\\DC2#\\207\\232\\207\\165\\201\\232$m\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"C\\NUL\\237\\180\\177\\228\\SUBx\\ENQ-8wW\\212\\238\\204\\183\\ENQq\\196\\&9\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"'3,\\245t\\174\\174\\EM\\170\\SUB!x\"","tag":"AbiBytesDynamic"},{"contents":"\"}w\\\\\\214\\188y=\\ENQ\\142$5\\141I\\DC4\\136@\\178\\146\\215ki\\183Y}\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"ks\\174\\173)\\150\\134\\NUL\\SYNX\\181\\209\\147\\190@\\187*\\187\\222\\165\\ETB,\\164@k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\237VR\\170\\225\\CANf\\214$\\129\\145\\246\\237c\\165k\\143\\195\\211\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"RO\\t\\135N8\\144\\222\\216\\254\\255_R\\254\\186\\232\\212\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176,\\204\\227#\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216x\\SUB\\164\\199-\\n\\161kuu\\232\\SYN\\DLE\\DC2\\172\\ENQ\\241\\243\\135\\170\\168\\176\\SO\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\164\\146=\\DC2\\161\\175x\\199\\208gaD`\\177*d\\189e(\\131{\\164,\\227\\SOH\\245\\ETX|\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\243-<\\183\\188\\241S\\229S\\153\\STX~k\\226\\195\\155D\\157\\173\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192g\\170\\156p\\v\\137\\166\\f\\165T\\198\\173\\239Z\\166\\a\\DC3\\\"\\r\\191v\\159^v\\173\\183\\207\\140\\130\\171\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"]`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\ENQ\\140\\180\\234\\252,ZaO\\194\\251\\165\\b\\172\\236\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\167\\210xY\"","tag":"AbiBytesDynamic"},{"contents":"\"<E-\\207\\150\\209\\214\\128\\SYNN\\213x\\175\\171\\186\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\nc\\187)D\\130\\GS\\254\\232\\204\\177\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215l\\SO\\220N\\177l\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\" Q\\244\\156~\\155\\218u9\\149\\195\\241\\152;\\128\\140\\238e\\237WJ\\246pk\\164\\163\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\156\\172|\\NUL\\140\\237\\236\\a|\\239\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\188\\ACK\\175o\\242<\\155i\\223\\168\\184S2\\189\\178\\167\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221Fu\\186\\163S\\176\\&1z\\210\\241\\243qT\\203Q\\165\\162\\168\\130\\EM\\177\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\" \\174\\170\\169\\160\\179\\&2\\STX\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\200k\\146\\DC1#\\151\\202\\172\\129\\153\\ETBz\\144\\163U\\GSg\\153\\204\\156\\148\\202\\&8\\132\\189\\130\\151\\SI\\EM\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\219\\128\\&0\\163\\193^GM\\ETX\\238\\155\\157\\220\\231\\161\\DELF\\158!\\150\\212g\\DLE\\204\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\233\\148r=E\\174\\152\\DC3\\223\\233\\253\\239Z\\220\\253\\STX\\238\\STX\\196c\\223\\160VX\\242\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\133\\243\\129\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\158\\SUBT\\251t\\SYNf\\161\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"A<\\159M\\195\\190\\183W\\249`\\147\\255N\\NUL\\209\\200\\nEV\\134\\248\\210\\ETBc\\ETXn\\156\\153,\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\223\\239k\\148qmP9,\\152o\\224\\136\\STX\\NUL\\232@\\226\\203\\GSR\\196_n\\248A\\GS\\170\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"k+\\209\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161M1\\250/\\139b\\FS\\221W\\v\\182\\194\\133\\239n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167LJ\\215\\DC4\\STX\\161\\165\\220\\248\\254[d\\221\\n\\fJy\\232\\172R\\238\\DC4EU\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"zI\\212\\aZY\\177\\v*\\155hi=\\SOH\\nK\\215\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\249\\231H$\\151(\\245\\241&\\202\\134\\184\\249\\&5:\\128\\&3Xn\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\250\\227\\241\\203@M\\226\\134Z\\146d5\\243\\&7\\234\\&6\\142\\v\\233\\145\\\\L\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\237\\FS\\230\\ESC\\192\\219\\242\\155\\237\\211,\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!$5-\\205\\161\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\SI\\SYNo\\207\\201\\210\\212'\\EOT\\178^\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"T$\\223\\226\\NUL\\149\\&2~*\\160\\138\\148u\\rl\\223\\137un\\163\\143~\\213\\vih\\159\\178\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"FM\\ESC\\206\\130o\\224\\213-\\DC1\\158lX\\190\\151\\128\\153\\142\\CAN\\182\\179D\\174\\174Er\\245c\\\"\\137\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\162nP*\\150]K\\b_,\\208\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\ETBEd\\185\\GSR\\233\\ETB.~s\\SOV5\\227\\158`\\203\\233\\179\\v\\141\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\181(8z\\162\\241\\199Ta\\245,\\136\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\">\\215\\158\\&0,\\227\\174\\137\\212C\\144\\FS\\n\\187\\&8n?j'(\\225\\SO\\200#\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"28\\196\\169wX~$w`\\SYN\\168m4\\DLE\\222z\\167$\\128}\\132p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\235E\\247\\199\\170\\152\\ETB\\174\\250\\166,\\a\\214\\218/\\206+{\\133\\191[\\nI\\EOTD\\170\\242\\173\\255\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"d]\\130\\&0}\\254\\251\\233vm\\206\\189\\190 s\\225>\\240\\148\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\245wdz\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\213{\\194\\141j\\153\\188\\138f:x\\t\\ENQv\\187\\181\\241\\152V\\176\\&4q\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\GS\\227\\132\\129\\240nS\\252\\SUB\\174M\\246\\169\\EOT\\248\\176G\\148TQ2>\\153\\202\\f\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\178\\140\\221\\215[\\211\\160\\202\\210B\\239\\248\\SOH\\199\\248\\215\\DLE\\212\\194\\178{\\145\\222\\220E\\222\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\153\\208\\GS\\221L\\221G\\t\\SUB\\128W\\253\\219\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\227p@6~\\207\\213\\144\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\158\\240\\155\\ENQ\\244h\\150\\234\\167\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\v\\180$\\210G?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\181\\221\\245\\DLE\\145\\ESC\\161\\SO\\224\\171\\168\\234\\191\\165\\131&Vh#Wo\\153w\\STX\\132\\DC2\\217R\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\ETB \\185\\188n\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"}!\\152_A\\DC4\\175QN\\EOT0o\\240Ee\\v\\229\\132\\144\\143\\176\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\fp\\134\\155\\178J\\227\\188?\\f\\130\\181\\130\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"k\\234\\248A_\\r\\173\\189BR\\132\\206?\\202b\\DC3\\246~B\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\131\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\230\\ACK\\247\\171\\188\\190\\&4Q\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\234\\ETX\\200~:S\\SO\\DC4\\199\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\DLE\\144\\ETXf\\DEL\\149\\165\\185\\194\\129x\\185\\232\\131\\168\\ESC\\223T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172=\\242\\&4A\\163\\163C\\ETB\\202I\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\t$\\153\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\DLE\\202\\FS\\ACK\\DLEe5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\fT\\DC1\\199\\174\\206$B\\179\\134\\155\\140\\195=\\163\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\208\\DLE\\209\\221}v~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\RS\\209\\n\\189O\\152\\SYNrF.\\176\\187\\191\\179\\SUB\\145S7\\247\\219\\188\\172\\234\\244\\SUB\\202\\201\\238\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\230\\145\\&6~n[\\198`\\131@\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN|`*\\241\\225%\"","tag":"AbiBytesDynamic"},{"contents":"\">,\\235\\218\\164{\\186\\186\\152#\\242j\\162J\\251\\r\\236\\153\\255%\\174\\234\\178\\215b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206fO\\RS\\227\\194\\243\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\142e\\SUB\\212\\243\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\172pL\\181\\196\\175\\230C\\137Im\\143vaW\\ENQ\\212\\238\\174t\\230\\247\\216\\203a@\\n\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\174d\\133\\149\\195g\\181?\\213\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\232uh\\153U\\ETBTy\\ETXJ\\160\\145\\136\\153\\\\\\216\\153\\233\\247\\196\\238\\255@\\NUL\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\tkj\\155\\243\\aU\\aH\\STX\\157\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197ySn\\189\\174k\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHd9\\150\\157\\174\\DEL\\188Q6\\DC4\\SUB\\194\\232\\240>0\\DLE$v\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141(\\200*a\\246\\255\\212\\255\\234E|+i\\215\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\" \\249\\209\\ACKe\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\">R\\\"K~<2v\\219\\207\\133\\GS\\SOHXj86\\n\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"81576558129679676700853649928149099039205562205300995686032301420782444526077"],"tag":"AbiUInt"},{"contents":[256,"8779884733781329327913516086127576690876033462841675537192793741296107932636"],"tag":"AbiUInt"},{"contents":[256,"87235094520905626748147426721546008137613335721659386451009864642298980945671"],"tag":"AbiUInt"},{"contents":[256,"26958583181690236512518598781000560424545411396910575402051393581510130314836"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908083"],"tag":"AbiUInt"},{"contents":[256,"55160076167954472232778573538663329933872704079768537926160247785916570931184"],"tag":"AbiUInt"},{"contents":[256,"1525363995"],"tag":"AbiUInt"},{"contents":[256,"1535358493"],"tag":"AbiUInt"},{"contents":[256,"73191728924020413368051162729425648481383267012852676362205035626520823393877"],"tag":"AbiUInt"},{"contents":[256,"86779376041383657348109039223801756097464569429636780910840487085789642738940"],"tag":"AbiUInt"},{"contents":[256,"25518964894927926915031303504157504408331043200790821524669160010679364417023"],"tag":"AbiUInt"},{"contents":[256,"1531483007"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"69584697557688969370581296238862852314527527792264836288761853426221962768718"],"tag":"AbiUInt"},{"contents":[256,"37344874518534317523015080518815877606452022103426296928508053954077003848337"],"tag":"AbiUInt"},{"contents":[256,"95911502306823010105767962944318930699106312612771097822819151701810414580367"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639939"],"tag":"AbiUInt"},{"contents":[256,"1532600957"],"tag":"AbiUInt"},{"contents":[256,"37995282867820634257844347063853672203103132361804238934192961613683457398753"],"tag":"AbiUInt"},{"contents":[256,"1531054954"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781054"],"tag":"AbiUInt"},{"contents":[256,"32096465540196146905440136119398828167863548898973301537717598565394513243629"],"tag":"AbiUInt"},{"contents":[256,"1527778263"],"tag":"AbiUInt"},{"contents":[256,"1530968672"],"tag":"AbiUInt"},{"contents":[256,"5001"],"tag":"AbiUInt"},{"contents":[256,"64791870387250313471908924425245525918047062548617614994892254197912756670938"],"tag":"AbiUInt"},{"contents":[256,"1526582525"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1530935731"],"tag":"AbiUInt"},{"contents":[256,"244144794567993754069572655908480049944998444842718318417692644167551733413"],"tag":"AbiUInt"},{"contents":[256,"18311161051675875305116327863631636725069001938513251364680080542913591600124"],"tag":"AbiUInt"},{"contents":[256,"65861292889593735079379192849831361037791005166633168592583671546217269637439"],"tag":"AbiUInt"},{"contents":[256,"91031256919011112737778482498810749391315840162161975631362785209388516061849"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"96"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"691"],"tag":"AbiUInt"},{"contents":[256,"86619240789666690280227546567920480009109081791187138179710831627249177348889"],"tag":"AbiUInt"},{"contents":[256,"93441315833418839631023069330565645708900586530271198494728608276697737988833"],"tag":"AbiUInt"},{"contents":[256,"272458955744845442489253748605892344787"],"tag":"AbiUInt"},{"contents":[256,"272458955744845442489253748605892344787"],"tag":"AbiUInt"},{"contents":[256,"272458955744845442489253748605892344787"],"tag":"AbiUInt"},{"contents":[256,"272458955744845442489253748605892344787"],"tag":"AbiUInt"},{"contents":[256,"104425538712753409714916671428539172017652316844750729205033791737354375123340"],"tag":"AbiUInt"},{"contents":[256,"663"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266898"],"tag":"AbiUInt"},{"contents":[256,"102272766323969127540638513968782633306"],"tag":"AbiUInt"},{"contents":[256,"254"],"tag":"AbiUInt"},{"contents":[256,"1526295550"],"tag":"AbiUInt"},{"contents":[256,"13672544670815049432877568940099318014166148283247948606152277083199094197053"],"tag":"AbiUInt"},{"contents":[256,"80962113977723141729017571812324858379009882813682062053850914211413536071115"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"80365576027290907058913671061476915278859441601052544829991796532582393290693"],"tag":"AbiUInt"},{"contents":[256,"105"],"tag":"AbiUInt"},{"contents":[256,"9"],"tag":"AbiUInt"},{"contents":[256,"2996251336990840193443946707125038225839915634358110974960060786060336511465"],"tag":"AbiUInt"},{"contents":[256,"108079405526431857687628366372903971018925955179729671937578125089562599734695"],"tag":"AbiUInt"},{"contents":[256,"9999"],"tag":"AbiUInt"},{"contents":[256,"96955199065425995121846076515085812006537145924215032323223465979120084517397"],"tag":"AbiUInt"},{"contents":[256,"1529571442"],"tag":"AbiUInt"},{"contents":[256,"76961342446917055587188006894051157786744131776310378166562541096366565801324"],"tag":"AbiUInt"},{"contents":[256,"83423243645339028028534257992393947294855619012975979093999330745033915183340"],"tag":"AbiUInt"},{"contents":[256,"112193613688448108965183155327917365963101940876100198545291711418303937852330"],"tag":"AbiUInt"},{"contents":[256,"67389689548978583809700789182354684419796015156001767164690957630321036959434"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"57350753400314622842944312655889812905518303059939372656573533809406641099505"],"tag":"AbiUInt"},{"contents":[256,"1533691679"],"tag":"AbiUInt"},{"contents":[256,"39914125193387831283922841655207639497929345985883321408387129608710220827078"],"tag":"AbiUInt"},{"contents":[256,"1981726118499016892198642155870723133"],"tag":"AbiUInt"},{"contents":[256,"85185716404760831637375587"],"tag":"AbiUInt"},{"contents":[256,"82771176354973432771863377605352864287369947662055689244254684354672348892498"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"53477879031505724559823611399261067436710578330945243248955081977382990981528"],"tag":"AbiUInt"},{"contents":[256,"2235934265979495161819356006554159071349767427024630580930209025037551107844"],"tag":"AbiUInt"},{"contents":[256,"88496624767105889674153009236586640908920128676085742774276479692614411856983"],"tag":"AbiUInt"},{"contents":[256,"100000000"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639936"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a9f7","0x000000000000000000000000000000000000000000000000000000000000134e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea61","0x000000000000000000000000000000000000000000000000000000000000137f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafc","0x00000000000000000000000000000000000000000000000000000000000035d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d500","0x000000000000000000000000000000000000000000000000000000000000139f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"64"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003c647","0x0000000000000000000000000000000000000000000000000000000000000bd1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062333"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076a72","0x00000000000000000000000000000000000000000000000000000000000017f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"226"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000064","0x000000000000000000000000000000000000000000000000000000000000007f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"93073858044543393887395127075526349537866494445871627091037150521955317713472"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eace","0x0000000000000000000000000000000000000000000000000000000000001351"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021f82","0x00000000000000000000000000000000000000000000000000000000000000a4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":[256,"104183480605423748463692576606760877985974872379215866961414932360723763734362"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b2","0x000000000000000000000000000000000000000000000000000000000000c850"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"1527663698"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e6cd","0x00000000000000000000000000000000000000000000000000000000000065e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"59653465604586138188987853904120551417485114406155162112170737501642762326861"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000320f9","0x00000000000000000000000000000000000000000000000000000000000011af"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1535536723"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029a62","0x0000000000000000000000000000000000000000000000000000000000000dee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\195S\\224\\243'\\DC2\\r\\244\\205\\191\\130\\&8+Q\\SUB>S\\153t\\243\\182S06\\198}\\227\\143]>\\DLEQ\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d4c7","0x0000000000000000000000000000000000000000000000000000000000005d25"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":[256,"4999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000931f","0x000000000000000000000000000000000000000000000000000000000000a271"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"39"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x0000000000000000000000000000000000000000000000000000000000004121"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638938"],"tag":"AbiUInt"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088495","0x000000000000000000000000000000000000000000000000000000000000b052"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"26946293437732151189564168936328811430780600021579821308892161564195696145291"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bb","0x0000000000000000000000000000000000000000000000000000000000006a37"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"1534843680"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083c14","0x0000000000000000000000000000000000000000000000000000000000002f97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":[256,"45444771390197622997035498425810116881233279705448863643273542521865873681198"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ea","0x0000000000000000000000000000000000000000000000000000000000001910"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000061","0x000000000000000000000000000000000000000000000000000000000000c021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000019f5c","0x0000000000000000000000000000000000000000000000000000000000007c97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000018bb5","0x000000000000000000000000000000000000000000000000000000000000856e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"176"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"17621890671485045289696346578965863676105128456275750902009461382644"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fe","0x00000000000000000000000000000000000000000000000000000000000012b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"\\204\\173\\142\\159BJ\\227-\\188\\129\\153t\\245\\181\\128\\238\\233}\\STXYYd\\172\\135j\\t\\235\\228\\167Lh\\142\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000212f1","0x0000000000000000000000000000000000000000000000000000000000001934"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"115150675425521234860153613885874648963797491114008584034184628006188804695325"],"tag":"AbiUInt"},{"contents":[256,"1526604680"],"tag":"AbiUInt"},{"contents":[256,"18494033788769829433123151796781731463747039531205102950538133451365469081719"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5e","0x00000000000000000000000000000000000000000000000000000000000073db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"99313264964445450818767530205147985759335771047142722180987406849778621256773"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb04","0x0000000000000000000000000000000000000000000000000000000000000018"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030b3a","0x0000000000000000000000000000000000000000000000000000000000003f80"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027307","0x00000000000000000000000000000000000000000000000000000000000047fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"69221261118026471004784328420534545164485440302448890934186195473676839177928"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000235fe","0x000000000000000000000000000000000000000000000000000000000000a475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"5878623614256507594275124645717695763639139257454428157"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005fc50","0x000000000000000000000000000000000000000000000000000000000000004a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007364","0x0000000000000000000000000000000000000000000000000000000000001f76"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"64877703008915496248179349665374534578724866725101614796818417102325880941204"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010742","0x000000000000000000000000000000000000000000000000000000000000da2c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"275821883437894909615466205705456982759"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac1","0x0000000000000000000000000000000000000000000000000000000000003f82"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"71574431191578759627574498866058125515295887599483717021826726856728678636460"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092866","0x000000000000000000000000000000000000000000000000000000000000d4bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021f82","0x0000000000000000000000000000000000000000000000000000000000008d00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ea0","0x0000000000000000000000000000000000000000000000000000000000000069"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"48326604366432839943037814241274682626530128576976795761139463085216191011497"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e2","0x0000000000000000000000000000000000000000000000000000000000000ad5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf9","0x0000000000000000000000000000000000000000000000000000000000000234"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"114735853047688760384328288352804391669708011949698408437104512393702744347928"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000158d6","0x00000000000000000000000000000000000000000000000000000000000079ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"1525651195"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000067426","0x0000000000000000000000000000000000000000000000000000000000000019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"9442140351805774412846970"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042bb1","0x0000000000000000000000000000000000000000000000000000000000002f97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1527850450"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0d","0x0000000000000000000000000000000000000000000000000000000000007dc4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"1534543958"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e815","0x000000000000000000000000000000000000000000000000000000000000b18e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"113598915847990517294980734742281147355337229399113997227298764175923886005256"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x00000000000000000000000000000000000000000000000000000000000003fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]