[{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"111562790388083274122284929289153470692055788448032009310126571826287328720965"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb32","0x00000000000000000000000000000000000000000000000000000000000001f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75d","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"9619719405635587310507289952766971419637392414904548866331300967971311"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb04","0x0000000000000000000000000000000000000000000000000000000000002326"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062337"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e4","0x000000000000000000000000000000000000000000000000000000000000e293"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"30141872686217479010693560728749595830656360881497820098157850535104959060471"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3f","0x00000000000000000000000000000000000000000000000000000000000003e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":[128,"146287105457202317666994673628368781788"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000576ad","0x000000000000000000000000000000000000000000000000000000000000135b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084276","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517d","0x00000000000000000000000000000000000000000000000000000000000001f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb20","0x000000000000000000000000000000000000000000000000000000000000001c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"29"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000033","0x0000000000000000000000000000000000000000000000000000000000001370"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000086","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x00000000000000000000000000000000000000000000000000000000000035d5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"37"],"tag":"AbiUInt"},{"contents":[256,"72177917124063203595525839238244016787562443683975143790224497834581266207418"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085b27","0x0000000000000000000000000000000000000000000000000000000000009aa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"100293045255225771986615967154564533254593387357014971307815516664328067940684"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb48","0x0000000000000000000000000000000000000000000000000000000000004b96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"132"],"tag":"AbiUInt"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011518"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007b","0x0000000000000000000000000000000000000000000000000000000000007e4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"43614748300580564192461557816131496875201533662389364058521458614049165504864"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e37a","0x000000000000000000000000000000000000000000000000000000000000dda8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0f","0x000000000000000000000000000000000000000000000000000000000000b556"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"103322357794879275946113165651015354876523422073967866219282459454172579730904"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f96","0x000000000000000000000000000000000000000000000000000000000000ea96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000045","0x000000000000000000000000000000000000000000000000000000000000002f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":[8,"153"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bda","0x000000000000000000000000000000000000000000000000000000000000139c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"13446688552704526085905840042910072981578496741614353876149280770987818864087"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe3","0x0000000000000000000000000000000000000000000000000000000000009203"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"130992233745439825245539"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f98","0x0000000000000000000000000000000000000000000000000000000000006de1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":[256,"25399233540344250427540788348495239939646571822191293593061296831601251449167"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea49","0x0000000000000000000000000000000000000000000000000000000000001340"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"96522422357089248492330548354991506415273523770847319313618289634494132520623"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb29","0x000000000000000000000000000000000000000000000000000000000000e365"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab50","0x00000000000000000000000000000000000000000000000000000000000009cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000041358","0x0000000000000000000000000000000000000000000000000000000000001d1f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"67666120759440692692365923440112109781813958145799083027253053709765982186108"],"tag":"AbiUInt"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164c","0x000000000000000000000000000000000000000000000000000000000000510b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000041ce","0x000000000000000000000000000000000000000000000000000000000000138c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\NULC\\n/\\149\\NUL\\135\\191Eqv\\167\\144G\\242\\245\\236\\167\\DC43B\\243ze\\163\\200\\NAKrD~\\241\\246\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x0000000000000000000000000000000000000000000000000000000000000129"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580ae","0x000000000000000000000000000000000000000000000000000000000000001f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1b","0x0000000000000000000000000000000000000000000000000000000000000386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"32682621617134619961363619668666873943738317108374706127136553820036658884350"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec5","0x00000000000000000000000000000000000000000000000000000000000003e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"94"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfa","0x0000000000000000000000000000000000000000000000000000000000001c99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb0","0x000000000000000000000000000000000000000000000000000000000000133b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211778"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002e","0x000000000000000000000000000000000000000000000000000000000000ca0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"79469294597486749564640541114578678680934601788563457656616027096339955099335"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c82f","0x0000000000000000000000000000000000000000000000000000000000000064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000052","0x000000000000000000000000000000000000000000000000000000000000ebcc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4b","0x0000000000000000000000000000000000000000000000000000000000002714"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"59125744905637287944186219088075057152272699546619551788770471162974057163025"],"tag":"AbiUInt"},{"contents":[256,"63654575727486477012509454234929304486320242177646187539818638115796461919100"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006962d","0x0000000000000000000000000000000000000000000000000000000000000089"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff9","0x0000000000000000000000000000000000000000000000000000000000007fe1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"9998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x0000000000000000000000000000000000000000000000000000000000001414"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdc","0x0000000000000000000000000000000000000000000000000000000000000075"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000006","0x0000000000000000000000000000000000000000000000000000000000000005"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bd","0x0000000000000000000000000000000000000000000000000000000000001337"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"28441415616672565574649222168756998819746200760450651471168361710620453228804"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008b","0x0000000000000000000000000000000000000000000000000000000000000fb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062e05","0x0000000000000000000000000000000000000000000000000000000000007e4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000063","0x0000000000000000000000000000000000000000000000000000000000000bcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"1532168590"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f17","0x0000000000000000000000000000000000000000000000000000000000005d4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639437"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb03","0x0000000000000000000000000000000000000000000000000000000000000130"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639939"],"tag":"AbiUInt"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e8","0x0000000000000000000000000000000000000000000000000000000000000075"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c247","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\167\\177\\240\\141 Z\\FS\\254W\\239P\\244\\180\\194\\229[:\\203\\195\\152G\\250XL\\198\\\"4k\\180>\\188\\207\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce54","0x0000000000000000000000000000000000000000000000000000000000000075"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eade","0x0000000000000000000000000000000000000000000000000000000000006ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f7c2","0x000000000000000000000000000000000000000000000000000000000000002a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000103ef","0x000000000000000000000000000000000000000000000000000000000000231f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"26747803879797085719853377301458710290100910150942346695841235901889053239666"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029098","0x000000000000000000000000000000000000000000000000000000000000d7d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c8","0x000000000000000000000000000000000000000000000000000000000000270f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":[256,"103055958152009068047863218833275292599712009589778766238182108105356905904020"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b721","0x0000000000000000000000000000000000000000000000000000000000000044"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"87077240848137187326960001621007382556614796850983986034806841663969666310425"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000027","0x0000000000000000000000000000000000000000000000000000000000000007"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"42487592962684176739254443353794061607566358058940589945792319207751357289042"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae0","0x000000000000000000000000000000000000000000000000000000000000138c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007fff","0x000000000000000000000000000000000000000000000000000000000000012e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaff","0x0000000000000000000000000000000000000000000000000000000000009204"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":[256,"309485009821345068724781057"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d1b7","0x000000000000000000000000000000000000000000000000000000000000b2fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"1528420595"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015180","0x00000000000000000000000000000000000000000000000000000000000012b9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"23670711051264986093992948201793357901263624529454815890099680334251124010668"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bda","0x000000000000000000000000000000000000000000000000000000000000dcb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"109334291526176423670162071820130222146164724927713116944934502990975195869626"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008248b","0x000000000000000000000000000000000000000000000000000000000000c46a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"96146104495625949189884732417961354292401330943835632218383450649359292298313"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec6","0x000000000000000000000000000000000000000000000000000000000000991e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"2285415260539406924648"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012a","0x0000000000000000000000000000000000000000000000000000000000000049"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639902"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81b","0x000000000000000000000000000000000000000000000000000000000000058d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"2024"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf5","0x000000000000000000000000000000000000000000000000000000000000adcf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553534"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c4f1","0x000000000000000000000000000000000000000000000000000000000000012f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\RS\\135\\SI\\198\\239\\146FX\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\249=vK5\\230GB6 \\218\\214\\151\\SO\\ESCOF\\230\\DC4\\184\\205kt\\163\\236\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\RS\\188\\245\\DC2F\\150GwFrT\\244\\195\\132^\\235A{\\250\\DC2\\149\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141'\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\191^\\146\\240\\249\\177\\213n\\198^\\206\\236l\\228\\SO\\177\\192\\&2\\179\\EM\\bY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC2\\245\\208\\170<\\DC3j\\141\\181\\231\\157\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\155\\RSKJ\\166\\130\\128\\EM\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\DC2\\SOH2\\195\\192\\149\\CAN\\GSI\\ETX\\US\\171\\152J\\193M\\249\\216\\SUBy,\\ETB+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\181\\208C\\140{]\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"u>p~\\213\\185'G\\162\\148<\\147\\&9S\\245\\219\\218m\\194\\236|L\\250\\164J\\131\\232\\NUL\\177\\240\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Y3\\187\\215/b\\132\\DLE\\133\\237~-\\207 \\212\\253\\204\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\153\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\191\\233\\165\\152]\\148`\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"c5\\\"K\\208\\ACK\\EOT8CR\\158\\217OY\\158^\\255\\165\\129;!1\\207\\CANY\\190l \"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\156\\178C!\\207\\ACKw\\154VU\\201:\\n\\147\\160@o\\217\\r\\143\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\SOo\\228\\216\\148<\\163\\242\\174\\145\\199\\218c\\206\\&7\\US\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\NUL\\188\\158\\195\\167\\153\\143\\240z\\153]\\199\\FS\\NAKI(\\254\\187\\173\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\ESC\\GS\\166\\b!Y\\t\\165\\135\\245\\139p\\193\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\237c\\170k\\138N\\CANH\\199\\154\\224\\129\\234\\180*o\\212L]\\164\\173\\233toW\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"8S'k\\246_Lsf\\181\\209\\152\\215\\179\\214\\USza\\231\\DEL~\\159(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\178nc,5Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\201R\\148o\\230\\243\\217\\208\\136\\198\\181YO&\\238/\\t\\255\\209Q\\231\\246\\209(\\166I\\ETB\\241\\EOT\\159\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\195N\\EOT<\\DC3K/\\183\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\&3R\\232V\\207\\&1M\\141\\f\\164\\180_\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\201\\&0rVn\\147;r\\230\\ACK\\STX(\\168\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\202\\240\\ESC\\203\\&3\\195@\\DC4V_\\ETX\\233\\187t\\\\\\ESC\\252OF\\242\\249k-\\EMa\\253\\181\\201_\\159K\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\128EH\\242e\\171W\\137\\242tOC\\195\\233\\&43\\209\\EM\\t\\150\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\ESC4\\178p\\195\\194\\171l\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\231\\148\\156^\\SUB&\\205\\SOHT\\165\\185\\159\\199a\\209\\145\\220\\171|\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"5d\\131\\197\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\219\\160%6\\227\\SO\\ENQ\\188O\\238\\232\\199\\v6\\FS\\172\\\"XF^\\211W\\169T\\223\\206\\130\\\"\\219\\SO3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\SOH\\230\\196{a\\137 \"","tag":"AbiBytesDynamic"},{"contents":"\"&6(\\ETX\\166\\a_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\SIp\\231!D\\142\\180I\\210.\\223\\167IJ\\151\\164\\DC4\\252\\160\\191\\191\\154\\&9\\232\\\"\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\175N\\202\\214\\184$\\CAN\\217\\211\\231\\233\\240ZG\\DLE\\EMZ\\180?\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"0z\\164vB\\241v\\213SW\\t\\n\\138\\131\\246L\\ACK\\249\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\202\\187pqA\\189^8)\\212\\FSp\\221`u_\\205\\173@\\STX\\253\\249o\\168Y\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\161v\\194\\190!\\242Y\\240\\208\\DC3\\217*g\\241\\202\\159\\&7\\161'~\\227l(\\178\\144\\254\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\154\\RSP\\255\\al\\183J\\SO\\211\\196\\229g\\140o\\249\\153qj\\\"\\t\\134`\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164]\\143zj\\208\\159\\164|h>tV\\168\\n}\\150\\198\\146Y\\197\\193#D\\ENQ%\\213\\246\\172d\\211\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\174\\ENQ\\223\\138\\189q\\246\\235\\143d\\136x\\168\\233_0\\f\\SI,\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\DC2O,\\139\\183\\NAK\\f\\ETX\\188\\162\\224\\191\\250z\\SOH\\128U+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\199z&\\191\\199\\146q\\150H\\177s{7\\200vz\\253\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\202\\136\\135\\193\\215yO\\146\\165\\252at5\\138?(\\206p\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\",\\241aq\\223\\196I+&\\190X?,\\163<7\\159\\156c\\215\\227\\NAK\\DEL\\EOT\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\183\\180\\151Wsv\\187R\\DC3\\ACK\\ACK\\153\\200m\\DC1Z\\139\\DC2\\150\\188\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\186J\\219q,\\185\\151\\204\\207o\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\STX^\\a\\SOHL`0\\134W\\243\\168\\STX\\234\\168\\162\\n\\245~\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\".\\200>\\181\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\128\\&2\\186;\\a9!CI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\154\\RSP\\255\\al\\183J\\SO\\211\\196\\229g\\140o\\249\\153qj\\\"\\t\\134`\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164]\\143zj\\208\\159\\164|h>tV\\168\\n}\\150\\198\\146Y\\197\\193#D\\ENQ%\\213\\246\\172d\\211\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\174\\ENQ\\223\\138\\189q\\246\\235\\143d\\136x\\168\\233_0\\f\\SI,\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\DC2O,\\139\\183\\NAK\\f\\ETX\\188\\162\\224\\191\\250z\\SOH\\128U+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\199z&\\191\\199\\146q\\150H\\177s{7\\200vz\\253\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\202\\136\\135\\193\\215yO\\146\\165\\252at5\\138?(\\206p\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\",\\241aq\\223\\196I+&\\190X?,\\163<7\\159\\156c\\215\\227\\NAK\\DEL\\EOT\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\183\\180\\151Wsv\\187R\\DC3\\ACK\\ACK\\153\\200m\\DC1Z\\139\\DC2\\150\\188\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\186J\\219q,\\185\\151\\204\\207o\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\STX^\\a\\SOHL`0\\134W\\243\\168\\STX\\234\\168\\162\\n\\245~\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\".\\200>\\181\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\128\\&2\\186;\\a9!CI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\166\\223M\\149\\\\\\226\\140\\155\\DLE\\245/\\216j.\\ETB\\162\\240\\194\\a\\241\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\201\\165\\fp\\130\\171\\241`(M\\197\\159S$\\DC2\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"}\"","tag":"AbiBytesDynamic"},{"contents":"\"$Z\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\162\\&9\\254w\\186\\&48]\\194D\\166\\129k6J2\\134\\152\\155\\182X\\EOTU\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\155x\\165\\214R\\SI\\252\\210\\247\\168\\NAKB\\166\\189\\EM\\\"\\NULH*?Gw8\\241\\SUB\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"IU\\164\\ESC\\237g\\US\\v[\\188\\&0\\166\\&1\\221\\ne\\164\\r\\210\\134\\&8\\137\\173\\220\\135\\&05\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\242\\232x\\217\\252\\255\\181\\245\\197\\&4(oh\\139\\176/\\NUL\\221H\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\171\\132\\ENQ_\\162\\160\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS)\\v\\203\\140\\&3\\225B6\\168\\RS\\210\\166\\163 \\212DI\\217\\183\\154\\232\\NAK\\177r\\199\\253\\DLE\\\\\\r\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"OV\\254\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\&9\\234F\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154-\\170\\138\\225B\\SYN\\217\\172\\191\\204\\193\\147\\GS}r\\DC4\\182\\154\\142\\145\\&7\\DC2\\154\\DC1\\187\\137>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\182\\167\\141|\\EM\\229]c\\239-P`Q\\141I\\\"\\ESC\\186\\150\\221\\202\\207\\&1r\\233\\SOH\\167'\"","tag":"AbiBytesDynamic"},{"contents":"\" xi\\226\\155L\\159\\221\\174s\\206>\\195\\226\\207\\192x\\251b\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\FS\\151D\\209\\SYNe\\168\\234\\211\\160_\\166\\231\\216\\144P7\\171Eo\\250\\US\\176\\244\\232\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\240\\165r\\204U\\138=\\147\\185\\204\\159C\\131\\227f\\179\\248Y\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"t7\\205\\&3\\130\\250\\215\\239=\\SUBF\\214KO\\148\\215\\SUB\\155\\182\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\CAN\\SOHG\\205s\\219\\238\\b\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\151\\144\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQte\\ESC^:w\\b\\188;\\164\\195T\\243\\FSl\\FS\\239\\GS\\NUL\\DEL\\208\\252\\&1\\179\\\\\\249\\rw\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"2\\186g\\SYN\\209\\216\\173x9VC\\143\\184\\211\\175\\146\\SYN\\STX\\254\\181\\152/E\\189\\DC3*jh\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\182\\165L\\202E\\165\\184%\\144\\188\\NUL\\t\\152\\204\\ESC+~\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157|\\173\\DC4\\141\\SO\\178\\131D\\DEL\\225\\248\\134\\244\\bA\\DEL,\\188\\ENQ\\164;:\\231\\224\\RS\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\217\\213 \\188i4(\\180\\251\\205'\\208\\198\\217<Ub \\255\\155\\165\\a\\145\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\178\\239\\b\\206\\157B&\\GS\\176\\232M\\213L\\202\\162\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\188cP \\DEL\\246\\SUB~t\\252\\238>Xe\\240F\\195\\212\\175\\244\\196L\\193f&\\131\\241\\217H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\172&`\\161`\\209\\f\\222\\200qe\\135\\CAN$\\SO\\DC2\\164\\231\\203A\\133i\\ACK \\244+B\\201Ru\"","tag":"AbiBytesDynamic"},{"contents":"\":\\239*\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\236f\\157\\150\\&3s\\213cfD\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\183\\n\\176I\\246\\ESC~\\199Mm\\240\\207K\\210\\tf\\f^\\189\\133\\DC3\\141\\161\\139\\201\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"V;w\\208S<u\\FSi\\189\\NAKz\\207v\\150\\165\\132\\165\\233\\241\\235\\162*\\138\\235{\\254\\171\\130\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\224\\169\\RS\\170\\167\\nQ\\159>\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130:v\\243\\134\\234\\177\\165\\146\\188\\USB\\161\\190\\188 H\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\RS\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\138\\179\\245\\ETX.[L\\155\\ENQ\\245\\248\\SUB?\\DC1\\199>\\SYN\\139\\250\\182t\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\205\\SYN~bD\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\168\\150\\131g0\\SYN\\202\\134\\174\\207o>3JVd\\206X\\239\\178\\DEL\\205a\\134\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\217\\194{+\\203y\\DC2\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234N\\227-j+\\171\\&7Y\\207T\\247\\129\\&7\\187\\162\\187\\nJ\\252\\203\\252&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\149Ti\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225U\\232\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"64403065385274921775119161825828113514672342208210114770259559687383157189800"],"tag":"AbiUInt"},{"contents":[256,"13532159898210096230850273203812138057143199730686689415403292354652873358093"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211776"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639632"],"tag":"AbiUInt"},{"contents":[256,"94853739830103102032565623470283097157445396440344184537937547444392963669838"],"tag":"AbiUInt"},{"contents":[256,"3479141140454754990775515494328268271306315051176561051094837886345383588974"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639910"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"96858811796556037093972300311185989423863570688101854674788198643256219766835"],"tag":"AbiUInt"},{"contents":[256,"51248936639864348465396324852649042499000324011379974092168265859686315356530"],"tag":"AbiUInt"},{"contents":[256,"18276509247588373436567055560114174138195389490062805399574377858564773554282"],"tag":"AbiUInt"},{"contents":[256,"23"],"tag":"AbiUInt"},{"contents":[256,"1998"],"tag":"AbiUInt"},{"contents":[256,"41057688158575104859613866889776973202308996937790131734974670232950636110410"],"tag":"AbiUInt"},{"contents":[256,"53275410089408122929261917657552664299"],"tag":"AbiUInt"},{"contents":[256,"49274491017817793936450085178427870011430272950599122781111678709850127646607"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"106714512910155531904072683701232853078163485412070809879202702003034171895492"],"tag":"AbiUInt"},{"contents":[256,"43361352612379716211880093092494005483615120087230408732025573423476485929534"],"tag":"AbiUInt"},{"contents":[256,"15628012033326691607"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"57686675265518752790672003440768222297990595291150855611523704397721643600492"],"tag":"AbiUInt"},{"contents":[256,"17361666726518925897474849902169354669619979103724338794147037533094974443934"],"tag":"AbiUInt"},{"contents":[256,"36997391582690278558070243608766277562365252654450913878501971423171788738949"],"tag":"AbiUInt"},{"contents":[256,"69"],"tag":"AbiUInt"},{"contents":[256,"40620682831332050662287401735526984320076396225358818296639748150857391512920"],"tag":"AbiUInt"},{"contents":[256,"104288600173947513132003176108371953000368656174618410355041183356620613732506"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634934"],"tag":"AbiUInt"},{"contents":[256,"74965082917736069567161860639236412970269000433828658011822718492984728163230"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639637"],"tag":"AbiUInt"},{"contents":[256,"945218519569007358429231064"],"tag":"AbiUInt"},{"contents":[256,"29942029275922979900494242813397299149637833694809506768866901681737508326320"],"tag":"AbiUInt"},{"contents":[256,"4003"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639707"],"tag":"AbiUInt"},{"contents":[256,"33362062953545535829763684223552315669216511601058783754941808188038662588024"],"tag":"AbiUInt"},{"contents":[256,"57666473783694121013296025698281598240850889075852574190223054144802754336702"],"tag":"AbiUInt"},{"contents":[256,"66472011841543052323857346045949091849099867378598417815603191742353321408766"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639883"],"tag":"AbiUInt"},{"contents":[256,"105018568774554596598712518901490080146340137032227310132604879700025747198505"],"tag":"AbiUInt"},{"contents":[256,"32663600316798580503716610144760595388095917313826285571116342139389919714477"],"tag":"AbiUInt"},{"contents":[256,"222"],"tag":"AbiUInt"},{"contents":[256,"12801240002077154091812486024733714729038074156561534616793180280277358261761"],"tag":"AbiUInt"},{"contents":[256,"88909363449235474716108180980793831306966613492299101878724097656871115239810"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636338"],"tag":"AbiUInt"},{"contents":[256,"1528420595"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639829"],"tag":"AbiUInt"},{"contents":[256,"66958281001331696139164797385490171981192805580471599150157851825223674120137"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"},{"contents":[256,"104695749875953387415969311990535427442039103801181743810314384240326346671500"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030334"],"tag":"AbiUInt"},{"contents":[256,"100895046840539679768742964967981589205494999393406391653439024990207739050310"],"tag":"AbiUInt"},{"contents":[256,"51"],"tag":"AbiUInt"},{"contents":[256,"5079043036040753123777378654801486702312016602390462762316271554361524720337"],"tag":"AbiUInt"},{"contents":[256,"51224297282899623504475136955759780862205398601579182440427165878523988983025"],"tag":"AbiUInt"},{"contents":[256,"71"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639900"],"tag":"AbiUInt"},{"contents":[256,"12413648158214458394062655148089604539575344415971632729990081586346291494015"],"tag":"AbiUInt"},{"contents":[256,"94462503124781509376467133917974176335005796766147686001737714545648111276452"],"tag":"AbiUInt"},{"contents":[256,"94462503124781509376467133917974176335005796766147686001737714545648111276452"],"tag":"AbiUInt"},{"contents":[256,"94462503124781509376467133917974176335005796766147686001737714545648111276452"],"tag":"AbiUInt"},{"contents":[256,"94462503124781509376467133917974176335005796766147686001737714545648111276452"],"tag":"AbiUInt"},{"contents":[256,"94462503124781509376467133917974176335005796766147686001737714545648111276452"],"tag":"AbiUInt"},{"contents":[256,"94462503124781509376467133917974176335005796766147686001737714545648111276452"],"tag":"AbiUInt"},{"contents":[256,"94462503124781509376467133917974176335005796766147686001737714545648111276452"],"tag":"AbiUInt"},{"contents":[256,"94462503124781509376467133917974176335005796766147686001737714545648111276452"],"tag":"AbiUInt"},{"contents":[256,"94462503124781509376467133917974176335005796766147686001737714545648111276452"],"tag":"AbiUInt"},{"contents":[256,"94462503124781509376467133917974176335005796766147686001737714545648111276452"],"tag":"AbiUInt"},{"contents":[256,"94462503124781509376467133917974176335005796766147686001737714545648111276452"],"tag":"AbiUInt"},{"contents":[256,"94462503124781509376467133917974176335005796766147686001737714545648111276452"],"tag":"AbiUInt"},{"contents":[256,"94462503124781509376467133917974176335005796766147686001737714545648111276452"],"tag":"AbiUInt"},{"contents":[256,"94462503124781509376467133917974176335005796766147686001737714545648111276452"],"tag":"AbiUInt"},{"contents":[256,"94462503124781509376467133917974176335005796766147686001737714545648111276452"],"tag":"AbiUInt"},{"contents":[256,"254"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"60359309882773415108273360669001565909615137462882824204553123392784630775415"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"89738055494564260296119048004242959638547634979523686602155010784955605730334"],"tag":"AbiUInt"},{"contents":[256,"470466451579"],"tag":"AbiUInt"},{"contents":[256,"17357236101028787687281019988878437836690907973628951358099693254223545234179"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088318"],"tag":"AbiUInt"},{"contents":[256,"64128734072275865063392821126197819863961248028002783449046704832898775"],"tag":"AbiUInt"},{"contents":[256,"10859694771271021976578980075906054979511114639063753180029739526899651821825"],"tag":"AbiUInt"},{"contents":[256,"26446276882484143935398967383595335115869840468795508268753331402320838835455"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"123"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639855"],"tag":"AbiUInt"},{"contents":[256,"3532164643654412918319954695174182185187274999782194902808842112186606797615"],"tag":"AbiUInt"},{"contents":[256,"72507453799406495576633970878896050753623031435280800390139279087991642393244"],"tag":"AbiUInt"},{"contents":[256,"87687710086462582550595788350852413220439085720082235727621493563141950106507"],"tag":"AbiUInt"},{"contents":[256,"76356509134885066234964586838803843971348376297677312493982226606359189649700"],"tag":"AbiUInt"},{"contents":[256,"3998"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"8842313874795472765992322328959575273523362320488834603997283078733385195171"],"tag":"AbiUInt"},{"contents":[256,"871"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"55601468836891545160349773638780110996066760246393004219854775845306737570371"],"tag":"AbiUInt"},{"contents":[256,"123"],"tag":"AbiUInt"},{"contents":[256,"998"],"tag":"AbiUInt"},{"contents":[256,"5"],"tag":"AbiUInt"},{"contents":[256,"301"],"tag":"AbiUInt"},{"contents":[256,"80070860829834392392672341660859124516794999932168886175810629426232597615618"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858884"],"tag":"AbiUInt"},{"contents":[256,"102585272652840750201799928484705063770714671536433037105471609349780026480138"],"tag":"AbiUInt"},{"contents":[256,"68483215962607535546805392318738062251801882876804698162488112495397199191993"],"tag":"AbiUInt"},{"contents":[256,"81"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"63638896546262085189377820247846447776008071772619255585508350652688159634184"],"tag":"AbiUInt"},{"contents":[256,"28618535855903185563351449531702308942279125268793739732845377007077055171063"],"tag":"AbiUInt"},{"contents":[256,"4370000"],"tag":"AbiUInt"},{"contents":[256,"67838403370589076163769885325029110661932165296054355075971665082255556146045"],"tag":"AbiUInt"},{"contents":[256,"108180692936164869700738290701283645814488427431687810822123661664245745680545"],"tag":"AbiUInt"},{"contents":[256,"88650928286932812201501371017308296996325138035416702514095010309655693066607"],"tag":"AbiUInt"},{"contents":[256,"4243069996154451185790868470147163679088763012070006"],"tag":"AbiUInt"},{"contents":[256,"90286912533595413840385545716548837549245743112599404744777439922968711838510"],"tag":"AbiUInt"},{"contents":[256,"102"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c3","0x000000000000000000000000000000000000000000000000000000000000ca09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002e8f2","0x00000000000000000000000000000000000000000000000000000000000074ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":[256,"94331107704247346388151911551188000034054977561189577789086814388757379170598"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002711","0x0000000000000000000000000000000000000000000000000000000000004ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066815","0x000000000000000000000000000000000000000000000000000000000000058c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"73"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ff","0x0000000000000000000000000000000000000000000000000000000000000e12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"227"],"tag":"AbiUInt"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":[256,"404"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000eb","0x0000000000000000000000000000000000000000000000000000000000003f7c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34d","0x0000000000000000000000000000000000000000000000000000000000009a9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000018ecaab996de616c4"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507327"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000041628","0x00000000000000000000000000000000000000000000000000000000000011ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065e04","0x000000000000000000000000000000000000000000000000000000000000004a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"37986912254084093441021329794886878666883908522004126271894725900147764751035"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ff","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"254"],"tag":"AbiUInt"},{"contents":[256,"9002"],"tag":"AbiUInt"},{"contents":[256,"1999"],"tag":"AbiUInt"},{"contents":[256,"86629276642462508796148629112375816540113193976184654647229188002085240862476"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b5a0","0x000000000000000000000000000000000000000000000000000000000000002f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"229"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007cf4e","0x00000000000000000000000000000000000000000000000000000000000003fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba4","0x0000000000000000000000000000000000000000000000000000000000000fa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636332"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea62","0x0000000000000000000000000000000000000000000000000000000000000052"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211775"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e3","0x00000000000000000000000000000000000000000000000000000000000007ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084277","0x00000000000000000000000000000000000000000000000000000000000095b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"57900302832833382228270889681042678884475388448453501038944095582193977425032"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4f","0x0000000000000000000000000000000000000000000000000000000000000e10"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea4a","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4d","0x0000000000000000000000000000000000000000000000000000000000007e48"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":[256,"10625944469328532607140528192878448764107452721223242587005788862260425937216"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000223cb","0x000000000000000000000000000000000000000000000000000000000000d6bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb05","0x0000000000000000000000000000000000000000000000000000000000003f7f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51a","0x0000000000000000000000000000000000000000000000000000000000009203"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf7","0x0000000000000000000000000000000000000000000000000000000000006148"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c9","0x00000000000000000000000000000000000000000000000000000000000095e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"174970242386849371851102899795622012631"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec4","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"32816522002924771284748894178488658950549250560818476990500425440472101284709"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb1","0x00000000000000000000000000000000000000000000000000000000000069fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a317","0x0000000000000000000000000000000000000000000000000000000000001c98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]