[{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017aeb","0x000000000000000000000000000000000000000000000000000000000000000a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639884"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f99","0x0000000000000000000000000000000000000000000000000000000000001351"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000001959c30071a50cb73"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x000000000000000000000000000000000000000000000000000000000000101c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"11"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084eb9","0x0000000000000000000000000000000000000000000000000000000000002329"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"39383115963506331289234895726322401222300135495825691213463477265714858931232"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005408b","0x00000000000000000000000000000000000000000000000000000000000095b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf7","0x0000000000000000000000000000000000000000000000000000000000003fd8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0f","0x00000000000000000000000000000000000000000000000000000000000001f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"112510254704470905471604427991550193646206389167395854913992984925961666434335"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c4","0x000000000000000000000000000000000000000000000000000000000000d445"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"76287563345306351354037469448586293317872782421025052876506867904332170954839"],"tag":"AbiUInt"},{"contents":[256,"51759736896328881377038626674848060038622097115519335986063634467878058422820"],"tag":"AbiUInt"},{"contents":[256,"1533245793"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb24","0x00000000000000000000000000000000000000000000000000000000000013a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000741cb","0x0000000000000000000000000000000000000000000000000000000000007e4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"54039364183857686105243670942505642376011151158400319175639045516631393274611"],"tag":"AbiUInt"},{"contents":[256,"6050862586639974781085003026562390646272666331097773853307561910575491027441"],"tag":"AbiUInt"},{"contents":[256,"10429130171853519521608629805325568492902865321374899130470049464618979070216"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046c99","0x0000000000000000000000000000000000000000000000000000000000001352"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"38"],"tag":"AbiUInt"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4c","0x000000000000000000000000000000000000000000000000000000000000653f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"84"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59d","0x0000000000000000000000000000000000000000000000000000000000009e94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1527305047"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024b01","0x0000000000000000000000000000000000000000000000000000000000000f9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010978","0x0000000000000000000000000000000000000000000000000000000000002363"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d464","0x000000000000000000000000000000000000000000000000000000000000a475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":[8,"28"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000743bb","0x000000000000000000000000000000000000000000000000000000000000003f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea49","0x000000000000000000000000000000000000000000000000000000000000135f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce55","0x000000000000000000000000000000000000000000000000000000000000129e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"74956706713796931826205028212697446295147066679967350452579288787296977087016"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe6","0x0000000000000000000000000000000000000000000000000000000000005ef7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639037"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232b","0x0000000000000000000000000000000000000000000000000000000000000bd1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"6165874714217095671462937811948347435354689386329564305132795320011719441959"],"tag":"AbiUInt"},{"contents":[256,"108787398997530946768690186924057875387288385979128529613625004620473146401336"],"tag":"AbiUInt"},{"contents":[256,"71962407132385289028964804467668457937761641750350959155685804857340756517958"],"tag":"AbiUInt"},{"contents":[256,"118"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef47","0x0000000000000000000000000000000000000000000000000000000000000bd2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005851d","0x000000000000000000000000000000000000000000000000000000000000101e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"1999997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000610c7","0x000000000000000000000000000000000000000000000000000000000000e080"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000187a7","0x0000000000000000000000000000000000000000000000000000000000000031"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e10","0x0000000000000000000000000000000000000000000000000000000000000402"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb09","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"15625154829108838358118448844897931862046376797739620775227813468124242259624"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c034","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000928c3","0x0000000000000000000000000000000000000000000000000000000000008198"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054c9c","0x0000000000000000000000000000000000000000000000000000000000000064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"198"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"51677388551018705148871890000823546840202969593945293111183108276717092892447"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e0ae","0x000000000000000000000000000000000000000000000000000000000000755a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"24960634830665904581944154015366778916843660495538399160615320"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000021","0x0000000000000000000000000000000000000000000000000000000000000043"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"105424555850818798271641813610969959268189799596293707887143391216579024694250"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d52","0x00000000000000000000000000000000000000000000000000000000000096ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e5","0x000000000000000000000000000000000000000000000000000000000000bc25"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"114858209033505792895227373173013445565595826366088944996777664169844101671216"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075d98","0x0000000000000000000000000000000000000000000000000000000000009aa5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"65"],"tag":"AbiUInt"},{"contents":[8,"18"],"tag":"AbiUInt"},{"contents":[8,"149"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"155"],"tag":"AbiUInt"},{"contents":[8,"63"],"tag":"AbiUInt"},{"contents":[8,"115"],"tag":"AbiUInt"},{"contents":[8,"65"],"tag":"AbiUInt"},{"contents":[8,"99"],"tag":"AbiUInt"},{"contents":[8,"164"],"tag":"AbiUInt"},{"contents":[8,"182"],"tag":"AbiUInt"},{"contents":[8,"129"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"204"],"tag":"AbiUInt"},{"contents":[8,"199"],"tag":"AbiUInt"},{"contents":[8,"84"],"tag":"AbiUInt"},{"contents":[8,"29"],"tag":"AbiUInt"},{"contents":[8,"68"],"tag":"AbiUInt"},{"contents":[8,"14"],"tag":"AbiUInt"},{"contents":[8,"14"],"tag":"AbiUInt"},{"contents":[8,"195"],"tag":"AbiUInt"},{"contents":[8,"57"],"tag":"AbiUInt"},{"contents":[8,"96"],"tag":"AbiUInt"},{"contents":[8,"107"],"tag":"AbiUInt"},{"contents":[8,"208"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4a","0x00000000000000000000000000000000000000000000000000000000000013bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2f","0x0000000000000000000000000000000000000000000000000000000000000053"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"^rX\\144\\151YG\\153\\185;)Od\\184\\STXe\\141\\159\\\"\\188;\\161k\\157\\155\\213\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207*A*\\215W}\\226\\150\\244\\US\\199\\172'\\150\\129\\ESC\\rn\\DC4\\SYNi\\159\\USr\\ESC\\204\\143{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\238\\243\\155\\&3C\\f\\177b\\214\\&4Y\\223?\\246\\250?\\NAK=mq\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\193\\242\\161\\225\\242\\204\\164\\165\\212&\\134C\\149\\185\\182In[\\136\\171\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"em\\FS\\253\\157\\221\\191,E\\184p\\252\\196j\\229\\141\\&3\\254\\169\\165\\189\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\226&\\177\\174\\\\\\ESCb\\253\\192\\197\\131\\201\\fW\\133{\\254\\161\\201\\144J\\ne\\161\\137\\&4VY\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\&6\\254\\173RC\\192\\\"\\SUBO{\\170\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\164\\160\\239\\235\\242\\184M\\211M\\253\\GS;\\194<;\\ETX\\ETXE\\243<)\\211\\137\\131\\151Y\\SO\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RSV\\SOH\\191\\172^\\219\\SUB\\248\\SI\\ACKg$\\DEL1(\\SUB\\200\\ESC\\254\\143\\137{H\\192\\ENQV\\178\\208\\245f\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\196\\161\\139\\239\\EM~\\178\\164\\&9\\220\\135\\198\\197\\219\\169\\212\\229\\176P\"","tag":"AbiBytesDynamic"},{"contents":"\"cGC\\176\\&2\\229\\&1\\143\\243\\191\\200j\\160\\199*\\247\\164qH\\186e\\188r=\\157\\208\\225\\141\\251\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"<p;ch\\158lo9\\\\\\153\\&1[\\179\\209\\225\\169\\144XJ\\202\\SYN\\153\\224f\\218efv\\228.1\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKU\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\216\\204\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\181\\254\\210\\149\\166\\162+h\\193\\191\\ESC-&\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\ETBk_\\ESC3\\249\\175;v\\t\\192\\245\\216\\174n\\ESC\\171\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\233\\232\\132\\172s\\SO\\142[\\SO\\216 \\216\\179\\FS\\208j\\167\\212\\216\\199V\\206\\253\\SI\\172\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219F\\183d\\NUL\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\246w\\154\\\\!\\218\\193\\247V\\234w\\236\"","tag":"AbiBytesDynamic"},{"contents":"\",DdA]\\NAK=H\\236_\\214Y>\\218\\206\\135\\174\\250\\131\\ETXy]\\DEL\\194\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\247\\241\\163\\134\\196\\tN\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225KF\\225!z'X,w%r\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\191\\217\\NAK\\ni\\ACK\\\">O\\NAKp\\191\\ETB\\195!\\182\\215\\219C\\DC4+\\131.\\DC4\\129FF\\FSdK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\220\\222\\171\\DC1\\183&\\233Yu\\236,X]\\174F\\161\\226\\180\\144\\243\\179\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\180\\166G\\224\\166\\153\\201\\203\\&5\\251_\\166\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\233\\232\\132\\172s\\SO\\142[\\SO\\216 \\216\\179\\FS\\208j\\167\\212\\216\\199V\\206\\253\\SI\\172\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219F\\183d\\NUL\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\246w\\154\\\\!\\218\\193\\247V\\234w\\236\"","tag":"AbiBytesDynamic"},{"contents":"\",DdA]\\NAK=H\\236_\\214Y>\\218\\206\\135\\174\\250\\131\\ETXy]\\DEL\\194\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\247\\241\\163\\134\\196\\tN\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225KF\\225!z'X,w%r\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\191\\217\\NAK\\ni\\ACK\\\">O\\NAKp\\191\\ETB\\195!\\182\\215\\219C\\DC4+\\131.\\DC4\\129FF\\FSdK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\220\\222\\171\\DC1\\183&\\233Yu\\236,X]\\174F\\161\\226\\180\\144\\243\\179\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\180\\166G\\224\\166\\153\\201\\203\\&5\\251_\\166\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639833"],"tag":"AbiUInt"},{"contents":[256,"983"],"tag":"AbiUInt"},{"contents":[256,"93428770661826221725573350116430515051201331491643360921855379959914345322638"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639933"],"tag":"AbiUInt"},{"contents":[256,"42316421359143436160463385956411923976830536458405264667925717735948884171425"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266892"],"tag":"AbiUInt"},{"contents":[256,"96239813565044964677037131811232862348562454848830572207103608134973633754019"],"tag":"AbiUInt"},{"contents":[256,"28713009965674744725032450832186997224985318185349579070277822523817493052985"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1313373041"],"tag":"AbiUInt"},{"contents":[256,"1528466637"],"tag":"AbiUInt"},{"contents":[256,"106959547985218501520619251904590056256953433410739357831617697744612383365801"],"tag":"AbiUInt"},{"contents":[256,"44681507162274372309454652504169800997479266674208541862794052060719612341386"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639797"],"tag":"AbiUInt"},{"contents":[256,"5002"],"tag":"AbiUInt"},{"contents":[256,"86398"],"tag":"AbiUInt"},{"contents":[256,"34226622554377426960480643539948293211319605025"],"tag":"AbiUInt"},{"contents":[256,"18448125678826427583638974096919125466475310452262386534308213419290584539377"],"tag":"AbiUInt"},{"contents":[256,"755"],"tag":"AbiUInt"},{"contents":[256,"7580082041025632985520611911026077835132301854247521695155505864560886685409"],"tag":"AbiUInt"},{"contents":[256,"1526943643"],"tag":"AbiUInt"},{"contents":[256,"51070657853238516329453549801721237042658717798470319765638231978664259821107"],"tag":"AbiUInt"},{"contents":[256,"6566820728185103084727956749126080025179279640552999862138956102057130284010"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639816"],"tag":"AbiUInt"},{"contents":[256,"9"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"412733"],"tag":"AbiUInt"},{"contents":[256,"107423874936065688023591379491953846748347618927427659995362825712170425265876"],"tag":"AbiUInt"},{"contents":[256,"58183011781197481418103432953310412592561674648973782052078381902385800598791"],"tag":"AbiUInt"},{"contents":[256,"26541146975545658370796264584844487574607941634969881829954566374527943631029"],"tag":"AbiUInt"},{"contents":[256,"12662881016204906121203287366840104626201679699924789869610373707389714756880"],"tag":"AbiUInt"},{"contents":[256,"68782239437923884972236567557929708708736605782269866087204068190041615289408"],"tag":"AbiUInt"},{"contents":[256,"47633727064446217890775513689540028297021880448655698412006757288862933122195"],"tag":"AbiUInt"},{"contents":[256,"86398"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950334"],"tag":"AbiUInt"},{"contents":[256,"1536130547"],"tag":"AbiUInt"},{"contents":[256,"1532048242"],"tag":"AbiUInt"},{"contents":[256,"81450942832936752659880468591872882215168862914407335949280485996533434856355"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781057"],"tag":"AbiUInt"},{"contents":[256,"192522065860145081407017404650107590580830019464613263141"],"tag":"AbiUInt"},{"contents":[256,"54013482151813025108774572176583986331415057978312892284757364714226843391677"],"tag":"AbiUInt"},{"contents":[256,"404"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639813"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"71885893361474888244405450287362202337291687536725920242932883337387115925029"],"tag":"AbiUInt"},{"contents":[256,"29741170757219665167446083392198961833925305710375145235806175009122999863692"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"34718641923036756503590641069333057303672615577515236300524183193122713192618"],"tag":"AbiUInt"},{"contents":[256,"4370001"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609598"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"138427578364110986134786179941238989078"],"tag":"AbiUInt"},{"contents":[256,"58"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417341"],"tag":"AbiUInt"},{"contents":[256,"37343951125604139721229430600524251700156309454962876348514154333578679859437"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"4369999"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428163"],"tag":"AbiUInt"},{"contents":[256,"108206569939530611394111254372668705801856109921777752063294027624428660575847"],"tag":"AbiUInt"},{"contents":[256,"49363848673655612138167575969429561939707943741862298823583154811173970312592"],"tag":"AbiUInt"},{"contents":[256,"24815292384520674556126392771893924218981938832390196210688177478311939998947"],"tag":"AbiUInt"},{"contents":[256,"20266560294347483006300818170644683740014614222405275135798312493169724774115"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"60576834529242899371800989490644226210811168545169072631834437192870262518577"],"tag":"AbiUInt"},{"contents":[256,"78396216764038734629202267647570468027952967062731866431937965713995563892730"],"tag":"AbiUInt"},{"contents":[256,"53526792309976363374798952364776485478434961751262144295069050766248479810421"],"tag":"AbiUInt"},{"contents":[256,"22927438833850007894628565768323041711331401216329661336025086162152656119699"],"tag":"AbiUInt"},{"contents":[256,"103848399533351469421340943573851272989199556072999374162146793598829347543965"],"tag":"AbiUInt"},{"contents":[256,"47714649425994328899652519025044301388081193447068350960168676804789721484703"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747167"],"tag":"AbiUInt"},{"contents":[256,"1313373040"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731856"],"tag":"AbiUInt"},{"contents":[256,"499"],"tag":"AbiUInt"},{"contents":[256,"83787862271254064535215461150275623348351582734735224704454626060985821363003"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"},{"contents":[256,"1001"],"tag":"AbiUInt"},{"contents":[256,"122"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892769"],"tag":"AbiUInt"},{"contents":[256,"503"],"tag":"AbiUInt"},{"contents":[256,"315858877746044328233090239001698708658"],"tag":"AbiUInt"},{"contents":[256,"20477670390374888135097710399811793919119651170606984099909452032315550492129"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030333"],"tag":"AbiUInt"},{"contents":[256,"30636801003979997692743675873373011061034196302378583840688516550363626515608"],"tag":"AbiUInt"},{"contents":[256,"112996831902202363973403173681777666228539269781881231142794168365792639090926"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639819"],"tag":"AbiUInt"},{"contents":[256,"564"],"tag":"AbiUInt"},{"contents":[256,"33348463633393088885223918410292115970143509988923798136926404753681817923202"],"tag":"AbiUInt"},{"contents":[256,"67187956889611711111821479179060024348519216973313352723287260936148975848450"],"tag":"AbiUInt"},{"contents":[256,"5479455961763621745760823922209062848230983250524047105039015370735299066754"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639933"],"tag":"AbiUInt"},{"contents":[256,"90832321423385487037783949568965828009854898530619932093379798225271837243549"],"tag":"AbiUInt"},{"contents":[256,"70835170182456019668026544443444536516260018004326193478188165692391910757369"],"tag":"AbiUInt"},{"contents":[256,"3602"],"tag":"AbiUInt"},{"contents":[256,"14952177801571860314443294146322857485258588825964941311613385570667504328751"],"tag":"AbiUInt"},{"contents":[256,"96296923190431752461360481958452551348723574442840546678999991133910927772819"],"tag":"AbiUInt"},{"contents":[256,"101529700352747526288465534692928359558628069336499551089654399026598429915593"],"tag":"AbiUInt"},{"contents":[256,"234"],"tag":"AbiUInt"},{"contents":[256,"22616649352520366305649388657369622262661598686308048689940530907843401445387"],"tag":"AbiUInt"},{"contents":[256,"34014963178545584720156405892650068740951335508115819720998165749095479065176"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639037"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132608"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639803"],"tag":"AbiUInt"},{"contents":[256,"92278113523413915396869881622154775524630048585864394094350461891125397067966"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000576ad","0x000000000000000000000000000000000000000000000000000000000000137e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"\"\\\\\\211\\156?\\167\\249{\\188\\214\\n\\214J\\170\"","tag":"AbiString"},{"contents":"\"hook.................execution.state\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"58"],"tag":"AbiUInt"},{"contents":[256,"959"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"1532048242"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639927"],"tag":"AbiUInt"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000cf82","0x000000000000000000000000000000000000000000000000000000000000d0cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"\"!!! previewDeposit returns the correct amount compard to executing a deposit\"","tag":"AbiString"},{"contents":"\"!!! ERC7540-4: redeem with more than max shoud revert\"","tag":"AbiString"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035139"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639816"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"1531289014"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001388","0x000000000000000000000000000000000000000000000000000000000000231e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"901"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b5a0","0x0000000000000000000000000000000000000000000000000000000000007217"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":[256,"1530190277"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000041","0x000000000000000000000000000000000000000000000000000000000000c856"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"2662676160607501044191584614042710"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634936"],"tag":"AbiUInt"},{"contents":[256,"9496591900236448569587777002777145579156669867565503274572425881337212676651"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"70078083510432465243115983786312399492902072816494819215136519707508342745501"],"tag":"AbiUInt"},{"contents":[256,"95372356769802694226145847634007847073204187166365798165818806341840926415298"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639801"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea46","0x0000000000000000000000000000000000000000000000000000000000002363"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c2","0x0000000000000000000000000000000000000000000000000000000000000063"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002710","0x000000000000000000000000000000000000000000000000000000000000b449"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"34740208203733462838356323883504351648909496160800774466099195195421388887722"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"29198687023352490428622176569698122378747046367364654767132329599726209926434"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c434","0x0000000000000000000000000000000000000000000000000000000000006ddb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000066","0x000000000000000000000000000000000000000000000000000000000000458d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdfa","0x00000000000000000000000000000000000000000000000000000000000049ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xED1785b65896022A79B55D3EbaFD6Ab7C6560e92","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"?Ym\\FS\\200\\239r\\220\\f\\v\\205\\f\\b\\236\\194z1\\140\\182\\190\\&4\\192\\242\\168\\215\\&13\\139y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\n\\219\\162\\225\\154\\145\\ESC\\224 \\213\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\225\\DC2-wP\\131\\224Vp\\DEL4\\147K\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\218\\190\\212\\231\\175\\189\\254A\\233h\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"TLV\\247\\173\\199t\\255[\\170\\184W\\178\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\143\\134\\137u\\245\\132\\165\\252\\ETXnc\\NUL\\199p\\220W\\208\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\&6t\\224NU\\169\\152\\DC1\\226\\197'~\\206\\139\\203\\246\\223(r\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\181\\187Q\\227T\\232[P\\143\\186\\163soSaX\\DC2\\240{l\\129\\ETXu\\201\\SYN\\144\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\251T\\ACK\\205\\203\\f\\163\\DC3^th\\144\\130\\193_C+\\209\\&6|;\\\\\\200P\\203\\DEL\\138\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\183\\\\\\254\\254g\\208\\209~3\\165\\159'y\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\252\\201\\234\\&2\\129n \\DC2\\131T\\133Ll\\178\\190fti\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255`$\\ENQB\\254\\222+2/\\225\\142\\DC4\\DEL\\152;|\\162Rm\\253\\225T\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"+<v@\\ACK8\\179\\142\\133\\v\\250\\206\\137S\\249~e}yg\\138\\209)So\\234\\228\\188\\EM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129<\\RS\\167\\ESC\\176\\255\\DC1^=\\232\\ETBp0k\\182>x\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\197pn\\151\\147\\SOl\\199O\\191\\237(\\177\\a\\142\\233\\156x\\195\\245\\153L\\b\\163\\149\\236\\ETB\\219\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\164h[\\242\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\239|\\182\\ESCC\\165\\t\\235\\134\\185\\191\\EOT\\STXRK\\133\\194\\fr\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"Mx\\246\\236\\227YN:\\ESC\\208V\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"Al\\160\\183\\165\\231[^\\SI+\\253\\252\\200\\160\\199\\&7\\132\\145(\"","tag":"AbiBytesDynamic"},{"contents":"\"hW\\148\\175{9}BW\\146f\\181m\\204M\\226\\DC2`\\212\\246L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\v\\146\\ETB\\b\\197\\153\\233U\\211dNz\\228\\RS\\136\\190\\SOH\\233\\v\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\131\\138\\254Z3\\253`)\\148>\\SOH&\\STX\\186<\\220\\211\\137\\DC2\\238\\154\\ETX\\207\\ETX\\198\\136\\139X\\219\\148L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176-\\173\\162\\183.\\EMo}\\aA\\152;\\211\\233\\231\\171(\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\129\\a\\156\\226\\161n\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\156y\\SUB\\210\\186\\139p\\163\\171+\\216\\186lR\\STXshb\\ETB\\SOHb\\229p\\t\\a\\246\\232\\171Z\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206nv0\\EOTZ\\241N\\248\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157_g\\196bbXQ\\131\\192_\\222\\196\\194A6\\184\\192*\\150)e%\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"iN\\210\\231\\&1\\254\\169\\n\\189\\bD\\237\\tU:T\\168]l*\\NAK\\212\\203\\195\\DC3\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\173J\\195\\222\\176}\\221\\203\\240\\a\\244C\\212\\218F\\157#\\154\\229\\f8\\181\\172C\\213\\245~0sj\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"Rt\\233@B&GH\\244\\242\\v+\\137S\\152\\173\\150\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"S.\\209\\171\\228\\147] \\189]!\\DC3\\251\\a\\194\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\247H\\213\\230\\150\\245\\213ieh\\128\\234vj\\216\\EM;\\200h\\243\\242Q\\137'\\SOH\\t\\230\\180\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"M<\\148\\236\\226;BJe\\ETX\\228\\197\\187\\144\\233(\\178\\191*eU`\\186\\215\\131V\\233\\170,\\DC1m\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149t\\198\\200@\\156\\253\\r\\214 Q\\186\\151\\&7\\212\\201d\\DC2\\198\\191\"","tag":"AbiBytesDynamic"},{"contents":"\",\\150\\216\\221\\199\\170_\\237\\209C\\209B\\174\\162u\\179\\&1\\249\\n\\228\\137\\235\\198\\205\\222B^\"","tag":"AbiBytesDynamic"},{"contents":"\"O+j\\188\\187U\\DC2\\129s\\227c\\147\\209\\t\\163G\\227\\150\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"*G/&\\191\\ETB=X#W=\\232E\\171\\167\\&3\\144\\169\\254\\&8YwC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\130\\226\\bO\\SO\\182I\\220\\134w\\190P\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\DC2}t\\242j\\217\\166(\\200\\142\\215\\239\\247\\FSX\\199\\206l\\233$H<d\\185\\198\\194/j\\SUB\\184\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\":]\\187\\248\\212\\149\\182];\\130m\\240#k\\136\\233l\\226y\\US\\235;Vc\\EM\\167v\\227\\v\\EOT\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\206\\&9\\191D2W`\\240\\&6\\231\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\232\\bm\\187\\202\\163\\200\\230Y\\175D\\246\\136\\132\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"M\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Bf\\186\\225U\\133\\244\\&0\\217\\161T\\SYN\\215G(\\165j\\196\\136g\\223C\\223\\DC4\\195\\233\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190O\\CAN3\\202\\225]\\DEL\\RS\\157\\v\\177\\240\\ENQ\\164o'1=v\\225,e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234RMMqB\\197\\156\\222l\\220Y\\141\\SO\\232\\182$\\150\\150\\142\\DC2\\151\\DC2)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"y=\\179\\169+\\141\\225\\159\\189\\224\\249\\155}\\171:\\248\\251R\\153\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\DC2)\\222\\ACK\\142\\242\\133\\136\\255\\GS\\ENQ\\RS\\204\\212\\213\\227\\STX\\210h\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\159\\139\\ENQ\\194\\208l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\173\\NUL!7\\DLEj\\SOH\\206\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\167\\234\\254\\140@\\212\\150\\154\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173}\\221&\\163\\139\\243\\208\\GS{\\236\\&3\\DLE$\\NUL\\202\\237\\245[\\133\\t\\ESC\\237c\\CAN\\179\\134\\221\\241\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\")\\250\\245\\199\\160#\\137\\247\\193\\166\\240\\187\\bu@\\166\\DLEs\\142\\232\\RS'\\SO)\\174s)C\\161\\180\\DC3\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129[\\197\\179$?\\228P\\195H\\187}U\\DC3Q\\239\\211a\\162\\182\\SOH\\229\\RS\\EOT\\146fmN\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\161&\\186=\\b\\130\\232\\136\\EMFb\\131n\\210\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208-\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\150\\253\\237\\185\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"zG2\\145w\\EOTH\\178Kx\\145T\\246\\196B\\EOT\\195o$\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\DLEg\\226\\240~E\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\172\\254\\tl\\182#)\\246PK\\US\\161\\215\\224\\DC1j\\EM\\234\\ETB\\204\\&4h\\149\\157\\224AM\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\199\\175e\\170\\246\\241\\255^\\135\\b\\215{\\255\\130\\204\\149+f\\187\\243\\173\\231d\\NUL\\187\\ACK\\168\\EM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198K]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\DLEp\\196O\\239\\133\\141\\139\\ETXd.\\249\\129\\251\\136\\DC4\\131o\\223VCr\\192x\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\245\\181\\183\\160\\251\\246\\b\\248\\175\\EMk`\\SI\\215o|\\236\\206\\144*\\t\\184\\&2\\158\\SUB4\\187\\190Xb\"","tag":"AbiBytesDynamic"},{"contents":"\"e4\\vSO\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"HWN\\176{\\183\\206\\SI\\237n\\222\\236\\223S\\204\\204c\\ACK\\v\\148g\\136\\211\\176\\243\\153IMo\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\157\\SO\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\228\\ETB\\226\\133c\\SUB\\EOTY[\\170\\247\\CAN\\142\\148\\NAKd\\172O\\161\\&0A \\177@ By\\234\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"<t\\244\\abEL\\153\\233d\\200(\\ETB6\\241\\192'\\164\\128f\\FS\\188\\201u\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248)pa\\239i\\130\\236{^\\143\\200\\147>\\224\\226<=y\"","tag":"AbiBytesDynamic"},{"contents":"\";(\\150+U\\138\\166%&\\161<\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203B\\195\\163J\\a\\128=\\208\\236x\\176g<>\\248P\\242\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\242\\174\\180E\\237R\\SYN\\181!\\197Rvv\\138\\171\\242j\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\&6sB\\253\\CAN\\234\\244PRV\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141[\\167HE\\142s\\206\\&5\\228\\239\\200X\\255}3I\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\STX\\146\\186\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\STX\\223\\&4'l\\196\\134\\218\\196h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250fu\\US\\156\\227\\150`6nb\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\168 \\191\\236\\218\\192t\\174\\211\\199d\\215?9\\151\\242\\177>\\SYN9\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\246\\230E\\DC2xHO\\132A\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\tv\\242\\DC4\\216W:.\\138\\200\\239\\RS\\203\\216T\\204\\209\\DELw\\131|fY\\215\\245\\232\\130\\129\\246N(\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\152\\147\\216\\141\\253`\\232qm\\168c\\162#\\255\\128\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\210\\GSC1\\180\\220\\DC1g?\\v\\143v\\213\\NUL)\\243\\205\\USF\\180\\DC3\\169\\201w\\229\\170O\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\225\\191\\149\\238{\\DEL\\227$\\217\\134\\196<\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"#K=\\174\\SOh\\224\\171\\133\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\v&\\163<\\163\\202\\250\\191\\232\\238|\\248\\&5\\241\\173\\CAN\\US`\\147kr*\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\160 \\NAK\\243n\\217>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\US\\233nY\\145\\241\\ETX\\144\\DC4\\157\\178lh\\235.{N\\SOz\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129a\\129\"","tag":"AbiBytesDynamic"},{"contents":"\", \\169j\\230\\230\\&3\\GS\\129\\203U\\142\\239m\\232i\\147\\178/\\169\\ACK.\\177\\228i\\213\\148\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"'O\\211B\\246\\208\\252\\164\\145T+\\139\\252\\NAK\\175'\\233\\132\\138\\ENQ\\NAK*\\157\\133\\242\\NULPu\\223\\245\\157\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\224\\159\\207UTz\\ETX\\197\\195\\238\\CANo\\249\\193d\\ESCSN\\184H4~\\222\\154H6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\b\\204\\168b\\SOH\\194\\178B*\\132\\166\\EOT<\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177X\\DC4(\\206\\240\\144\\136\\\"\\214\\198vr\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\nP\\240\\135\\DC1\\219\\&8\\176\\133'\\242w\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\169\\172\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213f\\131\\233\\&8l<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141QoIc\\STXz%s:\\SIQ}\\199\\192\\251 8\\155\\222\\ETX\\221\\213\\DC1\\146\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131N\\148\\245\\248\\195\\177\\168\\141\\172\\244\\STX?\\196\\234\\DC4\\181\\191\\172\\168\\STX\\184\\193f3\\203\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228h\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\160\\233\\204}H\\217A?\\177*\\252\\&3d\\239\\EM\\137\\212\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\141\\134\\138\\236\\160T\\186\\166\\141T50~\\r\\194P\\144mE\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187@K} \\vs\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\201\\190\\EM\\SUB\\165\\199\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\137\\ESC\\153\\SI\\165\\FS!\\178\\DC4\\EOT\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200UD.\\194\\ENQ\\192\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"x>\\155\\251Hr.e\\144u\\148\\218\\153\\143\\165v\\SYN9\\219+)b\\RSJ\"","tag":"AbiBytesDynamic"},{"contents":"\"i@?\\ETX\\142=\\248\\155\\DLE\\202#Y\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\f\\128x\\144\\150\\247\\157\\230\\251\\246Y\\219\\233D(\\247\\NULm>\\177\\192l\\207\\145Wi`\\nF\\147\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\213j\\rm\\172\\156\\SYN\\204\\206\\144\\231f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\207\\218H.c\\141\\196P\\192\\ETB\\151\\174\\252\\161B\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221s\\DC1\\206\\\"\\248\\200_\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\SI?\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218n\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\DLE\\FS\\CAN\\203^5\\178=}\\221\\153f#:>\\212\\225\\250\\t\\229N\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\215\\132e|\\204?\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\SYN\\136?\\174W\\190\\199\\237\\DC3\\195Z\\239\\146\\215\\225\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194D{\\175F\\229\\\\(\\214g\\221\\229\\228\\159$`\\188UD\\225\\ESC\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"L\\215\\151\\244%\\216+\\210F\\239k/b\\RS\\221SU\\145\\ENQ\\255\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\227n4\\EM\\210\\173\\220\\183\\EM&d\\150\\245\\134w\\179 .\\128;j\\216h\\165\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170}\\EM\\246\\129\\230\\249\\188C\\FS\\163\\&0\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\DC4M=\\162\\by@Y\\DC3\\248\\233MZp\\ENQ\\153x\\252\\SUBk\\233m^\\231\\230w\\r\\US\\241\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251m\\145J\\SYN\\130\\ACK\\216\\212\\156[\\131\\202Eq\\t\\226;\\210\\240\\145\\253\\172\\210\\ACK\\SUB\\178\\192\\140\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\ESC7\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212t\\229o\\153\\218\\CAN\\140F\\165\\225\\203\\NUL\\157\\210\\245\\DLE\\195\\146\\ETX\\163<\\\\t[d\\v\\205\\ETX\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"a4\\254\\214/\\203F\\172D\\167V#k\\178\\181\\240\\&0\\208\\208f\\DEL1\\128^L\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\175\\240D\\\\\\145svD\\248T\\152RV0\\175B\\197\\129[A\\166\\234\\FS\\175\\227\\NAK\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\178\\204\\&8\\154\\242\\150\\207\\170&\\143\\156\\164\\150\\230*y\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\253\\209\\212u\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\243\\200=\\129\\203\\SI\\214Rt\\DEL\\ETX9\\213R\\212\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208c\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"T.\\236W\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\228\\ETB\\149\\SUBU\\187\\200\\198\\ENQ\\RS\\234\\238\\249\\237\\&8\\b%1\\128ay\\GS\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252zj\\213V\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\216\\DC3\\GSQ86\\189\\180ERi\\219L\\168`\\166\\&8=x8\\210\\158\\&3\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\182\\209>\\241\\174n\\178\\146\\164\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\186\\251N\\239\\158k\\130\\r\\EOTWA\\215\\202<B\\ENQ\\154\\NUL\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTo8\\215\\143\\139\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"n\\201y\\246\\133\\137\\DC4}\\a\\180\\175\\193\\&3\\186\\151\\235\\SUBnO\\129}m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190E\\r\\208\\252'\\174b\\253\\DC3<\\227\\ETB\\229\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\ACK\\183z\\225[\\US\\f\\234\\189J\\nm\\245Y\\189J1H\\137+\\GS8\\EMl)\\154\\251\\215\\149\\&7E\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"h4\\169:w\\fJ\\210\\175n\\149r\\165\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\&6\\133\\214J\\133\\172Gt\"","tag":"AbiBytesDynamic"},{"contents":"\":+|\\n\\DLE\\152\\135\\182\\173v\\231\\137CM\\DC4JG2\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"_er\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235kR4\\240P\\216@\\177\\FSj\\DC1\\212\\&1\\186\\179.\"","tag":"AbiBytesDynamic"},{"contents":"\"q;\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\141\\197I0\\SI\\176\\a\\219\\149&!Y\\177{.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\bU\\130\\230\\197z{\\EM\\161\\193\\208D\\243EnKw\\FS\\134\\&8\\188\\159\\241U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\DLEP<\\\"?\\207i\\138\\234\\220\\NAK\\f\\181x\\ESC\\203\\140`~B\\154\\187\\nn\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\160\\252,\\156#\\179O\\SO%\\159;\\STX\\169\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\237\\233X\\136\\236\\240\\t\\n\\131k\\194\\204\\186\\189\\SUB2{\\177\\209b\\ETB\\217\\165\\223\\EM\\GS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\150\\131\\t**E\\v\\161\\136\\&8\\138L\\a}\"","tag":"AbiBytesDynamic"},{"contents":"\"HD\\158c\\252\\170\\142\\&5\\145\\207\\223\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\DEL\\a\\205\\152`\\153\\147\\STX7\\250\\188\\173*\\181 Ok\\223\\250\\250D~\\NAK\\245\\&4)w\\\\K\\ETX\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214.eg\\b\\182\\253[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\226\\146\\224\\134@\\190\\DC2\\180\\181\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\DC2\\r\\175m,\\236\\aOC:\\vf\\ETX\\183\\163\\\"\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183[g\\SI\\201\\187\\186\\244\\169\\SUBd\\154\\167\\207\\132\\156\\162\\\\\\230F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186C\\SO\\158\\b\\179\\252\\&3\\233\\187\\149e(\\188\\187\\239\\151\\238\\&1\\DEL\\209;U\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\157\\212\\ACK\\191\\149\\&6\\204j\\240\\158\\139\\STX9\\132}*\\161w\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\")B~\\191\\236[O=<\\179\\ETB\\180X\\213\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233M\\214\\156\\223a$\\218Gz\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\163\\136\\194\\128\\172\\193i\\236\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK|\\212S\\213\\251\\NAKlt\\189\\201LA.\\163\\192\\202\\223}\\162\\198\\221h\\208\\ENQ\\157\\243\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\199g\\208c\\191\\178\\197\\225\\154l\\ENQ\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\234j:X\\225\\182\\DC2#\\243\\233ww7!\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\135e\\236\\206I\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\&6\\227\\132\\227B\\227w\\151\\144\\253\\187\\180\\249\\156\\177\\254cQ\\157\\130\\CAN\\US>\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\166\\\\\\EMn\\202Pe\\255>\\SYN\\173\\170X\\183\\242\\149z\\n\\254:x\\188LL\\161\\228\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\158\\187\\ETXklv\\150\\210\\194\\238\\161\\176\\242\\206LT\\239@x\\210\\153\\211\\143F\\201\\SI\\134\\&0\\219\\a\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\238\\219k\\DC4h\\192\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\177\\140\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227[Kk\\204)]\\GS>[\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\198\\&6\\214\\EM_\\131~\\174\\243\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"$R`\\243\\DEL\\207x\\168\\235/\\177\\ETB\\185\\t\\191\\&4\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\157\\220`a\\193?\\233Xp:\\EMk0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\224~,K\\EM\\170F\\149\\247\\243F]\\230\\212\\136\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213+\\178}\\ETBpLv\\246$2\\140\\216\\129\\DEL\\151AX\\152i;\\158\\129\\&2T0\\163\\DC1\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\159\\NAK\\DC1c\\255\\&7\\SYN7K\\128s\\193\\206v\\217\\136\\SYN\\249\\US@\\229\\221\\164KF\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\f\\243\\230'\\248_\\151\\201\\151,D^\\133\\NAK}\\196\\209\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\169\\ACK\\252\\nu?s\\234\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\STXTt\\253\\235\\\\\\SOH\\192\\167w\\215\\ETX\\172s\\DC2\\186\\235\\195\\225\\170\\ESC(\"","tag":"AbiBytesDynamic"},{"contents":"\"{%\\129&H\\165\\248\\245\\191AM\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\v\\DC1\\238\\RS\\177>\\196]\\165\\220\\164\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\\"\\173\\189,\\132\\196\\237\\SI(R\\129\\152\\NAK\\170\\244\\180&\\163~\\a\\166\\156\\218\\DC1r\\182\\157\\173O\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"X;\\205D'*\\213\\156\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"{_\\195f\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156<\\200\\&5\\154\\153\\206ro\\FSx*uT\\189K\\179\\v{\\181\\b\\183\\ETX#\\240\"","tag":"AbiBytesDynamic"},{"contents":"\":S_p\\247WE\\199\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\">\\218v=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\170\\148\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243?\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\188jG\\\\L\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233V\\RSy$\\252\\188M.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\228\\135\\ETX\\FS\\182\\139M7\\150\\FS\\145\\223\\189\\DC1\\186\\SYNRP\\248\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\162\\225V6`\\247I\\209\\DLE\\f\\137O\\145\\ESC\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192|\\CAN9\\CAN)}(\\221\\160\\157\\156B\\168\\&7\\162I\\150\\&5a\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\ESCWF\\141\\206\\206[\\203\\DEL\\136\\DC2[\\169\\254\\128\\177\\220#\\211\\149\\234.\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\132\\216e\\233+1\\142\\243{\\227\\189\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\238\\225\\137\\EOT\\216\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\141\\216\\&6\\NAK\\231z\\151*{\\170;\\246\\179vqZ0Y\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225r\\169\\238\\t\\226Y\\SYN\\220\\NUL\\249\\t\\165\\193E\\154\\225\\247\\187\\160Q\\SYN\\CAN\\NAK\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\176}u\\v\\165\\249\\173\\216\\DC2\\165^?\\142c\\a\\170\\174\\179\\192\\237\\&8&\\218\\165l\\152w\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\182\\228'\\238\\142d\\167\\251\\146p\\241\\201\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241}\\202G\\FSg\\DEL\\ENQva\\181\\ETB\\161`\\178:\\213\\134rT4\\EOT\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206/\\154SV\\201\\146\\181\\ETX\\188\\250Ph\\191\\214\\147\\171\\&8\\162\\ETX2\\205C\\SO9\\185\\RS\\ACK)\\GS\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\159\\203\\&2\\b\\230\\&3E\\200{\\DC2\\137\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"=\\243\\226\\ACKl\\247\\219vX\\231\\150\\133\\DC1N=\\141\\224\\DELxj\\173\\175w\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"5~\\180RE\\EM\\244\\228,\\163ma\\177\\135\\179\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\157\\RS\\135\\SOH\\164\\153\\240\\132\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"?:U\\239\\131OA\\n\\NAKL\\n/\\228Hj&>\\165\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160#]\\154\\241g1\\247O}\\223{\\221X\\250Z\\198\\250\\231?\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\SYN\\235\\SIu\\GSg\\151~U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217&\\SYN\\244e\\196\\SO\\\\]p\\190!\\SOH\\209u\\206\\251\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\255\\214\\202\\SUB\\241\\216|C\\154\\DLE\\249\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191*\\RSWdu\\ETB\\222\\160\\\\\\tu\\SI\\145\\227\\174\\186\\145\\SYN8\\218\\255\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\133 \"","tag":"AbiBytesDynamic"},{"contents":"\"_\\242\\&6\\181\\163\\f\\206\\206g\\171T89\\ETXX\\240\\171\\v\\185\\DC2\\190\\128\\164\\169\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\139\\244\\219\\209~\\ENQ\\146\\r\\154]P]\\DC4\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\a\\156\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241F\\v\\226\\129b~i\\242\\n\\160\\US{E\\ENQ\\220\\&8\\128nq\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251}\\188\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\252\\156n\\FS\\234>\\195\\&0 Z+Sn\\216\\144h]\\237\\ETXtK\\FS\\198\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\EMq\\234\\231\\229\\200\\254\\136\\134\\167t\\208\\197\\172q\\ETX`\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\226\\141\\224ey\\224\\&5\\202\\237\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\225\\\"\\FSy8\\151\\146\\EOT\\243A\\233\\254\\139\\209\\231Te\\193\\207\\159_\\204'\\GS\\RS\\138\\194\\171o\\151\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\163Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\203}\\RSm\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\225\\190\\186c\\140}\\216\\223\\209q\\171\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\233lP[\\210L\\164\\247\\142.\\128\\244\\223Q\\210 \\136\\208S\\234v\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\ETX-P\\163\\&0=V~L\\159\\223\\176\\190\\230\\207\\&6o\\195\\162W \\246\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"!e\\187G<,\\233\\166\\135\\DLE\\251\\190#:\\177\\SYN\\CANXt\\210bq)\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\131j@\\229\\a\\143WeJ\\187\\251;u\\ETX\\183\\NUL\\236ie\\216\\189\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238Gw\\159\\167\\168\\236\\\"vG\\134\\FS\\194\\180\\224\\SOOr\\147\\229\\235g`\\216/U\\214S\\DC3\\SUB\\190\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252H(\\158\\137\\197?\\133\\US\\241\\192C\\178\\ETX\\173\\239g\\237\\242\\255o\\254\\228\\SIl\\CAN\\202\\a\\173\\US\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKa\\131\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\227\\161\\&5*\\EOT\\193\\220\\139\\244P\\241\\202\\250\\216VY\\219\\202\\190\\NUL\\159\\168c\\166\\175A\\239\\&6m\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251/\\139\\DC1b\\DC4\\DC2\\137\\ETBa\\b3\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"[I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\250\\244\\163\\vem\\149h\\fn\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\251\\215\\NUL\\217\\DC2k\\218\\249\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\DC1\\193\\148Fq\\177.1sP\\176\\198\\139\\133\\171,\\240\\226\\233RM\\248\\133\\199\\212R^\\234\\SOH\\198\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181}\\203E\\\\\\230^2a\\207\\147\\140\\206\\197\\208\\148\\SOH/\\ETB\\188\\155*\\204\\DC2\\SO\\173U\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\&4Q\\DEL\\222\\DLE\\204\\207\\145r\\206\\223\\aO\\163\\STX\\201I\\157\\250\\187\\217\\185]%\\170<\\171\\226T\\DC1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"'\\249=\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\149\\&42\\219\\156n7\\240\\&7\\227;\\EOT8\\171\\153\\204\\244\\DLE\\250=9\\180>\\243\\193\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\154~+\\NAK@\\143\\US\\129\\185\\240\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\208\\196\\132\\SUB\\195y74\\FS\\215\\156\\DC26\\146\\f\\CAN6\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204y\\DC4\\ENQ%\\174R\\245\\203_\\197\\GS\\148\\STX\\ESC\\243\\ENQ\\191M\\176\\194|\\a\\b]\\246]\\231\\150\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"44993478069282841815364006924863040572551613707270294219309043469913577843719"],"tag":"AbiUInt"},{"contents":[256,"229"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132606"],"tag":"AbiUInt"},{"contents":[256,"50437645397110969484901532131544559010943646661232254349383139802260914303437"],"tag":"AbiUInt"},{"contents":[256,"65590595313334873095469038149467254266674131932121657335736356549712904303298"],"tag":"AbiUInt"},{"contents":[256,"65590595313334873095469038149467254266674131932121657335736356549712904303298"],"tag":"AbiUInt"},{"contents":[256,"65590595313334873095469038149467254266674131932121657335736356549712904303298"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088322"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"60241169270122522004860552079155921203222194521340888844008926479381222027087"],"tag":"AbiUInt"},{"contents":[256,"66"],"tag":"AbiUInt"},{"contents":[256,"111235377339101860393003448344020255796988128782152745632892318690372136680"],"tag":"AbiUInt"},{"contents":[256,"13796042750595508691235538678890995336134458797340491334038914849853046474541"],"tag":"AbiUInt"},{"contents":[256,"68917608746817244186414810015640351307357562794563098393914464939225480238123"],"tag":"AbiUInt"},{"contents":[256,"53392823624847287028018648635153152004448800484692194253529800901103264797460"],"tag":"AbiUInt"},{"contents":[256,"10000000000000000000000000000000000000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"40682097312943929310033084570895489827241041669053193396953854286421869932313"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551617"],"tag":"AbiUInt"},{"contents":[256,"1528655629"],"tag":"AbiUInt"},{"contents":[256,"689"],"tag":"AbiUInt"},{"contents":[256,"111353638850482168041852107331328664799351331831968424849997834871082006114741"],"tag":"AbiUInt"},{"contents":[256,"75243633827398390903166394468969931407779008639345340748154707081273161023834"],"tag":"AbiUInt"},{"contents":[256,"600"],"tag":"AbiUInt"},{"contents":[256,"600"],"tag":"AbiUInt"},{"contents":[256,"600"],"tag":"AbiUInt"},{"contents":[256,"600"],"tag":"AbiUInt"},{"contents":[256,"94"],"tag":"AbiUInt"},{"contents":[256,"4002"],"tag":"AbiUInt"},{"contents":[256,"52198394987821632134798349404269434967140850703009916312872349863796347701996"],"tag":"AbiUInt"},{"contents":[256,"89699998384927939925090853466909333665598999012827863289231118866758891250755"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"88984058890560918282271814304217452045658794525097690919376111400963473942488"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"104181233091201607147774310823041697330541662424419050116555486036809420361729"],"tag":"AbiUInt"},{"contents":[256,"6"],"tag":"AbiUInt"},{"contents":[256,"34898198715998190365737330592242226898440242001472828619325821862115409870877"],"tag":"AbiUInt"},{"contents":[256,"1534411854"],"tag":"AbiUInt"},{"contents":[256,"181"],"tag":"AbiUInt"},{"contents":[256,"1526715712"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639843"],"tag":"AbiUInt"},{"contents":[256,"729"],"tag":"AbiUInt"},{"contents":[256,"1999"],"tag":"AbiUInt"},{"contents":[256,"107746694736895858126040855279832391974222939968657563784818085480374681021739"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"80981165314594025421916304542394160168534311293149611694816456030723961947117"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"19424620413243855248433"],"tag":"AbiUInt"},{"contents":[256,"107045973323595014284328307683411939226565985522143282026571366599593201520771"],"tag":"AbiUInt"},{"contents":[256,"55708646366798391425484633147450315371925639667186623841604528975555638760897"],"tag":"AbiUInt"},{"contents":[256,"18238501543454677481051448551425182717695690094554861714477392536149265778254"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2c","0x0000000000000000000000000000000000000000000000000000000000000019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042655","0x00000000000000000000000000000000000000000000000000000000000046f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea49","0x0000000000000000000000000000000000000000000000000000000000001327"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x00000000000000000000000000000000000000000000000000000000000047fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"2000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000050bb2","0x0000000000000000000000000000000000000000000000000000000000000088"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"61"],"tag":"AbiUInt"},{"contents":[256,"97102345659359573190845678411517587058608583063555901061257564017471229255405"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012a","0x000000000000000000000000000000000000000000000000000000000000dcbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"604800"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bce","0x0000000000000000000000000000000000000000000000000000000000000fb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\r\\SYN\\DC4*{\\ENQ\\133\\149\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"V\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\165\\&3]\\159\\141\\143\\143\\&8>\\132\\235\"","tag":"AbiBytesDynamic"},{"contents":"\";$\\218\\173\\173\\150\\NAK\\254E$=n=\\ENQ\\159a\\176\\195\\133R\\209\\190h\\EM\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\rx\\RS\\STX\\142\\133\\236+:\\140\\239\\208\\SI\\230\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\134\\134\\179\\214\\150\\155\\221\\b\\184p\\214\\246\\131\\164\\DC3\\DC19\\189\\141\\173\\184\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\DC4\\245\\219\\136\\227\\&9?\\144\\215\\SUBi\\219$\\rZ\\158\\131\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639797"],"tag":"AbiUInt"},{"contents":[256,"112135466410502524138712185699287342716123369313246518144918212604175334620289"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639843"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639904"],"tag":"AbiUInt"},{"contents":[256,"9388177848904726504539635135655870080315"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639886"],"tag":"AbiUInt"},{"contents":[256,"34027025718138649865047253316238046302087221875623134870305209027755813510565"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639929"],"tag":"AbiUInt"},{"contents":[256,"113968122007346218306466886883545509161739638310164645885221998835480958999634"],"tag":"AbiUInt"},{"contents":[256,"104811996906963489761786989247490439385480867771212754891303449678246041143734"],"tag":"AbiUInt"},{"contents":[256,"489"],"tag":"AbiUInt"},{"contents":[256,"16960011978613146752797469287414671469563672368835709143748657904679399865602"],"tag":"AbiUInt"},{"contents":[256,"2445285029539438173672986866103158390525408814537203802949691664873164724860"],"tag":"AbiUInt"},{"contents":[256,"18070077361534704309831002134775848570519673400561633799577081545109172682"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"contents":32,"tag":"AbiBytesType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\248\\132\\202\\155\\222\\240\\209\\231\\219#fE\\192\\135\\221\\144\\132gl'w\\ETX\\187F\\137\\138\\227;\\166\\NAKP6\""],"tag":"AbiBytes"},{"contents":[32,"\"\\165\\204e$mU\\255/Y.\\ESC\\SO\\\"\\SI\\222\\app\\223\\t\\207\\190\\128\\RS\\DC4P3\\EOTq\\169\\172\\STX\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\153\\&0\\223\\RS\\137\\SOH\\CAN\\138\\FSo\\190l\\211\\n\\219\\NAK\\132\\145\\FS\\208\\179\\210c\\134\\202\\211\\159\\243\\165\\224\\137p\""],"tag":"AbiBytes"},{"contents":[32,"\"hook.account.context\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"F\\ETB1\\180\\255eB\\200\\DLE\\176C\\223w\\136\\184G\\186cp\\155\\205\\t\\171\\226C\\236sE\\131\\244)\\192\""],"tag":"AbiBytes"},{"contents":[32,"\"HIGH_PPS_DEVIATION\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"Supply is not zero\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"2~\\231pS\\171\\251\\r\\209\\198\\223q\\159\\183^\\SI\\189\\199J\\212\\220&|\\194Y\\209\\246\\189=F`O\""],"tag":"AbiBytes"},{"contents":[32,"\"Canary invariant\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"Undefined panic code\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"GAS_MANAGER_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"D\\164-O\\202\\182\\160\\DC1\\141v\\130\\GS\\130\\173\\209\\&1 \\229\\204\\156\\217\\\\B%\\154R|\\141e/{\\133\""],"tag":"AbiBytes"},{"contents":[32,"\"\\SI\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"toAddress_outOfBounds\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"SUPER_VAULT_AGGREGATOR\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"vault shares are insolvent\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"Invalid token\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"iq\\204Wkr\\171p\\221%>?e\\160&\\f0\\212\\191fhatj\\197\\SOH\\DC1\\188\\ENQz\\188~\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"Not authorized\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\231\\209C'\\193j\\255\\220\\183\\240\\&6P\\228\\144\\192B\\128M=}\\201\\EOT\\177:.\\151\\188RJ\\211\\206H\""],"tag":"AbiBytes"},{"contents":[32,"\"GAS_QUOTE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\219\\f\\187\\177\\226\\221\\203\\DC2\\150\\183\\192\\218\\242\\&6\\143M|\\236\\249\\250\\\"\\156{[\\250\\163\\234\\227\\160\\223\\155\\150\""],"tag":"AbiBytes"},{"contents":[32,"\"SuperVault\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\248.\\251\\DEL=\\r3\\SIK\\240\\235\\226\\DC4\\200\\157k/\\214[v\\FS\\162\\DEL\\144\\167q\\213\\CAN\\v\\179\\128\\156\""],"tag":"AbiBytes"},{"contents":[32,"\"\\254\\247GgpJ\\142R+\\ETB\\CAN\\137\\DC2\\193A\\142\\US\\150N\\237;\\217!h\\149Pxq\\173A\\211\\248\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"Not authorized\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\231\\209C'\\193j\\255\\220\\183\\240\\&6P\\228\\144\\192B\\128M=}\\201\\EOT\\177:.\\151\\188RJ\\211\\206H\""],"tag":"AbiBytes"},{"contents":[32,"\"GAS_QUOTE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\219\\f\\187\\177\\226\\221\\203\\DC2\\150\\183\\192\\218\\242\\&6\\143M|\\236\\249\\250\\\"\\156{[\\250\\163\\234\\227\\160\\223\\155\\150\""],"tag":"AbiBytes"},{"contents":[32,"\"SuperVault\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\248.\\251\\DEL=\\r3\\SIK\\240\\235\\226\\DC4\\200\\157k/\\214[v\\FS\\162\\DEL\\144\\167q\\213\\CAN\\v\\179\\128\\156\""],"tag":"AbiBytes"},{"contents":[32,"\"\\254\\247GgpJ\\142R+\\ETB\\CAN\\137\\DC2\\193A\\142\\US\\150N\\237;\\217!h\\149Pxq\\173A\\211\\248\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"maxWithdrawAsShares != maxRedeem\""],"tag":"AbiBytes"},{"contents":[32,"\"GAS_QUOTE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\157\\168;\\143a`\\182\\244]\\161\\220\\a\\ETB^\\GSax1\\153\\220q\\223\\133:\\DC2\\184%\\155\\&6\\f\\210M\""],"tag":"AbiBytes"},{"contents":[32,"\"\\132\\t\\224\\EOT\\198R\\222\\NAK\\244)\\234z\\214\\SOH\\145AAi\\RSX\\132W\\NUL{\\v\\172\\157\\242\\135=;k\""],"tag":"AbiBytes"},{"contents":[32,"\"\\144\\239\\EOTk\\169eV\\215\\&1\\231t7-\\ESC\\241y\\250U\\248\\224\\243\\137\\a\\EOT\\211e\\t;\\218\\204\\250Y\""],"tag":"AbiBytes"},{"contents":[32,"\"j\\187\\USz\\RSu\\135\\159$\\NAK1\\165\\FS\\198S\\253\\210\\&6#0\\252_\\241{\\SYNvOq\\133\\GS\\247\\190\""],"tag":"AbiBytes"},{"contents":[32,"\"UP\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"SY5115\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"HIGH_PPS_DISPERSION\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"MCT\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"X\\183\\170\\STXNU6\\SOH\\181\\173z\\231+\\129eO\\a}\\198\\237\\179\\192w\\SOH/sD\\253\\EM\\159(\\188\""],"tag":"AbiBytes"},{"contents":[32,"\"Not authorized\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\GS\\205\\r\\150\\136\\164\\247\\159\\EOT\\213<\\163\\243\\152=\\211\\236\\207;\\155\\v\\EOT\\226?\\SUBK\\251PU\\168\\228c\""],"tag":"AbiBytes"},{"contents":[32,"\"Invalid token\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"`\\233\\208\\r\\NULR\\139\\219E\\188\\153\\NUL\\180n\\132f\\212n\\153\\156\\220\\248f+\\179\\ETX\\146M\\n\\ETB\\ESC:\""],"tag":"AbiBytes"},{"contents":[32,"\"\\160\\222\\190bR\\230\\137N\\145ci\\231<\\151\\DC2\\213\\STX\\157\\162b\\199\\ETX\\DEL\\190\\150k*S1\\201a&\""],"tag":"AbiBytes"},{"contents":[32,"\"\\250\\212|\\211\\DC1[\\221\\131cA\\143\\\\y!\\ETB\\220\\170E\\143\\203@\\141\\226\\250\\209\\174\\189\\210\\144\\203&\\185\""],"tag":"AbiBytes"},{"contents":[32,"\"!!! canary assertion\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"$\\160\\&42\\NAK\\229\\220\\&8\\181\\155;\\205\\\\\\SYN]\\229\\188\\NAK,OJ\\194\\f\\160t\\220\\227\\254\\143\\t\\196\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"3$\\171|\\141\\209\\132.\\147}VJ]xg\\171\\RSb\\154\\191:U\\172t\\163\\216$;;\\234f8\""],"tag":"AbiBytes"},{"contents":[32,"\"GWEI_QUOTE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"JO\\209\\GS\\133OR\\230S\\EOT\\154\\183\\EOT\\EOT\\152\\210w/\\250\\157$\\202\\&3t\\230\\DC3O\\250\\130\\178\\131\\134\""],"tag":"AbiBytes"},{"contents":[32,"\"\\146\\SOH\\168\\142\\US\\171\\DC4\\155\\237u;0P\\174\\247\\166\\194-y\\235\\224\\ETXp\\212\\200o\\198>\\219\\208\\DC3j\""],"tag":"AbiBytes"},{"contents":[32,"\"Invalid request\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\134\\239\\&4\\DC14\\158\\164\\&3\\177\\192\\200\\183?\\tG%\\233\\&7\\139\\178\\f|l$nR\\178\\243\\NAK\\225\\SI\\160\""],"tag":"AbiBytes"},{"contents":[32,"\"\\201\\DC1\\222\\STX3\\191\\240& \\238q\\229`(\\246\\&3~\\184C\\148\\RS\\228rn\\ACKN\\ETXZ*%\\181\\237\""],"tag":"AbiBytes"},{"contents":[32,"\"\\224\\230ZKH@\\194\\182BKJ\\219\\150\\NUL$S\\176\\DC1\\ETB\\140\\159\\&2?\\235\\STXnWz&\\204\\160\\197\""],"tag":"AbiBytes"},{"contents":[32,"\"load(address,bytes32)\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"MockERC4626Tester\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\ESC\\189X\\168\\142\\133,\\173\\197,\\EM\\SI\\239\\201\\&73(\\192 \\NUL\\ESC\\165\\224k\\137JG\\194\\184\\224\\212$\""],"tag":"AbiBytes"},{"contents":[32,"\"Invalid token\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"Canary invariant\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"%\\163\\185\\ETB2\\247\\177\\227\\235\\DC2\\200w1\\244:2\\136\\153b\\201\\249\\138j\\225:|\\163\\140S\\166\\151\\163\""],"tag":"AbiBytes"},{"contents":[32,"\"\\US\\247V5Lc\\199\\v\\192\\155\\214g\\217\\181Uz\\222\\b\\128+\\159\\181\\r\\t\\DC2\\220\\196\\172|*\\170\\184\""],"tag":"AbiBytes"},{"contents":[32,"\"\\160\\170\\248P:t\\132\\195G\\172\\170\\227\\165\\243\\172\\146}c~\\246\\225IR\\210\\NUL\\128i\\NAK\\228+\\GS5\""],"tag":"AbiBytes"},{"contents":[32,"\"}\\n*9\\166^\\DC3/\\181\\&0q\\162+\\173+^\\185\\204\\137\\217=\\ESCJ\\141,\\t\\163\\DEL\\186\\n\\144\\&2\""],"tag":"AbiBytes"},{"contents":[32,"\"Supply is not zero\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\203\\214+\\166\\133H\\172\\148\\183x`\\213\\244\\b#k\\168x\\NAK\\234\\189\\&3\\133\\DC2\\176\\&9\\151\\238\\158\\192\\250T\""],"tag":"AbiBytes"},{"contents":[32,"\"!!! canary assertion\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"UP\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"Q\\188\\154?m\\130\\179-X\\GS\\243\\172E\\168\\242~\\GS\\ETB]\\NAK\\211\\240\\232\\202\\180\\DC3\\204\\224s\\n\\DC3\\DEL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\238@\\170\\228\\153\\200\\207\\SOH.\\227\\DLE\\244\\202j\\167\\ENQ<n\\t<\\SOH)\\vP\\215u\\137\\190cs\\rP\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"contents":32,"tag":"AbiBytesType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\226\\251\\EOT\\DEL\\221\\225\\149e\\223\\194\\144\\201U\\216+\\140\\244\\243\\207X?\\196\\222\\129\\&9\\r\\169\\159\\179\\200\\n\\244\""],"tag":"AbiBytes"},{"contents":[32,"\"\\183WD;h\\193\\183\\172\\153\\210-\\240\\161\\DC2\\190\\215Z6\\153\\NAK)\\234!\\177\\234\\229\\224]\\223\\251e\\219\""],"tag":"AbiBytes"},{"contents":[32,"\"\\212$-\\174!\\206Tu\\ETX\\ACK/+3\\196\\195\\216\\233$ \\222\\213\\175\\140\\br\\252\\165A\\191\\133p\\241\""],"tag":"AbiBytes"},{"contents":[32,"\"hook.account.context\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"V>f\\227\\164}\\202\\SOH\\205\\236]\\235\\233\\DELcQS\\NAKq\\144\\211M\\225\\&5:\\172\\152\\241R\\DEL\\CAN.\""],"tag":"AbiBytes"},{"contents":[32,"\"\\159\\140\\177[;\\166\\228q\\144\\169E\\SI\\130PH\\201\\177\\180n\\226\\149\\244H l\\DC2b\\251\\DC3\\151~\\212\""],"tag":"AbiBytes"},{"contents":[32,"\"Error(string)\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\SI\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"hook.account.context\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"Supply is not zero\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\161\\161\\232\\166s\\163\\199\\227\\&1Z\\151\\210:/\\235\\210\\144-\\235\\242\\206\\204w\\250\\170\\232N*\\137+\\234 \""],"tag":"AbiBytes"},{"contents":[32,"\"hook.execution.state\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"T|\\b\\176\\238@\\226\\NAK:S\\248\\&4=\\168\\234\\210\\STXp\\EM.\\252\\217\\201\\176\\149\\138q\\183\\&4\\144\\&1=\""],"tag":"AbiBytes"},{"contents":[32,"\"\\233\\171u\\129\\134q\\165\\232\\187\\215\\SUB8\\241I\\252\\150<\\ETB\\183\\143u-\\215?\\192\\215\\253c\\204&\\247\\DLE\""],"tag":"AbiBytes"},{"contents":[32,"\"<\\220\\197\\ACK>ex\\196\\&1\\153\\225\\SO\\224\\227\\144Z\\174;\\192LC\\184\\193\\218\\146\\178\\196C\\241\\ETB%m\""],"tag":"AbiBytes"},{"contents":[32,"\"load(address,bytes32)\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\ESC15k\\134\\255\\SYN\\212$!\\151\\DC2\\182t\\164\\137M\\213\\217\\&3BU\\SO\\212\\223\\SOH5\\243\\148\\205\\173-\""],"tag":"AbiBytes"},{"contents":[32,"\"hook.account.context\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"INVALID_REDEEM_CLAIM()\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\230w\\DC2\\DC3_\\165\\211\\246-\\139\\162\\SOw\\140\\200\\228\\r\\154\\v\\209\\196\\254-\\168(~\\204Y\\200;(\\223\""],"tag":"AbiBytes"},{"contents":[32,"\"PERMIT_DEADLINE_EXPIRED\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"load(address,bytes32)\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"!!! canary assertion\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"INVALID_REDEEM_CLAIM()\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"J\\144:97(\\200\\147\\239\\171l/\\193\\174\\CANs{'\\242H\\179Add\\222d/\\221\\143\\NUL1x\""],"tag":"AbiBytes"},{"contents":[32,"\"Tv2%\\190\\208\\180>.3\\176Q\\228\\EM\\DLE\\\"Z\\ACKw1~*\\EM:b\\SOH\\246m\\196\\134\\220f\""],"tag":"AbiBytes"},{"contents":[32,"\"UP\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"j\\154\\218\\239\\186\\170P\\196\\250\\229;\\DC1\\227B\\226F\\251=\\204\\248o\\206y\\ETB\\202\\143\\164\\235>\\166d3\""],"tag":"AbiBytes"},{"contents":[32,"\"!!! canary assertion\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"~\\217\\226E\\161T\\199\\247q\\\"\\RS\\208\\173(\\173\\190\\162\\215\\SYN\\130sm8Su\\203tp\\SOH\\162\\FS6\""],"tag":"AbiBytes"},{"contents":[32,"\"WT\\170 6yqy\\225\\193\\189\\&7\\ACK[(\\215\\202\\230\\248\\197\\223\\EM\\203G\\177%X\\193\\161\\131e\\202\""],"tag":"AbiBytes"},{"contents":[32,"\"SUPER_ORACLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\ACK\\137g\\175oC\\169\\222M\\201!\\250\\245\\130\\165\\220\\t' \\142L+\\239&Ag$\\161\\207\\201\\197\\225\""],"tag":"AbiBytes"},{"contents":[32,"\"\\130\\244\\217\\208V\\n\\240\\191>v_\\220\\149\\SYNRA\\203\\219\\&6\\SOH\\196j\\166ysQ\\227h\\206\\231\\140\\245\""],"tag":"AbiBytes"},{"contents":[32,"\"DI\\223O\\143\\243\\157\\136\\173\\210\\239\\227\\SYN\\NAK*\\244\\221m\\US]~FZ\\247\\161\\SIb\\168\\144f\\234\\143\""],"tag":"AbiBytes"},{"contents":[32,"\"\\ACK\\223\\255yH^4;\\153\\176\\232\\212\\&7SY\\209\\252x\\ENQ\\222\\219\\254\\233\\251\\217\\195[\\227\\177\\&5\\205\\SOH\""],"tag":"AbiBytes"},{"contents":[32,"\"\\136r\\246\\228\\CAN\\128\\227\\CAN\\132\\&1%\\154\\159\\183\\133\\162i\\238n\\t\\FS\\162\\195G\\ESCW\\249G\\194CB\\145\""],"tag":"AbiBytes"},{"contents":[32,"\"\\177\\147\\&7$#@\\154?\\143\\r\\\\$ \\203\\a\\235{\\203x\\210\\165\\223\\197\\216\\206\\158\\178\\&0\\171wb\\ETX\""],"tag":"AbiBytes"},{"contents":[32,"\"\\148Z\\\\\\157v\\213~:\\233&\\144\\140\\190\\195\\219\\240\\176\\158\\185\\190!\\182\\248P\\232\\ve_*\\236\\185$\""],"tag":"AbiBytes"},{"contents":[32,"\"SY5115\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"}\\v\\156\\&9,\\253\\231%9\\193\\137\\CANUa\\189%\\NUL\\216\\139=\\128PrbL!D\\183\\139\\ACK\\210\\229\""],"tag":"AbiBytes"},{"contents":[32,"\"\\243P4\\DLE\\237\\226\\188V\\223A\\189\\193an\\GS\\NAKE\\SI\\\\g\\CAN\\144\\161#l\\SI;1~\\177I\\190\""],"tag":"AbiBytes"},{"contents":[32,"\"Canary invariant\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"Invalid request\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"X}\\138:\\196\\143 \\ETB\\RS\\214\\SUB\\172\\155\\128\\213f[\\149\\171\\137\\149r\\164E\\t\\211\\144\\&8\\r\\238\\199(\""],"tag":"AbiBytes"},{"contents":[32,"\"MCT\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\129\\&2\\255U\\237\\133,\\DC1\\170=lyx\\239\\191i\\129\\176\\243u\\221\\&2\\231\\173@\\SYN\\182\\NUL\\219\\174\\ACK>\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\230T=\\193\\227m\\137\\245X%,\\185fibR?\\137\\247`kO\\DC1\\188\\143\\f&\\243\\135\\205\\154F\""],"tag":"AbiBytes"},{"contents":[32,"\"\\129\\DEL\\202\\225\\150\\182\\SOHm\\144\\&0\\191\\r\\194\\247\\240<\\219\\US2\\241l\\195\\137\\&9\\FSe\\196\\213.\\158k\\166\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"U\\131\\148\\164\\168[\\226h5@r\\206 h\\211\\177p{t\\ACK+\\152O}'9I\\181j\\233{\\SOH\""],"tag":"AbiBytes"},{"contents":[32,"\"Invalid percentage\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\191\\250\\213d\\243\\189X\\t$\\213\\204:tj3\\213Z\\DC1\\195g\\EM\\208-I\\221=\\r\\142\\187\\208\\132\\DC4\""],"tag":"AbiBytes"},{"contents":[32,"\"\\207Y\\204\\207\\145\\174G\\v|\\131\\200\\143\\155\\179g}\\a\\188\\134n\\132R\\233\\223\\&7A`\\239oT\\252^\""],"tag":"AbiBytes"},{"contents":[32,"\"\\SUBC\\194\\&1\\185\\250\\199\\135,\\139t,-\\175v\\144\\198\\244e\\163\\186}\\155\\158\\162\\147\\ACK\\US6(\\171\\179\""],"tag":"AbiBytes"},{"contents":[32,"\"Canary invariant\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"WR\\203\\218\\t\\198ig\\244Z\\199\\189\\169\\181\\FS\\251\\194\\SI\\162r\\f\\227vAS\\SOO\\214=\\213\\143V\""],"tag":"AbiBytes"},{"contents":[32,"\"\\133\\210\\DC2\\188\\208\\254b\\155\\EOT\\\\\\DLE\\244\\130\\218\\222\\SYN\\172\\146hn\\195\\198\\250\\170\\209\\242b@D\\156\\194\\245\""],"tag":"AbiBytes"},{"contents":[32,"\"Supply is not zero\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\153\\171\\197\\188\\185\\247\\149\\158}\\136^\\152\\235\\159\\201\\239\\ACK\\204m\\DEL\\255\\128u\\148\\ENQ\\139\\128S\\r\\129\\240\\DLE\""],"tag":"AbiBytes"},{"contents":[32,"\"\\208fQ\\239\\196\\184\\ETX\\169\\165\\141\\196L\\DC2\\250\\183`\\243\\170\\173\\RS\\129\\233\\DC4\\153\\&8mF\\NUL\\209\\242v\\136\""],"tag":"AbiBytes"},{"contents":[32,"\"!!! canary assertion\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"A normal Revert\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\210\\160\\178\\174fY\\220\\244\\251\\147Z\\252\\174\\\"L\\254\\184\\ESC\\152\\EOT:\\198\\163\\GS\\233t5{\\145\\237\\210\\221\""],"tag":"AbiBytes"},{"contents":[32,"\"SUPER_ORACLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\217\\255b\\188\\152\\232\\170\\&4\\rFX\\182\\160|tY\\235\\193\\141z\\173\\213\\NAK\\237\\248\\243\\EOT\\147\\186\\NAK\\143~\""],"tag":"AbiBytes"},{"contents":[32,"\"BANK_MANAGER_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"MANAGER_TAKEOVERS_FROZEN()\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"vault shares are insolvent\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\173\\DC1\\ENQ\\152\\219II/\\175 \\195a\\207qR\\EOT1\\154\\241\\157Y\\184\\240\\201\\191U\\135o\\ETB\\207z6\""],"tag":"AbiBytes"},{"contents":[32,"\"M7540\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\" \\168S\\207\\DLE,\\235b\\n\\164\\SOH7\\133Pu\\DC3\\238\\ENQ\\254\\foF\\154\\173vx\\163\\159_\\190\\251\\EM\""],"tag":"AbiBytes"},{"contents":[32,"\"\\178\\193\\tg{%\\134.\\EM\\253\\ENQT\\174\\145\\213\\DEL\\226Dc\\177s\\239\\163}&\\213\\219\\162\\152f\\bK\""],"tag":"AbiBytes"},{"contents":[32,"\"Supply is not zero\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\DC2g@\\218\\SUB\\218\\a,\\148\\&7X\\252S\\234d\\ETX\\154=Q\\155\\170\\183u\\DC3\\SOHO\\SO\\145\\132\\133\\137O\""],"tag":"AbiBytes"},{"contents":[32,"\"INVALID_REDEEM_CLAIM()\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\EM\\SOH\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\246+Mg\\138\\154\\131\\US\\132O\\208\\174\\231]8\\167\\152\\DC2\\139,d\\157{\\140\\vA\\182\\162\\223v\\218d\""],"tag":"AbiBytes"},{"contents":[32,"\"4\\128\\\"W\\b\\EM\\160y\\160k5\\167w2:\\144\\189o*\\211\\147Wd\\242\\250\\156\\180/:\\130-\\255\""],"tag":"AbiBytes"},{"contents":[32,"\"\\222\\193\\239u\\186\\219-\\180\\t\\DC2=\\239\\134\\n\\255bU\\208\\230\\248\\&4O\\218/\\fa\\128M6\\EM\\DEL\\237\""],"tag":"AbiBytes"},{"contents":[32,"\"\\190#ge\\225z\\241\\142\\146J\\184^\\250\\NUL}\\144\\252}\\197\\168\\188l5Z%\\157in'?\\ACK\\197\""],"tag":"AbiBytes"},{"contents":[32,"\"Supply is not zero\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"Canary invariant\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"load(address,bytes32)\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"HIGH_PPS_DEVIATION\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"GUARDIAN_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\182\\204\\SO\\228\\243\\209K\\169\\158\\228`\\163*^3\\167\\164\\220\\193\\239\\186\\218\\151\\135\\&5\\194`cQa\\ETX^\""],"tag":"AbiBytes"},{"contents":[32,"\"\\222\\233\\148\\EM\\140Z\\STX\\132\\250\\EM\\200'\\246\\249\\n\\249x\\225\\208L\\238H}\\157\\147\\EOT\\215WJ\\138\\231\\202\""],"tag":"AbiBytes"},{"contents":[32,"\"\\174^h3\\232\\250l\\246\\b)T\\DLE\\147\\168\\214\\SUB\\208\\189x\\184\\251\\185hI\\241<\\182`%^y\\165\""],"tag":"AbiBytes"},{"contents":[32,"\"\\242\\128y\\178\\198X\\140\\RS\\237\\243j0x\\144j\\DC1rX\\140\\247N\\vex\\224J\\217\\237fU\\DC2\\ENQ\""],"tag":"AbiBytes"},{"contents":[32,"\"wi3V\\236\\241\\ESC\\234[\\167\\173yE9\\244\\240\\145\\208\\ACK]j\\184\\218#\\175Xr\\141\\208C\\129l\""],"tag":"AbiBytes"},{"contents":[32,"\"\\EM\\SOH\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\149\\210.\\194p\\209\\EOT\\SOHZ\\250\\178\\145\\216\\146\\ESC\\161\\SIZ\\v\\253\\SOR\\r\\SUB_>\\210\\167X\\176\\136\\170\""],"tag":"AbiBytes"},{"contents":[32,"\"stateless\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"GAS_QUOTE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\247n\\169\\132\\194\\180wm\\203\\172+QpT\\226\\SI9W\\179o\\203\\129|\\203W\\r\\197\\232\\150\\215\\153p\""],"tag":"AbiBytes"},{"contents":[32,"\"TST\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"e\\207fR\\250\\147\\201\\252\\197\\202\\253\\131\\196<\\247\\183%\\DEL\\255S\\229\\255\\228e(\\252\\220y\\173\\ETX\\236\\170\""],"tag":"AbiBytes"},{"contents":[32,"\"\\160f\\142\\149\\241b$\\191\\240\\193!4\\176Q\\142,V;m\\241\\171z}\\201\\252\\SUBl\\218\\EOT5\\a\\252\""],"tag":"AbiBytes"},{"contents":[32,"\"\\139\\r=7\\249\\222\\129\\216un\\196\\238\\&6\\FS-\\201\\222.\\ENQ\\DC1\\144\\132\\201\\227\\209\\173\\215G\\DEL\\204\\145\\151\""],"tag":"AbiBytes"},{"contents":[32,"\"N3\\157x>\\163\\160h)\\217=\\235\\250\\205\\224\\229*\\254\\150B\\245\\150\\&5\\aU_\\SOH\\\\\\176F\\148\\180\""],"tag":"AbiBytes"},{"contents":[32,"\":\\204RV#\\197?M\\135\\200\\145\\221\\t\\177\\179\\ETX\\186{<E\\154L\\150\\245\\225O\\230\\184k\\223\\b\\185\""],"tag":"AbiBytes"},{"contents":[32,"\"&\\255\\128\\182\\206\\215\\192]\\240fd\\187[Z\\198\\DLE\\ACK\\DLE\\DEL{n\\202N\\169\\168\\207\\254\\159\\198\\&1\\156\\173\""],"tag":"AbiBytes"},{"contents":[32,"\"HIGH_PPS_DEVIATION\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\241\\177H\\155\\174;DJ[\\170\\238\\128\\&6]\\183M\\SYN\\155LRc[\\229\\161\\193\\DC3\\191\\194\\164\\SYN5(\""],"tag":"AbiBytes"},{"contents":[32,"\"load(address,bytes32)\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\155\\218\\212\\218\\234\\170\\241?\\CAN\\133\\243\\181\\207\\STX]6\\SI\\250\\183\\150e\\163&\\213\\225\\166*\\163\\140,0+\""],"tag":"AbiBytes"},{"contents":[32,"\"vault shares are insolvent\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\229\\172B\\180\\SOH\\218\\&1\\190\\186\\249A=\\184\\ACKI\\NAK\\n\\SI i\\148\\SI\\162h\\ETX\\182%Q\\129\\ESC\\139\\204\""],"tag":"AbiBytes"},{"contents":[32,"\"\\187\\DC4?\\ETB\\144\\233($\\248\\181\\213\\205\\196[%\\SOHH?\\226FZ\\SI\\249\\USi\\194\\FS\\156\\t0\\tj\""],"tag":"AbiBytes"},{"contents":[32,"\"\\196\\STXj\\a\\DC1\\249\\207\\153\\191 wzJ\\195\\251\\158\\155\\134O\\199\\217\\251\\141\\DLE\\170\\150\\129y\\193\\GS\\140\\EOT\""],"tag":"AbiBytes"},{"contents":[32,"\"SUPER_GOVERNOR_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"hook.execution.state\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\US\\CAN\\247\\229_-N\\240\\SOm\\202\\243S\\SYN\\182\\ENQ\\221c\\ENQ\\184FE\\238\\156\\138\\129o\\SO\\174\\229\\196@\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"SUPER_GOVERNOR_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\207\\ETB\\255\\165\\131\\&6PY\\199\\\\h\\193\\241\\r\\198%\\EM\\213Tu\\245@\\144\\224\\254\\190\\181R\\GS\\149E+\""],"tag":"AbiBytes"},{"contents":[32,"\"hook.account.context\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\">!\\254\\242\\SO\\246\\135\\DC4\\USc\\DEL\\189\\EOTq\\142\\DC3 /\\aV\\249K(P\\221\\EM\\246\\192B#\\208\\\\\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088429","0x00000000000000000000000000000000000000000000000000000000000003f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x000000000000000000000000000000000000000000000003a38d9132ca4bcf4c"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"99999998"],"tag":"AbiUInt"},{"contents":[256,"1529039839"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3e","0x00000000000000000000000000000000000000000000000000000000000000e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"63622413114987586999372264601989144154964173229329682082837557070884850926939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000033","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"7032162004304416911809861247789072219940324606168483336202111135455203887861"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000a895","0x000000000000000000000000000000000000000000000000000000000000000e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b721","0x0000000000000000000000000000000000000000000000000000000000009202"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"81314242487344760815550147779999501949163203160818935493368636296846267358134"],"tag":"AbiUInt"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d1b7","0x00000000000000000000000000000000000000000000000000000000000007cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x000000000000000000000000000000000000000000000000000000000000a293"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052400","0x000000000000000000000000000000000000000000000000000000000000d9ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030335"],"tag":"AbiUInt"},{"contents":[256,"59407849870202534866155969761536648814453403453769278634933005142977250090793"],"tag":"AbiUInt"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x0000000000000000000000000000000000000000000000000000000000006de0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035133"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000006","0x0000000000000000000000000000000000000000000000000000000000000385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000382","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070ff6","0x00000000000000000000000000000000000000000000000000000000000001f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f36","0x000000000000000000000000000000000000000000000000000000000000dcc1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce55","0x000000000000000000000000000000000000000000000000000000000000ca08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"[a[\\ENQ\\162\\EM\\228\\231\\190\\246\\DLE7\\n_\\141\\DC4\\161S\\253\\217\\224y\\DC3\\231\\178\\233\\196\\246\\DEL\\146\\204\\RS\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba5","0x000000000000000000000000000000000000000000000000000000000000a475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000191c6","0x0000000000000000000000000000000000000000000000000000000000000068"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"898"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c5dc","0x00000000000000000000000000000000000000000000000000000000000001a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507328"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000388fb","0x0000000000000000000000000000000000000000000000000000000000009aa5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004e","0x00000000000000000000000000000000000000000000000000000000000044de"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea17","0x0000000000000000000000000000000000000000000000000000000000002323"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ab21","0x000000000000000000000000000000000000000000000000000000000000ec38"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003dec4","0x000000000000000000000000000000000000000000000000000000000000b31c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007119f","0x0000000000000000000000000000000000000000000000000000000000009c56"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058182","0x0000000000000000000000000000000000000000000000000000000000007630"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"99999997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c435","0x0000000000000000000000000000000000000000000000000000000000009b9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"3766362596630239441991265924501486968128527931089754170951951385677062931491"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6b","0x0000000000000000000000000000000000000000000000000000000000001398"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"181"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001386","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000002044ee0afd7a5be6c"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"169"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"95"],"tag":"AbiUInt"},{"contents":[256,"1708342340477046895722986967603592077444162112649823082346252903751707965758"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005c918","0x0000000000000000000000000000000000000000000000000000000000006a27"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"34943026836435346135275760034161925469824579290448655118430442572745295435553"],"tag":"AbiUInt"},{"contents":[256,"2411102605583547600221087672982223837217364757187394524473031210894086530109"],"tag":"AbiUInt"},{"contents":[256,"86400"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"95331394992924719466613431191138885289137848898973282083825762735144792211103"],"tag":"AbiUInt"},{"contents":[256,"36"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689601"],"tag":"AbiUInt"},{"contents":[256,"67"],"tag":"AbiUInt"},{"contents":[256,"47"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747171"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"95833606078757118687301861334174493091811522355289651743198860652097432882412"],"tag":"AbiUInt"},{"contents":[256,"100000002"],"tag":"AbiUInt"},{"contents":[256,"101553937070558195282058243044248556304236742666797200620290641570007187492309"],"tag":"AbiUInt"},{"contents":[256,"10652855055870605956156224217324603422840534982345471788815921545339708286160"],"tag":"AbiUInt"},{"contents":[256,"35926554999036124326"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639438"],"tag":"AbiUInt"},{"contents":[256,"26130501395601347804815058811223102626932136022132240886095720164155671428577"],"tag":"AbiUInt"},{"contents":[256,"48"],"tag":"AbiUInt"},{"contents":[256,"89405490202115488620130227435158279668023934229268070459200229959070783996445"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"472260498517428093450829853099908080"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"70"],"tag":"AbiUInt"},{"contents":[256,"9734026596741938713576195838040211450259840419109939048789768633469267936056"],"tag":"AbiUInt"},{"contents":[256,"74"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"},{"contents":[256,"81"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639436"],"tag":"AbiUInt"},{"contents":[256,"304"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417341"],"tag":"AbiUInt"},{"contents":[256,"99957796053972698168363530378534737527744212234013413795746354426308922076703"],"tag":"AbiUInt"},{"contents":[256,"41666169154123038450121188521577167992316428913358621705951507623881062345914"],"tag":"AbiUInt"},{"contents":[256,"4369999"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1524785993"],"tag":"AbiUInt"},{"contents":[256,"16349930786949500142399145532023166839453988061894812891593533501433591212502"],"tag":"AbiUInt"},{"contents":[256,"499"],"tag":"AbiUInt"},{"contents":[256,"54065871222972524567653291059032400704989151593877741681324688351568894431995"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639038"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132609"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011523"],"tag":"AbiUInt"},{"contents":[256,"58716742958559334202564968482364656510387862225894347624481310715367413774225"],"tag":"AbiUInt"},{"contents":[256,"19567964783584224632347979945362329572151038979450524677002080761684175840369"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"},{"contents":[256,"3999"],"tag":"AbiUInt"},{"contents":[256,"82356436553625022398422622279423632522186108019887343735599338427922777668760"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"},{"contents":[256,"39097987301654771751070812521364708521530096036370847239126981995126282880221"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59a","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000003a38d9132ca4bdf4f"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"68"],"tag":"AbiUInt"},{"contents":[256,"10008613121126406063954999369363214908072185114336551599834877285318074154438"],"tag":"AbiUInt"},{"contents":[256,"89247148629601117481223862157232826900733220799487446010780184555245332680703"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000916b0","0x0000000000000000000000000000000000000000000000000000000000002606"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce51","0x0000000000000000000000000000000000000000000000000000000000006de1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"72955413312688311111410912927916969427711477854774079249906834098563477506337"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001c","0x0000000000000000000000000000000000000000000000000000000000000236"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577599"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b2","0x000000000000000000000000000000000000000000000000000000000000004a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ae4e","0x0000000000000000000000000000000000000000000000000000000000001361"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"1533619133"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x00000000000000000000000000000000000000000000000000000000000035d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"52743087549932077904689753860149036380672813294683564456346394036774628970683"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000061","0x0000000000000000000000000000000000000000000000000000000000002eed"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"8978806944711"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4b","0x000000000000000000000000000000000000000000000000000000000000135e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5d","0x0000000000000000000000000000000000000000000000000000000000007e4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"57"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f94","0x000000000000000000000000000000000000000000000000000000000000006a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":[256,"233"],"tag":"AbiUInt"},{"contents":[256,"43513628063845850765244278804126708327930055676156029457726975005824756659670"],"tag":"AbiUInt"},{"contents":[256,"47476740236555013203346460484241714292198456564279370470396748463494990050887"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea60","0x00000000000000000000000000000000000000000000000000000000000007d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"96781873319942451121087186005921272330147165468042776828850265210706950246963"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004e","0x0000000000000000000000000000000000000000000000000000000000006ee2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001051","0x0000000000000000000000000000000000000000000000000000000000000053"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f35","0x0000000000000000000000000000000000000000000000000000000000000bcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb13","0x0000000000000000000000000000000000000000000000000000000000001362"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]