[{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x432EC9EACCbaf30BE4058F63E729de60E7c54B42","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000091b1d","0x00000000000000000000000000000000000000000000000000000000000033d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"2"],"tag":"AbiUInt"},{"contents":[8,"70"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000391e9","0x00000000000000000000000000000000000000000000000000000000000003cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003ebb2","0x00000000000000000000000000000000000000000000000000000000000086a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060e35","0x0000000000000000000000000000000000000000000000000000000000006aa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"72804895483321149477689133428819197104377972979338038246927765385535960426181"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f986","0x0000000000000000000000000000000000000000000000000000000000004411"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"176"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005444a","0x000000000000000000000000000000000000000000000000000000000000e1cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"1535353326"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b689","0x000000000000000000000000000000000000000000000000000000000000191b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"101245117693274393037562191384555006017687013341444149001067525996633935214232"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000002af","0x00000000000000000000000000000000000000000000000000000000000022a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":[128,"253383353541754273166071650575244414192"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047e4b","0x000000000000000000000000000000000000000000000000000000000000a074"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092b82","0x000000000000000000000000000000000000000000000000000000000000d1ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x23c3Fb00f6Ca966b4eA46000F984C43809b2eE30","tag":"AbiAddress"},{"contents":[256,"15503908648459806946545435462335147103705344775179141804295149381036669133535"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f4ce","0x0000000000000000000000000000000000000000000000000000000000005a1d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x00000000000000000000000000000000000000000000000451253fbef17f6966"},{"call":{"contents":["switch_vault",[{"contents":[256,"2148778036300027509513699335552074377196219616489540869666860153125330594074"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e2d3","0x000000000000000000000000000000000000000000000000000000000000bd3b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x6711ecCa7992898FC4CE393705a975Ca345FE3A2","tag":"AbiAddress"},{"contents":[256,"54221249737273739252945794525606108969310181174414207576912175127177577207340"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017c64","0x000000000000000000000000000000000000000000000000000000000000e003"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_6",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039515","0x000000000000000000000000000000000000000000000000000000000000904a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x000000000000000000000000000000000000000000000003d8580ccaa304ae5d"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"39217070068827089824964519426425842563233688370605356323218210330660106613018"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d7fb","0x00000000000000000000000000000000000000000000000000000000000082e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"1274810621486389"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064e34","0x0000000000000000000000000000000000000000000000000000000000001c4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"104127913513866893390620717110557145982528087690674019107790867305190665222036"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000090d04","0x0000000000000000000000000000000000000000000000000000000000006ffd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"62792352389356406297074674967472141962256049746472047696858742081448465456224"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d817","0x000000000000000000000000000000000000000000000000000000000000dca9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":[128,"295043948265772044008905139872900681909"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001bd5","0x0000000000000000000000000000000000000000000000000000000000002ff7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"202"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008461","0x0000000000000000000000000000000000000000000000000000000000007c19"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"88635582796029932213166818634689560896081700145425768319542418301237207847453"],"tag":"AbiUInt"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054374","0x000000000000000000000000000000000000000000000000000000000000db02"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"36616106254939440904950947526388592567"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006594a","0x0000000000000000000000000000000000000000000000000000000000009b57"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003ca5c","0x00000000000000000000000000000000000000000000000000000000000045f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"586"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c8a0","0x000000000000000000000000000000000000000000000000000000000000034d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"1"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae0","0x000000000000000000000000000000000000000000000000000000000000ac87"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008cef6","0x000000000000000000000000000000000000000000000000000000000000337d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"1526154942"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ac75","0x000000000000000000000000000000000000000000000000000000000000dcb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"89512977286619836542019247038898884116371771924047111069037353423664093488830"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066491","0x000000000000000000000000000000000000000000000000000000000000b585"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027f63","0x00000000000000000000000000000000000000000000000000000000000013d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032851","0x00000000000000000000000000000000000000000000000000000000000032b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"58927970968142045024003166766951188356234665672864341437341151348514801562154"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000845f9","0x00000000000000000000000000000000000000000000000000000000000094eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d5d6","0x000000000000000000000000000000000000000000000000000000000000dbca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"57326599047581325627794777658855020647936048163122494272953100409823903307347"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037114","0x0000000000000000000000000000000000000000000000000000000000006a17"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"1531742447"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c986","0x0000000000000000000000000000000000000000000000000000000000004760"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"20677437511207937751551831"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035012","0x000000000000000000000000000000000000000000000000000000000000e15d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"63831673481602867465353452534908957267772567774391903116602708207128872257864"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000078baf","0x00000000000000000000000000000000000000000000000000000000000001d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"1533365699"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a739","0x000000000000000000000000000000000000000000000000000000000000b4c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001d4db","0x000000000000000000000000000000000000000000000000000000000000c7d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0xC3B0174C932505ccdd8F9E4DE52f7D3274BD0158","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051c22","0x0000000000000000000000000000000000000000000000000000000000009fe9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":"0x041eC99B601aE6e5E4662249B4221c1C1C744dc5","tag":"AbiAddress"},{"contents":"0x7e629DB2E2742448D090DCda26FFaa4A2446c656","tag":"AbiAddress"},{"contents":[256,"1533752833"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004209b","0x000000000000000000000000000000000000000000000000000000000000d685"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bbc4","0x0000000000000000000000000000000000000000000000000000000000000205"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"60557775393770005538474743839827091424969782549322967707835143429858318898436"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008b9de","0x000000000000000000000000000000000000000000000000000000000000a0c7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266894"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000785f0","0x0000000000000000000000000000000000000000000000000000000000008864"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"470917725668082810259151465016290731776185860254063"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000229ae","0x00000000000000000000000000000000000000000000000000000000000099d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"52"],"tag":"AbiUInt"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":[256,"28093978994769953057627333094885946318982005310699336399245774202813892227833"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000272ed","0x000000000000000000000000000000000000000000000000000000000000a01a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712b4","0x000000000000000000000000000000000000000000000000000000000000d6d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dcff","0x0000000000000000000000000000000000000000000000000000000000008e9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"7032810634984796976659046455932868843225666849304921985701039376634272480752"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006af00","0x0000000000000000000000000000000000000000000000000000000000003593"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"1532845057"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fe4c","0x0000000000000000000000000000000000000000000000000000000000001431"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xe88a1Dd8aFa0b333683A4FABD9e53e4e9df31F99","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x792F3eb0aCD92Dc9ab83c64DA4657B1AA8E47681","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x041eC99B601aE6e5E4662249B4221c1C1C744dc5","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x5e5572F463FE04963DD4aC2b15b2f4fc28EF150C","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x21F09B10070A008A178871523975dB24364088ED","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0x1Bb038fb54BfcBFA3814cE47cA5618cBA47dCdeF","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0xAfD12d84FCF4ce7b7d9ca470ea6817ded9AaeC1B","tag":"AbiAddress"},{"contents":"0x1a6076058a93937E7fe5236f6F10d35Ab001A5ee","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"103"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"58"],"tag":"AbiUInt"},{"contents":[8,"129"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[8,"61"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ac87","0x000000000000000000000000000000000000000000000000000000000000475e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"62034074261924861535525748100237132428"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000215db","0x0000000000000000000000000000000000000000000000000000000000002304"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"13825631212995544741392484765221177994022041837956340545668536426516689630010"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046b44","0x0000000000000000000000000000000000000000000000000000000000007ab8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"82645463343137423682079259562619202574246670455262335476943340869366359848981"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003b4f","0x000000000000000000000000000000000000000000000000000000000000cb70"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058e82","0x000000000000000000000000000000000000000000000000000000000000a9a6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000643df","0x000000000000000000000000000000000000000000000000000000000000bcda"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"86792529471275652571257951420959448234484339512126375281909625322810181129999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f7d7","0x000000000000000000000000000000000000000000000000000000000000016c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000013f08","0x0000000000000000000000000000000000000000000000000000000000006567"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087e66","0x0000000000000000000000000000000000000000000000000000000000006994"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"208506860403301501620849807184885615553"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076795","0x00000000000000000000000000000000000000000000000000000000000000a4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e1af","0x0000000000000000000000000000000000000000000000000000000000003a6a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"29083831533784818225479637265569300259562715482710213296179560227457470336175"],"tag":"AbiUInt"},{"contents":[256,"87011866212956717896307941096806279079866296273946353101028358418331195660312"],"tag":"AbiUInt"},{"contents":[256,"53061443129278759934012884249358301837229095240887420230162723476091708229338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000020b29","0x0000000000000000000000000000000000000000000000000000000000009e53"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"66566290093975587943274877864811030024455588465228723694277943392851130256395"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032e14","0x0000000000000000000000000000000000000000000000000000000000007e27"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000192cc","0x0000000000000000000000000000000000000000000000000000000000008dbc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000029fe","0x000000000000000000000000000000000000000000000000000000000000c3f9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"1529276673"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008bbba","0x00000000000000000000000000000000000000000000000000000000000093a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"27"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x18807cdDB6b44DAd687c9e1C04DCd205D8B9c07B","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000050530","0x00000000000000000000000000000000000000000000000000000000000006ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005684d","0x0000000000000000000000000000000000000000000000000000000000003636"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000023e16","0x00000000000000000000000000000000000000000000000000000000000052e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"\"\\232\\232\\232\\232\\232\\232\\232\\232\\232\\232\\232\\232\\232\\232\\232\\232\\a\\182m\\233#\\188\\129\\&7\\NAK\\147\\185\\167\\189\\160i\\r9%\\EM\"","tag":"AbiString"},{"contents":"\"\\142$\\DC2\\219q\\238\\205\\DEL\\v\\224W\\172\\EM}\\202\\STX\\181\\181\\181\\181\\181\\DC4\"","tag":"AbiString"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"1699"],"tag":"AbiUInt"},{"contents":[256,"25531787429206832825336628"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266893"],"tag":"AbiUInt"},{"contents":[256,"8215509607825692558746301660021455041624070987739513590719800144432560777897"],"tag":"AbiUInt"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000568f3","0x0000000000000000000000000000000000000000000000000000000000005ac6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"58701652594782671119135052918180318491784144684220117951026574087560648386851"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000032a1","0x00000000000000000000000000000000000000000000000000000000000021cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"63863001183730016176557226"],"tag":"AbiUInt"},{"contents":[256,"1532091115"],"tag":"AbiUInt"},{"contents":[256,"10654357313706667622739922364287917982616542088140639915396330872572094296748"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ed0","0x00000000000000000000000000000000000000000000000000000000000029c5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000924e7","0x00000000000000000000000000000000000000000000000000000000000030bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"79531794493466235831324301597143191835014065921665589409616846614046299856897"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f295","0x00000000000000000000000000000000000000000000000000000000000092b2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"16691217211284755208981701451521197574199614896846354024569762643493324642380"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001cd81","0x000000000000000000000000000000000000000000000000000000000000751e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"104"],"tag":"AbiUInt"},{"contents":[8,"21"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ff42","0x00000000000000000000000000000000000000000000000000000000000019ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000220a5","0x000000000000000000000000000000000000000000000000000000000000cdc9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074bdc","0x0000000000000000000000000000000000000000000000000000000000003389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000917b1","0x000000000000000000000000000000000000000000000000000000000000df07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000018f0","0x000000000000000000000000000000000000000000000000000000000000da2a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d6a0","0x00000000000000000000000000000000000000000000000000000000000076eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000160de","0x000000000000000000000000000000000000000000000000000000000000138a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"238"],"tag":"AbiUInt"},{"contents":[8,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000a987","0x0000000000000000000000000000000000000000000000000000000000009fe4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"587084110495015514437958965914894643367060785973449526790704199588084068476"],"tag":"AbiUInt"},{"contents":[256,"1533523764"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001244","0x0000000000000000000000000000000000000000000000000000000000009632"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"#\\234\\DLE\\SYN\\243]p\\157\\164A\\230\\141\\230\\163\\236\\245^\\193\\167\\150\\CAN\\168N\\182$\\143\\EOT}\\228M\\212d\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003521e","0x000000000000000000000000000000000000000000000000000000000000a7bc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"43593904714107530133684384433555751943328479407336761485496074697380876029086"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d1d8","0x00000000000000000000000000000000000000000000000000000000000096fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0xAdf448dE0d612390879415224DDC64A9efAdEa39","tag":"AbiAddress"},{"contents":[256,"1534247048"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001905","0x000000000000000000000000000000000000000000000000000000000000b87c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"10973361832778652718368947671349886547813463182802922515828856196262138969119"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064a7d","0x00000000000000000000000000000000000000000000000000000000000008e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"2548245222"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000020e7b","0x0000000000000000000000000000000000000000000000000000000000000749"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"102865148483351459834637953155893877963353497578550598711500462181000604465399"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000036e0","0x000000000000000000000000000000000000000000000000000000000000983c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000392cb","0x0000000000000000000000000000000000000000000000000000000000001277"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"93363325173876412863680196197312947937645065895416823411186589929534509401201"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065529","0x00000000000000000000000000000000000000000000000000000000000053cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"124189791"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008442f","0x00000000000000000000000000000000000000000000000000000000000080cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"24529205712117020376961560310490692209556080459878174301800984027366597721036"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4a","0x000000000000000000000000000000000000000000000000000000000000778f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"1525554020"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000149b6","0x000000000000000000000000000000000000000000000000000000000000137d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000040e7","0x0000000000000000000000000000000000000000000000000000000000004f56"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xF2D0C374B624153a22F06cEd85D6d3dA0A313a0c","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000078c81","0x000000000000000000000000000000000000000000000000000000000000ad5f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"65160034139267008141424195539997015723931022281738829765742456228596763126825"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d680","0x0000000000000000000000000000000000000000000000000000000000003ed5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"316173709660822200750170495433981608796"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002e021","0x000000000000000000000000000000000000000000000000000000000000e5f0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"1526741383"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000703a4","0x0000000000000000000000000000000000000000000000000000000000008ba0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"36359694192325518074148966999054840699900453467188583379321056012626067927763"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001d2b7","0x0000000000000000000000000000000000000000000000000000000000003c07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]