[{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"8998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d1","0x0000000000000000000000000000000000000000000000000000000000001df1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c8","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"281097865"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000053","0x000000000000000000000000000000000000000000000000000000000000d54a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"70500575879807557861660535495389269366134461332191264204425893257982869272569"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003a","0x0000000000000000000000000000000000000000000000000000000000004562"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066e82","0x000000000000000000000000000000000000000000000000000000000000129f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"26681137744060787798215539685668589100284731140918283790857735198365503188873"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x00000000000000000000000000000000000000000000000000000000000074a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\228_)\\SUBWr\\177\\171\\DC3\\150\\153\\222\\NAK\\138tgceN\\132,h$\\150Z\\SUB\\173\\\\\\198\\SO\\234\\193\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000638ad","0x00000000000000000000000000000000000000000000000000000000000007cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c43a","0x000000000000000000000000000000000000000000000000000000000000715b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":[256,"93"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063a65","0x0000000000000000000000000000000000000000000000000000000000005d4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008b316","0x000000000000000000000000000000000000000000000000000000000000107e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063dac","0x0000000000000000000000000000000000000000000000000000000000004703"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"13889773051364740766625133603987054233482630254838503300047153018639596775917"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b67","0x000000000000000000000000000000000000000000000000000000000000a4df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[128,"30"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001da","0x000000000000000000000000000000000000000000000000000000000000aa58"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087327","0x0000000000000000000000000000000000000000000000000000000000009a11"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b8eb","0x000000000000000000000000000000000000000000000000000000000000e880"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005104a","0x000000000000000000000000000000000000000000000000000000000000a293"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008aafd","0x000000000000000000000000000000000000000000000000000000000000a303"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000541","0x000000000000000000000000000000000000000000000000000000000000dcbc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006be3c","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"62809320418960657838224195747155929988"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076026","0x000000000000000000000000000000000000000000000000000000000000a586"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e413","0x000000000000000000000000000000000000000000000000000000000000e17a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1535425829"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81b","0x00000000000000000000000000000000000000000000000000000000000045ef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006900e","0x000000000000000000000000000000000000000000000000000000000000a56e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c0d2","0x000000000000000000000000000000000000000000000000000000000000190e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"29964784010475717265069408242956318474947253150938310536639186428869268566040"],"tag":"AbiUInt"},{"contents":[256,"1549700428"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000239e3","0x00000000000000000000000000000000000000000000000000000000000091fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"29783746489015796817655438222252880142"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e723","0x00000000000000000000000000000000000000000000000000000000000084eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x8324ADfC37e4Ce6B24a34Ced4A13faadbd59Ca97","tag":"AbiAddress"},{"contents":[256,"1530289389"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000465aa","0x00000000000000000000000000000000000000000000000000000000000076da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000020dff","0x000000000000000000000000000000000000000000000000000000000000005c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"37133819811041533408813191072438739522701762732828730747752118270560139256008"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba9","0x0000000000000000000000000000000000000000000000000000000000009488"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"1531128236"],"tag":"AbiUInt"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000329f4","0x0000000000000000000000000000000000000000000000000000000000000053"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ac92","0x000000000000000000000000000000000000000000000000000000000000dbab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"207"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":[256,"191670677450085068089839142979857376245385498341914004855756445628779215968"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064bff","0x0000000000000000000000000000000000000000000000000000000000003c5b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\151M\\158\\143+\\ACK\\245\\191\\207\\135\\251\\248e\\142)$\\166\\147\\154\\210//\\153r\\174$?\\194_\\153\\&9\\161\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007d","0x00000000000000000000000000000000000000000000000000000000000095ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f94d","0x0000000000000000000000000000000000000000000000000000000000000d4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000019","0x00000000000000000000000000000000000000000000000000000000000011aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ca","0x0000000000000000000000000000000000000000000000000000000000003aed"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"66679898216137381411043600220220355002091259783670599615056113097379187118781"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000057c14","0x000000000000000000000000000000000000000000000000000000000000d859"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004f152","0x0000000000000000000000000000000000000000000000000000000000007bca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[128,"288657334634669621585823157625705087417"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040871","0x0000000000000000000000000000000000000000000000000000000000006f1f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":[256,"796"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"42220826976145810982651935982093138888701220197776162511600179102774717344934"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a996","0x00000000000000000000000000000000000000000000000000000000000030bf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000938ce","0x0000000000000000000000000000000000000000000000000000000000007b7f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029d98","0x000000000000000000000000000000000000000000000000000000000000bc22"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639869"],"tag":"AbiUInt"},{"contents":[256,"25182796892474387683863967441312826278640764847582761861491998113786457504508"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b304","0x00000000000000000000000000000000000000000000000000000000000051c9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"24752880660164306600544319963187811742330291665803596481296439874618016527175"],"tag":"AbiUInt"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000288b1","0x000000000000000000000000000000000000000000000000000000000000c576"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068105","0x0000000000000000000000000000000000000000000000000000000000003d96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dbcf","0x000000000000000000000000000000000000000000000000000000000000ad34"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"47108162806591644091113004315333996103504704294003406369454591722609715186638"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c6fc","0x000000000000000000000000000000000000000000000000000000000000b1e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"60457296599905984401476019180960651977920494372199853005051039376841012008892"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061855","0x0000000000000000000000000000000000000000000000000000000000001381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"235"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"23682184592526251966816945196923489920297200362221003276210050342450050738762"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087104","0x000000000000000000000000000000000000000000000000000000000000d5ec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x1Bb038fb54BfcBFA3814cE47cA5618cBA47dCdeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x8b580402DEeFD8708Abd757CcD29066d9d5CA86b","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vLC\\n\\212-\\130x\\177\\155\\182\\EOT\\247\\170=\\180}\\146E\\a\\251\\157\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\150\\174<\\SOH\\NUL\\219\\133\\165\\r\\222\\240!\\202YE\\192\\249\\&4\\183-e\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204(\\215\\DC3]\\146\\176\\219p\\131\\241\\186\\146\\146\\242\\245\\175\\&4K\\NAK&I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"w\\132\\v\\184\\252#$\\\\H\\ETBL\\183;\\232\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141KD\\133\\255G\\203OF\\DC4\\GS\\STXv\\220\\211\\SO\\NAK.\\182\\DC3o\\\"\\nG\\183i\\250\\DC1nR\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"]XZ\\NUL\\207`n8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\164\\160\\133\\176d\\165\\&7\\187N\\159\\199\\SOH\\151\\NULX\\152@v\\241\\DC3\\SOH\\220\\135A\\165&\\137\\218Q\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\191\\245K\\192L\\209\\157\\177\\154C>^\\CAN\\148\\EOTb\\EOT\\172\\246k\\145\\137\\197\\214\\160\\161x\\178\\224\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\DLE;\\203f\\230\\ESC\\STX\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\196\\187\\199\\146\\193\\168|\\230\\132\\150\\186\\224\\161\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\166\\196\\n\\251\\226d\\129\\130\\206\\133\\131\\225\\173\\187]\\220\\254\\239S&\\205\\225\\SI \\GS\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\171[\\ACK\\235\\SO\\DEL\\180}\\SOH\\199\\130\\148\\\"Isz\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\169\\188\\149\\227\\226\\EOT\\f\\213\\219,\\US\\229\\185\\231\\206Z\\165\\ACKj\\ENQ\\DC4\\208\\184[\\249\\NUL\\213\\GSL\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"z\\244!\\v\\\\\\148\\239b!\\132\\158O\\ENQj\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\201\\245t\\245V\\152\\&2`\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\194\\179\\130\\181R\\178T\\232%J\\ACK\\146\\SYN\\141\\193\\145\\\"\\189\\&1\\142$\\184\\226\\169b6\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\195\\145\\160\\239\\FS\\229Z\\172\\224&k\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\148\\176\\&7\\DC43\\128)hr\\194Q\\133\\SOH\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\225\\159\\151\\138S\\180\\248P\\v\\STX\\142\\152o\\196\\161\\209\\253\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\241)g\\200s\\145\\155A\\EM\\193\\239\\GS\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\238\\224\\233^0\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\134\\131\\SYN_\\173\\249\\156\\144%D\\193x\\a\\DC4\\249\\162\\174\\193\\234%TK\\NAK\\148\\203>\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\DC2kx\\139~\\176\\SO\\159\\SOH\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"]K \\175B\\176~\\225A\\243\\136\\151\\194\\USy\\215\\DC4\\134\\205\\169\\132\\174\\192-\\189\\DC2\\211!\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSii\\207&o\\148\\186\\DC1-5\\208\\DEL!_\\232\\175\\\"\\STXI\\234\\EOT\\203\\139\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\254\\FS\\138\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\225\\181\\233\\173\\242^5\"","tag":"AbiBytesDynamic"},{"contents":"\"[s\\DC1\\152\\164\\SOHY\\159\\186i\\r6y\\129\\235\\248}\\137\\183I\\EOT\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC4[t\\236\\155\\157@\\130\\SYN)\\206\\f\\158\\220\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\160\\r\\SO!\\189\\204\\215w\\ETX\\135\\221b\"","tag":"AbiBytesDynamic"},{"contents":"\"g;\\RS\\188\\EOT\\b?\\172\\206H\\SUB\\160\\204\\v\\242%>\\165o\\210K\\236\\157d\\128\\248\\177\\208\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\243\\149\\241\\134# \\193\\EOT$\\169\\149lc\\168\\&0\\255\\204\\253+\\172\\236ig\\204\\170\\217\"","tag":"AbiBytesDynamic"},{"contents":"\":\\163\\224\\241\\188\\141\\231\\181\\148L\\181\\200\\209\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\169\\240\\SIa-\\253\\231\\&1\\199X1$\\175\\231\\255\\\\4\\160AP\\SO/\\243\\153\\NAK\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188u\\158)@\\158A\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\SYN\\130\\229\\228\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\249D\\n\\230\\142h\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\198\\139\\SI\\a\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\166L\\216/R\\130\\196\\SI\\179\\\\d\\f\\161^_\\DEL\\DC4\\188\\251\\231\\185pU\\DEL\\165\\&2\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"h}\\SOH\\227\\201\\vDe\\185[\\240\\226\\&3\\188.\\SUB\\172$\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v9\\217NN\\FS\\148v`5\\235\\140\\160=\\206\\217\\253F\\165\\225\\\\\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1j\\SYNW0\\179\\139;\\251J\\223\\211\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3;D\\231\\227\\158$\\176\\178\\177j\\238d\\149\\ESC\\237\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145y{qP\\174St\\SI>\\236P-\\246\\USm\\240L\\155\\205p\\183@\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\255\\168,W\\138w\\228\\144\\178\\192\\158\\CAN\\245\\189\\\"\\141\\166\\195\\140U\\208vZ\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159'W\\NUL\\130\\135Bz\\201\\216\\250\\180S\\f<>\\222\\145\\204\\140\\141B\\220\\SUB\\254\\US$\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\SO\\\\2\\191#i<\\142\\249>\\146E^9dev\\149\\NAK\\EM\\n\\151\\b\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\167\\147g\\158\\ETXI\\249\\216LR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\200\\140A\"","tag":"AbiBytesDynamic"},{"contents":"\"]7B+>\\246\\164\\217\\211%\\167\\ACKk\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156=\\236\\228\\DEL\\161\\186\\227\\\\L-\\136\\171\\241]\\ETBY\\218+6'o$\\191\\134n\\DC4\\190\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\\"\\v85\\169\\240v\\v\\243m\\215An\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\213\\216\\179\\209g\\224\\197{V\\174\\130!%\\235\\175K\\240\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\242\\235\\131!\\210\\136}\\191\\\"\\DEL\\253vk@\\175\\EOT\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158#5'~\\217\\152\\196\\&2\\r\\ENQ\\215\\f\\128I\\133\\176\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\SUB\\160\\195\\DEL\\204\\213\\137\\190\\197.:\\SYN\\141\\180;\\239\\ENQo\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\249\\193\\146\\189\\195\\228|\\245\\149`\\198=\\183_\\152VY\\195@``\\210\\n\\NAK\\142\\233\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\133\\158\\249t\\155\\249\\RS\\186\\133&\\180\\238\\149?t\\FS\\DLE=r\\135\\205bn8~\\163#\\249\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\131\\242\\135\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162>\\129\\&4\\156\\229\\&0\\245Q\\150\\172|\\152}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\201\\194\\240|\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"QY\\158\\149\\252\\&6\\171\\181q\\163y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\157\\174\\238\\162\\181\\244\\174\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\142%\\152\\177\\177\\129\\237\\167\\202\\aU \"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMC\\248#P\\235\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\248\\\\#\\n\\239\\ETB<\\ACK\\146\\ACKh\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"N@\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\214\\171\\136\\193\\134Q\\153\\169\\169ca\\n\\206\\222\\232\\168[\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\EMZ\\134\\224\\DC1\\194\\DC4p$eS\\140X\\219\\DC1\\129\\242\\152\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\139\\136\\153\\134\\161\\237\\168\\245E\\224\\164q\\236\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203,\\227\\n \\136x\\170\\&0\\161z~\\234\\&3UK\\NAK\\186k\\228\\&4+\\b\\236\\208uI&\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\152\\235g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\136\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\ESC\\128\\213v\\136\\136N\\218\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"*fR\\157\\163o\\194\\SO\\143\\ESC\\DLEu\\a]<\\147\\139\\a`T\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\133J)\\240\\150fK\\162\\159s\\179\\134SJfP\\146*7\\141\\DC2>4\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"'hK\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\t\\208KPM5\\ACK\\SI\\192\\144\\166\\210\\204\\195\\187\\169\\186\\165h[\\167\\160\\\\s\\218)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\245\\170\\243\\EMmwH\\236\\253O4\\162Elp?9$\\STX}\\230\\RS\\172\\\"Q\\158B\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\214\\GS?)\\128#\\163\\201\\243\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\244O\\132\\202\\&8\\221YR\\NUL\\164\\168(p\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\154\\217\\169\\160\\244`\\202\\221\\204\\200Q\\238\\SUBW\\248\\138\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\225\\rkS\\143O\\149\\&6\\193\\148O\\202\\191\\240\\143\\150\\135\\198\\221\\242}yd\\221fZ\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\178i\\197'\\147\\166{\\234\\237y\\186b~\\247!\\141m\\238\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Us'e\\222d2\\233dC\\187\\&0m\\US\\211\\NUL\\DC3\\DC32^\\ETX\\172\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\139\\180\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179V\\242\\SI^\\177\\227\\SUB\\221\\216\\\\\\204\\NUL\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\151\\141\\158?\\189\\&5\\245T\\246\\143@H\\NUL\\FS1/&\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\145\\159\\DLE\\225\\163\\203\\145\\144\\249\\DC3ar\\209S\\139*\\178\\ETB\\208\\RS+1\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\202 H\\171F\\144O\\207\\154\\163S\"","tag":"AbiBytesDynamic"},{"contents":"\"(m\\180\\145\\DC4B\\149\\159\\FS\\194\\240R \\179\\153\\STX]\\230/\\128\"","tag":"AbiBytesDynamic"},{"contents":"\";w\\157JP\\239\\232\\219nV\\218\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223b\\210\\253QO\\217;\\215{\\158_\\247\\EOT\\236\\DC2\\247\\NAK.gAVgn\\EM\\206\\224\\SOH\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\DC3\\DLEaE\\182\\248\\149\\DC2)dp\\SUB\\nR\\212\\226`E\\195R\\146\\156w\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\249'_-\\SO\\134\\242\\DC1\\130\\186~\\141hY\\254*\\145\\231\\137\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247_y\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\192<\\178$*\\136\\222\\206\\251\\230\\144U\\r\\129\\202U\\181D'0z\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132~V9Xt\\186\\&5F.\\251\\224\\NAKx8>\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\252<O\\t\\234\\SOHe\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\242\\SUB\\249\\143\\204T\\231\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145c\\171I\\DC1)\\EOT\\213:B\\155!BO\\191\\r\\248\\&9K\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"I\\130\\156\\195\\229\\181\\219\\ESC\\DC4\\\\\\168\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\204o\\205:\\162\\214[\\194\\166\\&6\\195\\fT-\\140\\188\\146\\193\\207}\\246\\SOHF\\227\\160\\193\\164\\168\\230\\251P\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\234I\\150\\133\\173\\242z)\\193\\202l\\175\\249\\227\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\152E\\215\\226\\173[4\\253|\\209\\a\\184pK\\158\\vTe\\219\\129\\ESC\\FSS\\128\\218x\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\194 \\STX\\131<\\173|\\132\\153\\ENQ\\159\\EM\\214\\&7\\CAN2\\169\\236\\176 \\215#\\167{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\134\\139\\173\\131\\221 \\134\\211u\\190\\239\\219$\\153\\237\\184TK\\224\\&5$}i~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164o\\155\\206|\\226\\251w\\DC1\\DC2\\136\\145\\169)\\ETBJ\\161\\181k0:\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\161\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\SIn]\\179?jd\\ENQ\\151\\183d\\217\\208\\SYN\\245\\155\\147Q\\244\\225|\\f\\152%Q\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US$:\"","tag":"AbiBytesDynamic"},{"contents":"\";\\248\\149\\213\\203\\226\\160\\NUL\\NAKa\\SYN\\205.*\\166\\144\\181\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"H\\192\\178\\239|\\210\\DEL\\169|\\246\\249\\tm$hE\\134z?!z\\191\\ETX/\\215,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\185GiEl\\209\\224[\\252+\\135\\198\\139\\129\\144\\200\\247\\NUL\\SYN\\176\\166\\v\\246\\189\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\196\\132V\\f\\164\\167\\SYN\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\221o\\188\\&6t\\180\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\187\\156\\DC1*Y\\228\\154G\\216\\242\\236\\206\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\GS1U>\\ETB\\192\\136G\\SO\\157B\\178\\DLE\\130;\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"w{2\\245\\240Z\\EM\\224~\\202\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201I\\231\\DLE\\202\\251-\\DC1\\146\\GSx\\180\\157S9\\206/\\185\\196y;\\158\\245\\250.j\\141\\231}\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\201c(Ot\\231^\\206)ta(?F!\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\178f\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"%A\\137\\\"N^ccuR \\226\\240\\214\\128\\203R[E5\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\203#k\\242\\231\\171\\ENQ\\247\\156\\255\\242\\ESC8r?\\183\\v\\183\\180\\239\\163^@\\221^Bx\\174\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206#\\140\\202\\207\\195\\DC2\\223\\129>\\193\\DC3z\\183\\221*\\FSTG\\ENQ\\131\\DC1\\230)\\SYN\\192\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155w\\189_\\207\\216\\214Tg\\222\\195^\\145\\194\\230*\\141l\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\252\\144W \\RS\\SI\\206<\\137\\187\\247vf\\143\\168:)\\241\\162-\\210\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\218!Za\\148\\249#4\\208T\\n#\\251_%\\166\\187\\DC2kD\\174E\\158\\160\\140\\234\\142\\241\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\ACKc\\210Q\\DC3\\184\\240a\\155\\128\\a\\255\\rJG\\156 \\208V`\\250\\160\\143N\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\ETBz\\174e\\179j\\176\\222'\\179\\&1*)[\\202\\148\\&9\\217\\SUB\\164i\\221\\ETBCG\\208\\187Y\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"57628166820970684763688237242307813246065208587412597255126761810303358902323"],"tag":"AbiUInt"},{"contents":[256,"1532687801"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"403"],"tag":"AbiUInt"},{"contents":[256,"20056049074398696180432014070711755765152688674938036581591378269462684409989"],"tag":"AbiUInt"},{"contents":[256,"1528437607"],"tag":"AbiUInt"},{"contents":[256,"1528437607"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"92447326530953768040658250574297969821104003556405811583927913995220692536882"],"tag":"AbiUInt"},{"contents":[256,"1530395503"],"tag":"AbiUInt"},{"contents":[256,"21752428866753015238445638491440915609226225196327696371366987270641806524340"],"tag":"AbiUInt"},{"contents":[256,"46836402949688091886168611870040157162386594653937333839695027700741559162887"],"tag":"AbiUInt"},{"contents":[256,"1529960042"],"tag":"AbiUInt"},{"contents":[256,"81105041135209702631564440884556192892723272009024615685056276267535485127046"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1528998082"],"tag":"AbiUInt"},{"contents":[256,"23405374866"],"tag":"AbiUInt"},{"contents":[256,"10710425581534109479092860763341201172114107407454067825563747971321041654812"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639874"],"tag":"AbiUInt"},{"contents":[256,"12867196254563804871889803135514625865623245200060393147959739062911887978093"],"tag":"AbiUInt"},{"contents":[256,"1536557020"],"tag":"AbiUInt"},{"contents":[256,"100348305051197188953606899613144536260119968155325855177059863275521254113094"],"tag":"AbiUInt"},{"contents":[256,"44907921610571600079034435974084049401338178902203270654921894208575829346442"],"tag":"AbiUInt"},{"contents":[256,"78926834628987732664492922197065569110472655844409208202708154837016454736291"],"tag":"AbiUInt"},{"contents":[256,"1532574098"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"724"],"tag":"AbiUInt"},{"contents":[256,"241301100218084411097525349134809300051"],"tag":"AbiUInt"},{"contents":[256,"22005873368696551436251697670499774160682325638025218637396203220188933518747"],"tag":"AbiUInt"},{"contents":[256,"34004115969628420078292715235105914506106507386862868592344600709311775530422"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"81507943626420209164589911888950577862294140526891936542802073298828879792584"],"tag":"AbiUInt"},{"contents":[256,"315542732833893366355411373813416270456"],"tag":"AbiUInt"},{"contents":[256,"94926816769812024383454985964961991104379434667544094506259104291285006132631"],"tag":"AbiUInt"},{"contents":[256,"65483796470992228583315698987619640138132747802277507541527842017531287608275"],"tag":"AbiUInt"},{"contents":[256,"1528607045"],"tag":"AbiUInt"},{"contents":[256,"80598649411290351684790117412647747021782574644199376545188488449600651204411"],"tag":"AbiUInt"},{"contents":[256,"1532293107"],"tag":"AbiUInt"},{"contents":[256,"84971680748779638077170564035347725720464525388789993082624884929314401359347"],"tag":"AbiUInt"},{"contents":[256,"72758681385368842427074423628065601036228792353291847861633367250495691961483"],"tag":"AbiUInt"},{"contents":[256,"15437550"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"1528241307"],"tag":"AbiUInt"},{"contents":[256,"64122408976246809826008777205973255129223604490579055696828506543302858451222"],"tag":"AbiUInt"},{"contents":[256,"1550633949"],"tag":"AbiUInt"},{"contents":[256,"1527106119"],"tag":"AbiUInt"},{"contents":[256,"10263451884479166947039839500488575096656967738068872681759608401380436623003"],"tag":"AbiUInt"},{"contents":[256,"91617393579986991891500677"],"tag":"AbiUInt"},{"contents":[256,"62809320418960657838224195747155929988"],"tag":"AbiUInt"},{"contents":[256,"45"],"tag":"AbiUInt"},{"contents":[256,"50552265344294558460044456642789956807072759878093188765263512902969999810250"],"tag":"AbiUInt"},{"contents":[256,"81205760025966763149122167568761411163281521158716228504586811668194854895571"],"tag":"AbiUInt"},{"contents":[256,"21603979699561533475065500073071961753440780974795905736881208710988019623959"],"tag":"AbiUInt"},{"contents":[256,"1536282538"],"tag":"AbiUInt"},{"contents":[256,"7904721714157583498083698699213018856481784914378078752850848466041551842228"],"tag":"AbiUInt"},{"contents":[256,"111684863771832499082385797831855851372216585327455169063622944157401239958385"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"102526838193458207099534810221000340692647666430779242381531773874274182308724"],"tag":"AbiUInt"},{"contents":[256,"11903025"],"tag":"AbiUInt"},{"contents":[256,"193000449161169889553639513988573080053"],"tag":"AbiUInt"},{"contents":[256,"1524785992"],"tag":"AbiUInt"},{"contents":[256,"78605757206996630613143154457548599818072978371177465105739163416245131707924"],"tag":"AbiUInt"},{"contents":[256,"1544603900"],"tag":"AbiUInt"},{"contents":[256,"1031"],"tag":"AbiUInt"},{"contents":[256,"1031"],"tag":"AbiUInt"},{"contents":[256,"1031"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e353","0x000000000000000000000000000000000000000000000000000000000000b099"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"107086773285831804567599686880626385296488802915269912541923234244043031995398"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045f69","0x000000000000000000000000000000000000000000000000000000000000db81"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"480"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002bb2f","0x0000000000000000000000000000000000000000000000000000000000009c37"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"106921612972821280997933143432610011262839679056348333118601161384142243301329"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"88111137120330245356506709228495598548231384280030605561195070469239151983775"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507329"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639870"],"tag":"AbiUInt"},{"contents":[256,"31963666540193039920735751020491558856783917311551796965260828123408787882809"],"tag":"AbiUInt"},{"contents":[256,"67467786069241741025856359071762761853445509654581069731817527736040690888321"],"tag":"AbiUInt"},{"contents":[256,"16847911182701551367793481776364763421392566397560774823870273083594948215032"],"tag":"AbiUInt"},{"contents":[256,"93414793946066104295047875464878982703121445160461019071784699050091928225936"],"tag":"AbiUInt"},{"contents":[256,"25771386340106902397228657855791283112377272812952962296604242608869030252149"],"tag":"AbiUInt"},{"contents":[256,"98"],"tag":"AbiUInt"},{"contents":[256,"69"],"tag":"AbiUInt"},{"contents":[256,"112490718849734105922430851782883892116819485707050703765343957804499102424727"],"tag":"AbiUInt"},{"contents":[256,"2902471621094306581482014586694070621898593322718684071053456360203945096104"],"tag":"AbiUInt"},{"contents":[256,"78869057412183636379620642838510773801541394675135512941131816251351241850705"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639851"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266897"],"tag":"AbiUInt"},{"contents":[256,"46496504261532973398423447726917481837362095164100476900926609903865161791548"],"tag":"AbiUInt"},{"contents":[256,"68273107395331698386630408422852051866284865295167382880636239549787072642309"],"tag":"AbiUInt"},{"contents":[256,"2876908003786813140365836880089429411886750148177299680271569055063410528289"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639938"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"21564097441691593759688400806229653965869686443454226040406406766138444717534"],"tag":"AbiUInt"},{"contents":[256,"501"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507331"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004f569","0x00000000000000000000000000000000000000000000000000000000000002a6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000000000000005b5a8aac"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":[256,"11487675485563513042497874140623834922645813067387805426804421087121474142062"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007e23","0x0000000000000000000000000000000000000000000000000000000000009950"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"149"],"tag":"AbiUInt"},{"contents":[8,"39"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084cd3","0x0000000000000000000000000000000000000000000000000000000000000fb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"63343076434445614950780520521398401297383795567251419153718357191527736693613"],"tag":"AbiUInt"},{"contents":[256,"93616116383128851390151396648674011629460694691314456155059246219863440641465"],"tag":"AbiUInt"},{"contents":[256,"32439988265423476537593427117449882408169348710162983742839482702035650683126"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"660"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1532823050"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051f03","0x0000000000000000000000000000000000000000000000000000000000006df2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004dd6","0x000000000000000000000000000000000000000000000000000000000000b703"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"761"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001872a","0x00000000000000000000000000000000000000000000000000000000000095f8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x1a6076058a93937E7fe5236f6F10d35Ab001A5ee","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027760","0x000000000000000000000000000000000000000000000000000000000000d082"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001614d","0x0000000000000000000000000000000000000000000000000000000000003c1e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"76131339382197026726899223254856703185598517691386945229409881279887355467449"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f617","0x00000000000000000000000000000000000000000000000000000000000000bf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054802","0x0000000000000000000000000000000000000000000000000000000000004b75"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"1529292019"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x00000000000000000000000000000000000000000000000000000000000001f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"33002449637674276314603493975062262932001507564442682134712148150713879134524"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004248f","0x0000000000000000000000000000000000000000000000000000000000000219"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"57900302832833382228270889681042678884475388448453501038944095582193977425032"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046b47","0x0000000000000000000000000000000000000000000000000000000000000048"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011522"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007de9b","0x000000000000000000000000000000000000000000000000000000000000711b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000031c7","0x0000000000000000000000000000000000000000000000000000000000002f79"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d029","0x000000000000000000000000000000000000000000000000000000000000becf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000959","0x000000000000000000000000000000000000000000000000000000000000a41e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"222"],"tag":"AbiUInt"},{"contents":"0xe3496509013042BFE1a67B4224b72a93FE97084C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"283484519183720408272137661682069744621"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000611e1","0x0000000000000000000000000000000000000000000000000000000000002b61"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a9b8","0x0000000000000000000000000000000000000000000000000000000000008d7b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6e","0x0000000000000000000000000000000000000000000000000000000000004566"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003ac60","0x000000000000000000000000000000000000000000000000000000000000bd42"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"19604903036481241750775145127258017379442357596094846962206367829844021061735"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014abc","0x0000000000000000000000000000000000000000000000000000000000004a4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000078883","0x000000000000000000000000000000000000000000000000000000000000aca2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000053a69","0x00000000000000000000000000000000000000000000000000000000000077b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064f90","0x00000000000000000000000000000000000000000000000000000000000035d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"2811260026"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000131cb","0x00000000000000000000000000000000000000000000000000000000000009cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"19573884662863393680835781207376051930521793410327471984940824878544044648347"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081df4","0x000000000000000000000000000000000000000000000000000000000000da4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"1528325788"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000361fd","0x0000000000000000000000000000000000000000000000000000000000000288"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"675915221809250080666503824435156232883737084380703224158966368862695997790"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000088f5","0x0000000000000000000000000000000000000000000000000000000000008aba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008863e","0x00000000000000000000000000000000000000000000000000000000000007e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"5526386157640107346525982813355840081567626926709047223839439730932454406326"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032829","0x000000000000000000000000000000000000000000000000000000000000057c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"93539629391011026570541995191463243562149097833229557552882616991104900980906"],"tag":"AbiUInt"},{"contents":"0x1a6076058a93937E7fe5236f6F10d35Ab001A5ee","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000903ce","0x0000000000000000000000000000000000000000000000000000000000004024"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046fbe","0x000000000000000000000000000000000000000000000000000000000000da73"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000008","0x000000000000000000000000000000000000000000000000000000000000a369"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008be08","0x0000000000000000000000000000000000000000000000000000000000006fd4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"742"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ee0c","0x0000000000000000000000000000000000000000000000000000000000009991"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":[256,"64302308832883261606513097078028447416495857758005672764811768759713220259247"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000837ee","0x0000000000000000000000000000000000000000000000000000000000004c2a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":[256,"100732233252459847421478737328373997532137222939586833033763098452842803170178"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006dec","0x0000000000000000000000000000000000000000000000000000000000009fd0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004191f","0x0000000000000000000000000000000000000000000000000000000000004e6c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000079d00","0x000000000000000000000000000000000000000000000000000000000000c611"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"1531186909"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054a88","0x000000000000000000000000000000000000000000000000000000000000ce55"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"89"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001437b","0x0000000000000000000000000000000000000000000000000000000000007639"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"229"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000083","0x000000000000000000000000000000000000000000000000000000000000e5ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000126","0x000000000000000000000000000000000000000000000000000000000000109e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"1094483153446454110333222677444"],"tag":"AbiUInt"},{"contents":[256,"1532946969"],"tag":"AbiUInt"},{"contents":[256,"81561442025009023577009787478196411964771508459225861707142396398520220570541"],"tag":"AbiUInt"},{"contents":[256,"1529878026"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ccb6","0x0000000000000000000000000000000000000000000000000000000000009e5b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"100000000000000000000000000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5c","0x0000000000000000000000000000000000000000000000000000000000007a7c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"50105339799467091103691884553130435415075177860930549652745826674853096449282"],"tag":"AbiUInt"},{"contents":[256,"108204543357421479319622048776049917004497222847525224789333086889781352706077"],"tag":"AbiUInt"},{"contents":[256,"1528230770"],"tag":"AbiUInt"},{"contents":[256,"49728308155778101487292884389572433800944958963102696690582033635201623407491"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025216","0x00000000000000000000000000000000000000000000000000000000000044ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":[256,"1532469648"],"tag":"AbiUInt"},{"contents":[256,"1538868902"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007940","0x0000000000000000000000000000000000000000000000000000000000001357"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]