[{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f3a","0x0000000000000000000000000000000000000000000000000000000000000087"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000024","0x0000000000000000000000000000000000000000000000000000000000000bd2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"49"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052401","0x0000000000000000000000000000000000000000000000000000000000001386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x041eC99B601aE6e5E4662249B4221c1C1C744dc5","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000335","0x000000000000000000000000000000000000000000000000000000000000138f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"90498806013106156721389030492891972696938758199854640583578451281161575929429"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef49","0x0000000000000000000000000000000000000000000000000000000000000b55"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f682","0x000000000000000000000000000000000000000000000000000000000000133d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x000000000000000000000000000000000000000000000000000000000000a0bc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"63223330614914548597520115343120131493118337807234988533064014968998489227498"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x0000000000000000000000000000000000000000000000000000000000000591"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000130","0x0000000000000000000000000000000000000000000000000000000000005672"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"273"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000335","0x0000000000000000000000000000000000000000000000000000000000005cef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000386","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce51","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"114626971434855558781541169050627438639146455591478739966009416731313698188256"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d6b1","0x00000000000000000000000000000000000000000000000000000000000007d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb23","0x0000000000000000000000000000000000000000000000000000000000009f02"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ae5e","0x000000000000000000000000000000000000000000000000000000000000738a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054ed9","0x000000000000000000000000000000000000000000000000000000000000e356"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639797"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037d2f","0x0000000000000000000000000000000000000000000000000000000000000307"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000479a0","0x0000000000000000000000000000000000000000000000000000000000009ca5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"H\\190\\203\\167(|\\201+\\vyj4op*'\\163\\252\\203\\157\\&37V\\249\\220V\\134\\DC2\\211\\194{\\DC4\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000757aa","0x000000000000000000000000000000000000000000000000000000000000a350"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"18198900389572029355787850389603823951262376904125315428943697380242201664374"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1b","0x0000000000000000000000000000000000000000000000000000000000006540"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"38198839047666888574453361669030539913086252156659801132142280792923351196707"],"tag":"AbiUInt"},{"contents":[256,"143"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c434","0x0000000000000000000000000000000000000000000000000000000000001383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000772e6","0x0000000000000000000000000000000000000000000000000000000000005bcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"18446744073709551617"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb25","0x0000000000000000000000000000000000000000000000000000000000001380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"28491778399909263670973890848507674169764533119776531612081422848431141223720"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004f2b4","0x000000000000000000000000000000000000000000000000000000000000eb2f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000057592","0x000000000000000000000000000000000000000000000000000000000000d8d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015635","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"253"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"1534593633"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"8246626951824594278762811421255985944096907682746599960303499979991924861245"],"tag":"AbiUInt"},{"contents":[256,"1537480836"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008d0d","0x000000000000000000000000000000000000000000000000000000000000afae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000041a2","0x0000000000000000000000000000000000000000000000000000000000005034"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000c21","0x000000000000000000000000000000000000000000000000000000000000e8a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"\"\\242\\219q\\DC4G\\227\\227\\227\\227\\227\\227\\227\\227\\227\\227l>S)\\163\\FS\\251\\196r\\232\\212\"","tag":"AbiString"},{"contents":"\"\\183\\FS\\175h%J\\242C\\SUB\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"21284006695624026818061276355350764713350232224102740760518859765160219831376"],"tag":"AbiUInt"},{"contents":[256,"316333530881056079498490166260152310406"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"101641395401007714052601068243579062314821378485523718198713055561849861998581"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035719","0x000000000000000000000000000000000000000000000000000000000000e8bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ff","0x000000000000000000000000000000000000000000000000000000000000005b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x3450a15Dc9cbDD5C0e28cC22474D88AD7e2695A3","tag":"AbiAddress"},{"contents":[256,"18642873888115266668150939495460571252522407982547702005445914115211543392296"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000369","0x000000000000000000000000000000000000000000000000000000000000e51d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f085","0x0000000000000000000000000000000000000000000000000000000000001366"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"93326299633290101890559656131746551532176961416613009635436153967535175837857"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb10","0x0000000000000000000000000000000000000000000000000000000000008ec7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"22152917153293816124075527197149114379086866267962037915168865270430637730879"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59a","0x00000000000000000000000000000000000000000000000000000000000035d5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1533055613"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e375","0x0000000000000000000000000000000000000000000000000000000000002fb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008c1b7","0x000000000000000000000000000000000000000000000000000000000000dcbe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065410","0x0000000000000000000000000000000000000000000000000000000000009aa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\253\\SI\\SO\\201\\&7\\134\\232\\226\\217'\\v1\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\246\\155\\242\\157+\\141\\141\\192\\149#\\STX\\RS\\158\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\\"\\SUB1,\\252/\\191\\195>\\150\\141\\&79\\SYN\\201\\241\\190\\155\\254\\DC4\\147\\ETB\\220\\217\\192\\NULRc\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\186\\181\\128\\134\\nC\\b\\\\\\232\\235\\206\\245\\b\\216\\a\\223\\ENQtz\"","tag":"AbiBytesDynamic"},{"contents":"\"%w\\170f\\212\\226\\211'\\239\\170\\229ek\\240\\244\\236\\207\\195b\\239\\&7\\186\\188\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148R\\213\\aC\\202\\254\\244'\\252\\137\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233a\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\190\\229K\\242\\178P\\n\\SUB\\RS|\\209A\\162\\166\\US\\130\\EOT\\233\\&9i\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\SOH\\227\\167\\191\\200z\\182\\254\\162>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\EM:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\173^\\142s\\216x~\\f0\\SUB\\221\\144y\\211\\173\\DC2\\194E\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\179;\\203 K\\210\\236~\\171\\nQ`\\SUBE\\137\\136\\&0/\\147\\169\\SYN\\223G\\138L\\STX)\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\213\\DC3\\DC2q\\237\\216Lm\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195v<\\US]\\STX\\175\\STX\\247\\199\\EM\\159\\168,c\\196\\254\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\175\\147<\\137k\\156\\v\\ESC\\243\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\219t}@\\148`\\\"\\242\\205\\233DP\\225/\\159\\218\\219[\\222\\192\\r\\146\\247\\212\\DC3\\224\\139v(\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\199\\225\\223g\\NUL\\SOH\\189\\240\\210 \\164r\\242zJ\\254\\219\\244\\195\\211\\198\\163s\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\176%\\SOH\\217\\151\\180\\204\\129D\\254\\245\\\\\\CAN\\\\!\\187\\221x\\239.\\vp\\244:b\\240\\b*\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"~8\\188\\142|\\ETX\\157a\\FS\\224g\\v\\166\\vx\\195K\\206\\175\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205x\\149M\\189\\137+I\\178\\139\\190\\251\\186\\133\\143\\187\\240)w\\148k6I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\244\\239\\&3/\\164\\167J\\236'X\\SUB\\255\\157P\\STX\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\f\\170y<m\\136u\\240\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225<\\173\\145#\\235\\DEL\\198\\184\\DLE\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\159QqI\\ESC\\214\\128\\183\\232&>\\ACK|BU\\173o|\\157\\204\\171%;\\157\\199+\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\139\\186\\USE\\129\\155\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\197\\192>\\248\\198\\172\\155L15r\\225\\237\\172\\194'\\204\\STX\\149\\135\\142\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\168I?i\\ESC\\142\\139\\n5ngv\\245\\222\\192\\253\\240\\255m\\148\\SI\\132\\ESC\\132\\129\\146v\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"<L\\\"\\202eE\\162stu\\215\\232\\&1\\183\\204\\215K,\\234\\217\\129\\201\\136Q\\148\\190&\\146\\180\\252\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\145\\202\\163\\160\\EMmq\\221\\183\\ACK\\157/\\f\\248f\\240\\163w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\146k\\DC1Q\\\\L\\176&\\DC4\\140\\192\\GS\\242D\\238\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137o\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\137\\EOTH\\211\\r\\231T`\\184q\\133R\\b\\210\\&5\\ti\\167\\139\\DC3VJW\\255\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\138e\\131]\\206\\bR\\142\\&4\\GS\\213\\205/\\233\\244\\164\\236\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\n27\\226f\\188\\&0\\r\\170\\154\\178Y9\\173}\\187\\ENQ\\174\\187\\153\\&8j\\154\\183\\&9\\197F\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130P}j\\134\\179&\\211\\SO\\246\\DC3\\DLEJO\\226\\212\\227\\152c\\167\\\\U'FXs\\235\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC3\\223n\\183f\\146^\\192\\&5Ul\\133\\135/xp\\ETX\\151Y\\218\\CAN\\206\\222\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\192\\207P\\213\\f\\129\\183\\NAK\\229\\202-\\215\\214\\209\\199\\\"\\219\\221\\RS\\223\\t\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\a\\161H@\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\129\\201\\137\\188\\171\\ETB\\138\\NAKemq\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132k%\\129\\255F\\213\\173;\\176\\187\\153\\233\\194\\197\\143\\151\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\191\\201\\129\\171^t\\ACK\\198\\148a\\190\\231\\130\\201_J{Y\\tw\\152\\142\\&4\\175\\138Y\\160!\\156@\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\247\\147\\nt\\203\\245\\210\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\223\\190$\\SUB4\\197L?\\230\\197PI\\249j\\189\\219\\156\\193\\159\\164\\EM\\145f(\\237\\188\\138vo\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248X\\133|\\199AI\\204\\198\\253\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\183\\&8\\198\\&6\\221\\196\\191\\ESC\\218\\142zW\\178\\161s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\238\\183\\144\\&8\\ENQ\\191\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\DLE0\\SO\\165>1\\245\\149\\169\\245\\ENQ\\245\\f\\224?\\241hn|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\NULY\\247\\&7\\241\\DC1\\ETB\\242\\244s\\237\\156\\RS4?1\\\\'\\195\\234\\213q\\237\\165\\163\\174\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"|wC\\161\\153\\DC2\\200\\245\\206M\\236\\192\\200\\178\\&96^\\b\\194\\148\\191\\239^e:\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\CAND\\187\\209\\DLE!<\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\ESC<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"rG\\NAK\\132\\168tv\\237\\220n\\164\\160y\\173\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205l\\\\|\\155\\224\\SI\\132\\213F\\172;\\244Dx:\\167\\219\\NAK\\159\\248\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\227L\\179\\n\\223\\221\\247\\ETX\\248\\214\\210L){\\218\\203\\236'\\r&\\221V\\ETB\\165\\162\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\152\\n\\SUB\\DEL/K\\184\\217\\ESC:OG\\SYN\\159\\&1\\153\\182\\ESC\\200\\156\\144\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\189\\239\\ETB\\ETX^\\vOK\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\137c\\218\\253V\\185\\&6\\164\\202b?O\\167\\&6cm\\204\\164-\\RS\\211\\216\\141\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\ACKve\\175d\\183\\&0\\210S\\238\\199\\bu\\187\\216\\ETXp\\SUBT0Ny\"","tag":"AbiBytesDynamic"},{"contents":"\"h_\\SYN\\227qB\\250\\159\\FS\\209\\232\\210:\\b\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\133\\&6\\156A\\165r6\\249\\210w\\161']5\\187\\NAK\\132l\\242@\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\198\\128\\a\\217%R\\208\\164\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"?]/I\\217\\243c\\146\\&7\\199\\129\\130\\225z\\146\\v\\182\\CAN|\\250C\\162\\236\\165\\163\\209\\209\\&5\\186\\247\\f\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\157\\DC1I\\143\\212\\US\\f\\GS\\199<;\\163\\168\\204!\\167g\\132\\254m\\204\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\198j\\135\\180.c1GM{n\\145\\159\\STX\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"[ZI\\190f\\208yK\\213]'f\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\209\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"+&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210y:\\247m\\228\\v\\197g\\SUB~S\\218\\NAKT$\\211\\SOH\\131\\200\\FS1\\252\\238\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\182\\243\\189Yj\\240\\227\\244\\132r\\173\\130$\\209\\DC2\\134:\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\194\\212$\\132#<\\207I\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"W2\\a\\231\\179\\215\\193\\128\\150\\140\\173\\210D\\239}\\254\\SO\\194\\202\\DC3%\\133\\128\\145\\DLE$\\250B\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\241\\199\\239\\FSy\\130(\\220v|\\172v\\DC1\\180=\\233\\231`~\\DC1\\155\\153\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\157\\221C\\175\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\SYNO\\NAKlQ\\162\\207\\247\\v\\247\\234k@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128e\\184e\\236S\\151\\173O\\185\\233\\198Fo@\\SYN\\141\\246\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\136\\144\\\"$\\aD\\138Wx\\rC\\\\*\\190\\&6E\\143JUq9,\\208\\243\\&4\\205\\&6\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Ny\\208\\209\\185\\&5\\221\\180@\\254\\186\\177\\144\\182B\\129\\192\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\RS\\144\\NAK\\139\\204\"","tag":"AbiBytesDynamic"},{"contents":"\";\\STXH\\149\\NUL\\NAK{R=\\174\\200\\SI4\\238\\248ct\\187\\154(b\\233j\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"#\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238dPvc\\221\\SOHd1\"","tag":"AbiBytesDynamic"},{"contents":"\" \\194\\174\\182u\\220*;\\DC3\\155\\215\\193\\167\\201&\\RS\\151\\233tG\\\"\\n:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\222\\234\\174\\251\\163\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"U8\\179Dq\\231I\\194\\191v\\131\\247\\250\\223\\135\\USt\\ra \\232\\254\\245$\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\135~f\\244S\\r\\153K`_W\\204\\DC1\\129*!\\149\\134\\182\\r\\194<\\242\\149\"","tag":"AbiBytesDynamic"},{"contents":"\";P\\247\\209>\\249\\SO3pv\\236\\221S\\207\\247.xa\\147\\166\\163+a\\205Q\\DLE\\ACK@\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\186q\\NAKNJ\\233\\204\\155\\DC4L\"","tag":"AbiBytesDynamic"},{"contents":"\"u*\\229'\\153\\CAN<\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\155\\154\\192\\t.`\\217\\254\\227\\140\\135\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"FWdU\\217\\204\\245\\252\\176:A\\138\\158\\FS\\143+\\206\\196\\170\\255\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\220\\131\\DLE\\n\\172\\196{\\134Y\\SOH\\203\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251p6oz(8\\US\\211\\245r\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"[L6\\221\\&4\\SYN\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222K\\187x\\158\\244\\153\\178\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"}\\156\\SOHE\\SI\\238$LA_/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\DC47\\172M\\134j\\134\\202\\142\\t^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\205e\\t-\\DC2\\156\\ESC\\157i\\166\\238\\213\\\\\\224\\&9\\137\\162\\160\\SI\\ESCse\\137)\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\254j\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166!\\227:9\\231\\nG\\FS+SC\\192`Ar\\SOH\\232\\211z\\162\\GS\\135s\\220\\t\\192\\184.\\SOH\\184O\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\210i\\151Zt\\235\\171\\&7\\214\\149\\DLE\\EMp\\155\\163$\\CAN\\171\\130\\209\\187\\178\\246F.\\190\\181\\239\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\207p\\179n\\146\\177$\\216\\219A6+\\198\\138\\139\\STX \\SOr-\\DLE\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235dO\\190\\r@\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182qb\\202\\206`\\215l\\218k\\160\\198gE\\a\\a\\\\\\\\\\143\\202\\242\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"7J$\\233n\\194\\201\\v\\219\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\238\\214\\183\\247\\183\\252\\132\\246\\211\\185j\\203M\\CANb\\ACK\\DC2?\\248\\158\\234\\166\\167\\195\\199\\242\\a\\167\\175\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\197\\226\\n\\STX\\130\\233\\SOH\\ETX5\\145O}X\\235\\160\\a>\\194\\180\\&1\\241\\DLE\\198\\151\\161\\158\\235\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141jm\\238\\162\\DLE\\168\\246\\170/\\DC2\\186\\&9'&\\145-\\190\\172\\ETX7\\ESC\\180:\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"n\\152\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\NUL\\207\\224t\\EM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\SI^\"","tag":"AbiBytesDynamic"},{"contents":"\"0\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"M,x\\138,\"","tag":"AbiBytesDynamic"},{"contents":"\"Ib\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\238\\163\\EOT\\\"\\229n\\128uZ\\249\\r\\177\\242\\148rW=\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"jh\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139w\\rM\\245\\153'\\228\\175>t,j\\201\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\215\\151b\\130\\214\\224u\\DC4\\248\\NUL[<T\\192'e\\178.A\\169|\\249\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"K>\\171\\213\\224\\130\\225\\\"N,\\137\\240J\\249\\156\\FS\\211\\155\\189BF\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186CX\\SO\\239E~x\\244\\195P\\224\\GSZT\\DC1\\242vg\\138M\\134\\142\\187.\\213\\168\\173\\249\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220d\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\231\\&2.\\214\\175\\128ME\\150\\189\\217\\152+\\141\\&3\\235\\165\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160R\\245\\\"_2\\245\\177\\US\\237T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"r\\228u\\SUB\\229\\163\\&6\\148\\210\\DEL7\\218'\\ETX\\242\\243\\185F\\147\\153A\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\253\\RS\\146\\150o@\\212\\181\\205=5$T\\187\\DLE\\130\\142\\DC2\\132\\197D\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\GS\\197\\147\\190\\&9\\ETX\\189\\ETX\\GS\\ENQ\\132\\160\\248\\fa\\246R\\SOH\\159\\142\\204\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\r6\\177\\196\\&9\\238#\\141\\134\\212\\182\\178;\\ETB\\GS\\159\\167\\&3\\NUL\\170\\237\\185^$\\137\\155\\161e\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\228\\&2\\EOT\\253\\129\\182<W&J\\233PE\\201\\235\\GS\\210\\152\\&8\\143\\208\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\227[\\251\\179\\166`\\174\\&2\\140\\144u\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\219\\176\\137\\214]x\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\235\\181\\159j1\\153\\&5\\129\\249]\\\":\\180\\220w\\240\\218*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\217\\240Y;\\137\\226\\181s\\168\\rd\\222\\251\\139\\&8!-7\\235p\\141\\190\\134n\\200\\a\\185\\&0\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\GSp\\205\\US\\168|\\t&;\\167\\162\\176\\163\\165\\236\\158\\156\\223\\244\\188\\EMJ\\246\\199\\210\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"ACm\\179\\136\\134\\ETXR\\149;#u\\251]\\220\\171\\227\\248y]\\213\\DC1\\DC1=\\211\\246\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\216\\185\\150\\237\\226B\\ETB\\158\\132\\162>^\\229uywy\\233\\221\\129\\&6,\\190\\STX\\223Kj\\135\\238\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\ENQ\\150z\\162,3\\240x\\146\\171!\\214\\179\\132\\235\\220r\\149\\216i_\\155I\\236Q\\SO's\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\137\\172Ox\\208q\\DC4^\\158\\254\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\146\\SUB\\ETX\\tBI\\NAK\\240\\241\\158$`\\NUL\\166 \\DC1k\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\214\\189<\\241\\165\\202\\174\\164\\SYN\\229\\227\\161\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170o\\217\\224C\\238\\&7\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\159\\204B%\\214.\\190\\145H\\242\\146-u\\DEL\\SI\\147W\\\"\\202D\\184V8-|\\194d\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\168\\166\\207M\\157&\"","tag":"AbiBytesDynamic"},{"contents":"\"Pm\\229\\254\\230\\241\\198\\FS\\146\\&6j/|\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243N\\150+Hy\\246\"","tag":"AbiBytesDynamic"},{"contents":"\" \\163\\155\\166\\152\\215Y\\254\\244\\t\\157\\232&\\177\\195\\178F*_\\231g[\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165`\\160\\SO\\144\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248?\\134\\r\\STX\\163\\193\\GS\\253\\210\\197\\179\\188\\198$\\\\\\152\\180A\\STX\\\"#\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"SE\\219\\SYN=\\236m\\186}\\234\\170 sp\\208\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\176KC\\226\\144\\199\\181\\191\\&5\\132\\166\\237\\GS\\137\\ETB:O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\181#3\\DC4n\\EOT2\\207\\155+\\SYN\\165/\\157\\218\\162\\&4\\236/p\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"9l\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\249\\247\\ETX\\244\\198Gm\\204\\143\\202\\167di5Sl\\241\\247\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\246\\155\\GS\\239|kv\\182\\187\\162:Em\\248f\\203\\203A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\EMtU\\188]B\"","tag":"AbiBytesDynamic"},{"contents":"\"6o\\185vHM\\140\\245:g\\238^/D\\230\\199\\\\[\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\GSY\\243\\141\\174\\ENQ\\222\\134\\242Mf\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\211\\253@Q\\133\\197\\220dK\\145\\224N\\SYN\\225\\223\\224Z\"","tag":"AbiBytesDynamic"},{"contents":"\"vr\\237\\216\\211\\155\\n\\238\\222\\145\\&2\\214\\203:\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\204\\186\\SYN \\EOTan\\185\\195\\&5\\228\\143 wxh\\220\\189Q\\219_qC\\DC3\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\169f\\223@T\\244\\154A9t\\174\\226\\180\\196+-\\204\\203\\176iV\\137F\\253\\185\\200\\STXm\\195\\220\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\141\\147\\161\\152\\180\\174\\179\\213v\\255\\224\\142\\EM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"Zjv\\202\\158\\235\\129\\v\\182s\"","tag":"AbiBytesDynamic"},{"contents":"\"(V}\\135\\144\\183\\DC1\\235\\223\\b\\214\\186\\ACK\\250\\238\\EMZ\\249M\\139\\SYNr\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"B&\\165\\140\\187\\SI\\246\\245\\213\\159?\\ESC\\155\\241\\201\\155\\214\\223\\182\\184\\181\\138\\227\\187\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Xy\\254\\221Gw\\130\\253\\171\\ACK\\SO\\165\\232\\230\\&4\\129\\255\\231\\&2I\\229\\166\\212\\204\\NUL\\128\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\FS\\151\\DC4<\\t\\176\\204e\\144\\229\\ACK\\SUB\\176\\216\\247\\STX<\\219\\DLEq\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\176\\189\\253\\203\\CAN\\218\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"y\\ETX-\\186\\242w\\157\\212\\SIB\\187\\204e\\158b\\146\\146\\193\\236\\192\\135.9\\169\\169\\EMg\\ETX\\\\\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\243\\&7r\\an>\\175s\\218\\190|\\135/\\183b\\136]\\198\\&4\\216\\220\\207\\255w\\169\\141\\203\\228V\\236\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\182}\\STXR\\ETB\\153\\194\\139q#\\219{[\\157\\247w|7\\190\\183\\232\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\212\\138v\\176\\186\\236\\243r]\\SI\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\247\\252\\145E\\254I\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241zW\\tl%j\\226\\221\\131C\\f\\139\\ESC\\168\\162c\\FS\\206\\160\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\147\\210\\250\\213\\231\\199\\170\\DC3\\187\\198HD\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2K/\\153\\149Tt\\164#\\217:~|\\242+\\221\\146_n\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\145\\210CB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\225$\\146=\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\152Np\\168y.\\144\\239Q\\ENQ\\146\\223\\DEL\\183\\132\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\243^9\\168\\159\\139*U\\148\\190C\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\169\\251\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\ESC\\238\\200\\225\\DEL\\v\\212\\150\\194\\238\\DLE\\199\\219*\\US/\\190\\146'\\197\\n`O\\146v\\193\\213\\143\\209%%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\v\\248\\131F\\153*S:\\ETB|\\233\\DC1\\255\\242\\216\\DC4\\DC3U\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\130_\\176:\\ETB\\137\\206x\\EM\\SUB\\205\\156(\\249\\STX\\164G\\203\\129\\ENQ\\174\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"=0\\v\\215]\\n\\v\\212+\\ESC\\254\\196\\236L\\238q\\171F_}\\230\\190\\192\\231\\194\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"x@ih\\148\\237\\202\\206\\220\\SYN\\SI\\STX\\244_+\\150\\f\\252\\210\\129\\&9YcV\\200\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\183\\144:\\158\\142\\189\\253a_\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\225\\170\\229D&\\175\\156\\180\\248Yo\\169\\145\\ACK\\145`\\148\\158\\145\\229\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\150\\174b\\141\\236m\\197\\250\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\ESC\\DEL\\ETX\\248\\193\\165\\DLE\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222Y\\151\\193\\166\\244\\186\\128'<C\\239\\136\\254\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"{PG\\162\\216HDp\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\168\\153\\237\\180\\255yRp\\153\\&0\\GSI\\217\\172\\244\\f\\198_\\DC2\\165\\200\\251Y\\206\\170\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\238,x\\247\\220\\SO\\160O1\\198\\f\\249>=\\ACK\\164\\151\\CAN!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253d8\\SYN\\150\\147r\\146\\128\\NAK\\DEL\\206\\186\\&9\\167r\\b\\251`+W\\f^\\137\\166\\208oL\\194\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOD\\170GY\\177\\247H\\215\\\"\\137D-\\SUBo\\222\\148\\143\\201&\\207\\146\\173\\DEL\\136\\186\\154\\ETX\\STX\\137\\153a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOO\\187t\\NAK\\214'\\242W\\FS\\DLE\\177\\128\\167\\&5\\DEL\\DC2\\223\\148\\CAN\\140\\fk\\SO\\209\\199\\251\\191+\\190\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163yy\\t\\193G\\137o\\a\\ESC\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"ic\\190\\NAKC\\235\\228\\RSts\\218Mt<7y{\\150O\\225\\205nL\\145^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\239\\&8\\222\\249I\\239W\\137~\\228\\178c\\151\\ACK\\132U\\225\\US\\DEL(X\\DLE\\\\\\167u\\153\\ENQ2\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\134\\&8\\216\\154>zS\\132_\\246\\148 T\\245\\DC3B.A\\253(\\t\\DC1f@\\151\\243\\&9\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"35599715358213729912921398"],"tag":"AbiUInt"},{"contents":[256,"70439773684123125072567219307176291852598377607262566556739445328585863625264"],"tag":"AbiUInt"},{"contents":[256,"1531506233"],"tag":"AbiUInt"},{"contents":[256,"32654792151946531325205526823522956596613186905399299361688054252805236692247"],"tag":"AbiUInt"},{"contents":[256,"215"],"tag":"AbiUInt"},{"contents":[256,"105368796176436756119366512611111934270654961304399614924229824596299984715318"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"35492791408731985210993707278894581988921025949035184595643474916232083516577"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639926"],"tag":"AbiUInt"},{"contents":[256,"36351389100508068063632638255454495283121043119656824085675489359382418820209"],"tag":"AbiUInt"},{"contents":[256,"80348592030167505478612766580110483208374530884856668036924862887950587845016"],"tag":"AbiUInt"},{"contents":[256,"51435314627780174722292655169616611480056393402194779140428739594946026186901"],"tag":"AbiUInt"},{"contents":[256,"63827130931096682404574581880237339923125467787559793974316651732243404016453"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"28452232913525129186990794083399222184902099384603550585576161210107906334041"],"tag":"AbiUInt"},{"contents":[256,"10201701289698004149306097932113705139043016407872301755386777346408294263305"],"tag":"AbiUInt"},{"contents":[256,"35433465068064378927243509320759448870583358278248214387093102714482675839097"],"tag":"AbiUInt"},{"contents":[256,"35433465068064378927243509320759448870583358278248214387093102714482675839097"],"tag":"AbiUInt"},{"contents":[256,"35433465068064378927243509320759448870583358278248214387093102714482675839097"],"tag":"AbiUInt"},{"contents":[256,"35433465068064378927243509320759448870583358278248214387093102714482675839097"],"tag":"AbiUInt"},{"contents":[256,"35433465068064378927243509320759448870583358278248214387093102714482675839097"],"tag":"AbiUInt"},{"contents":[256,"35433465068064378927243509320759448870583358278248214387093102714482675839097"],"tag":"AbiUInt"},{"contents":[256,"35433465068064378927243509320759448870583358278248214387093102714482675839097"],"tag":"AbiUInt"},{"contents":[256,"35433465068064378927243509320759448870583358278248214387093102714482675839097"],"tag":"AbiUInt"},{"contents":[256,"47655155231666321761468089686046064768328227844282041855205614264949823636271"],"tag":"AbiUInt"},{"contents":[256,"1529464220"],"tag":"AbiUInt"},{"contents":[256,"43523224619779604146797207160558659352667630823316891871483248214548189297477"],"tag":"AbiUInt"},{"contents":[256,"81289258920713594629042319367965621388546019708024132917658789335884511060035"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507325"],"tag":"AbiUInt"},{"contents":[256,"501"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892768"],"tag":"AbiUInt"},{"contents":[256,"72131134451637932668325602604576229562156977297214476167441714473448708935983"],"tag":"AbiUInt"},{"contents":[256,"223"],"tag":"AbiUInt"},{"contents":[256,"51240334259084292070224981267375156142752190088331798361521304820230331825120"],"tag":"AbiUInt"},{"contents":[256,"1530999711"],"tag":"AbiUInt"},{"contents":[256,"3598"],"tag":"AbiUInt"},{"contents":[256,"72186958295734524514617333437712039709201006538583449753684158113351678605801"],"tag":"AbiUInt"},{"contents":[256,"30725935863975790849295178965381368522123752390218971282081967484776277860148"],"tag":"AbiUInt"},{"contents":[256,"30820293687220958480620959887238117551334680299116980811951954120084600764282"],"tag":"AbiUInt"},{"contents":[256,"102024369794581648077082913188995672009536172241280815359837820370223317438974"],"tag":"AbiUInt"},{"contents":[256,"69206908218656679637150624850147941916525095586307423094064435654616535235035"],"tag":"AbiUInt"},{"contents":[256,"1530569275"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266893"],"tag":"AbiUInt"},{"contents":[256,"109729186224819979752208312939714983659152860965648677461870598503685816715133"],"tag":"AbiUInt"},{"contents":[256,"2198050942401106132324177256786492993346790171929188307122836957720634644489"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"136"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"87388994496578174971629540437008384143216904707647593186932572005319515065568"],"tag":"AbiUInt"},{"contents":[256,"1526405560"],"tag":"AbiUInt"},{"contents":[256,"74977559098305996977463387388919525781563136844580819069330923679089970198335"],"tag":"AbiUInt"},{"contents":[256,"58754802788850752335093892628143128145039551372297192705656874790129106110669"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"32"],"tag":"AbiUInt"},{"contents":[256,"80891294498333584227803237857730218261463297048095363090894563294361710082875"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747168"],"tag":"AbiUInt"},{"contents":[256,"607"],"tag":"AbiUInt"},{"contents":[256,"1533385391"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"84696459667538416565258698946355115886330467494187656639116439784589781993896"],"tag":"AbiUInt"},{"contents":[256,"1525827825"],"tag":"AbiUInt"},{"contents":[256,"1533932659"],"tag":"AbiUInt"},{"contents":[256,"97629177785424321722322806973162401504230236278555872985680326701526006755966"],"tag":"AbiUInt"},{"contents":[256,"18943027116946714246768899511083251786875830976818872565251270662893732931124"],"tag":"AbiUInt"},{"contents":[256,"1015"],"tag":"AbiUInt"},{"contents":[256,"100903615928658151053466216697089178135142624851995268969092403809871702959388"],"tag":"AbiUInt"},{"contents":[256,"27990170082066723798567998415927797539640990882142255357624364751935102304959"],"tag":"AbiUInt"},{"contents":[256,"91"],"tag":"AbiUInt"},{"contents":[256,"5222288811131492370870786510410322044269638387851407604642901942146567432474"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"108417921607630536560452797088969863809040517417702753711824571669223363051330"],"tag":"AbiUInt"},{"contents":[256,"82427898027529954399605894167522764130762013287637178930307769173168895410530"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428158"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002138c","0x0000000000000000000000000000000000000000000000000000000000002ad3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"20541582855921425686912347671188177022075678750129364977864072175688172518856"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81d","0x000000000000000000000000000000000000000000000000000000000000134b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006df24","0x0000000000000000000000000000000000000000000000000000000000003c7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"758298"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe3","0x0000000000000000000000000000000000000000000000000000000000000040"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024939","0x0000000000000000000000000000000000000000000000000000000000003f7f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"767721274152488726597669442699107033663903493055129947223952126795517981837"],"tag":"AbiUInt"},{"contents":[256,"89113218302649477862611104298927636227957059538314244612137234395418876638389"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017f30","0x00000000000000000000000000000000000000000000000000000000000036c6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ee17","0x0000000000000000000000000000000000000000000000000000000000001393"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000057592","0x0000000000000000000000000000000000000000000000000000000000009946"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"79228162514264337593543950338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085689","0x0000000000000000000000000000000000000000000000000000000000007117"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"119"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffa","0x000000000000000000000000000000000000000000000000000000000000cb6a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029f53","0x000000000000000000000000000000000000000000000000000000000000b77c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"36142027594809328445830763520103587528214455997892215202970856497690907871409"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000549","0x0000000000000000000000000000000000000000000000000000000000000019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"109628695483467455214825566"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003baf7","0x00000000000000000000000000000000000000000000000000000000000009de"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"44016140723644537989425761324468411120008795681298418600460744643251585429666"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007facf","0x0000000000000000000000000000000000000000000000000000000000005d4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"18005283988480213882669648040600057580768728785901873022913665209687953506421"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001532a","0x0000000000000000000000000000000000000000000000000000000000008949"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"AVERAGE_PROVIDER\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e13","0x000000000000000000000000000000000000000000000000000000000000005a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1534324987"],"tag":"AbiUInt"},{"contents":[256,"32897566581195376816712644715684164909675801987839748118052758043951070221870"],"tag":"AbiUInt"},{"contents":[256,"36624215791641832242540042"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428159"],"tag":"AbiUInt"},{"contents":[256,"111566768120160440510966478154758225868171419944736638320322816871081561139147"],"tag":"AbiUInt"},{"contents":[256,"95247363991863305522208651381367137455371506528080956795168966900498691640724"],"tag":"AbiUInt"},{"contents":[256,"14599852965057007114035938518960085268329473339239849605455847783768068207728"],"tag":"AbiUInt"},{"contents":[256,"903"],"tag":"AbiUInt"},{"contents":[256,"65939875288803417477294296330226778344132103617545036030602851306182757997932"],"tag":"AbiUInt"},{"contents":[256,"82136727787465946554764232322210478208090806521764238610367147371609878071686"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1531036209"],"tag":"AbiUInt"},{"contents":[256,"1525391695"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639636"],"tag":"AbiUInt"},{"contents":[256,"2068074782"],"tag":"AbiUInt"},{"contents":[256,"1531185590"],"tag":"AbiUInt"},{"contents":[256,"20625154204687927153486152390807333641608554163817048199731900514"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088321"],"tag":"AbiUInt"},{"contents":[256,"61789472921823757121326175717846539011023313658475507086925989810690039868578"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062c6b","0x00000000000000000000000000000000000000000000000000000000000026ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x00000000000000000000000000000000000000000000000000000000001e8483"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"1528825508"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004759","0x0000000000000000000000000000000000000000000000000000000000000469"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a9","0x0000000000000000000000000000000000000000000000000000000000005f5e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7f","0x000000000000000000000000000000000000000000000000000000000000502c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"45629817219275763360178891975013854986839794585592768876570372983990891504421"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b9eb","0x0000000000000000000000000000000000000000000000000000000000005ca6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"56559203418706771729806089552330856012740193634212176377809440089916876728292"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba6","0x0000000000000000000000000000000000000000000000000000000000000e11"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008022f","0x000000000000000000000000000000000000000000000000000000000000ec34"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"92405441141458595857584422560076967008186351688120726189322285315271764063717"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007a","0x000000000000000000000000000000000000000000000000000000000000a9ca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e37a","0x000000000000000000000000000000000000000000000000000000000000c393"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"424"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b73c","0x0000000000000000000000000000000000000000000000000000000000000236"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088888","0x0000000000000000000000000000000000000000000000000000000000007087"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x041eC99B601aE6e5E4662249B4221c1C1C744dc5","tag":"AbiAddress"},{"contents":[256,"82"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000722f9","0x0000000000000000000000000000000000000000000000000000000000008195"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"62"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232a","0x00000000000000000000000000000000000000000000000000000000000085e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639933"],"tag":"AbiUInt"},{"contents":[256,"1529215529"],"tag":"AbiUInt"},{"contents":[256,"23138141006116848311447429803882775928028075946480952786424553989072483708558"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083257","0x0000000000000000000000000000000000000000000000000000000000001c9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"9000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063b64","0x00000000000000000000000000000000000000000000000000000000000088a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014c10","0x0000000000000000000000000000000000000000000000000000000000002bcb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"52696732276591453200178786578899641429249956346434985619749942560663416551907"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e4","0x000000000000000000000000000000000000000000000000000000000000095e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"47"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75f","0x0000000000000000000000000000000000000000000000000000000000000f7c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021d33","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[8,"240"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb32","0x0000000000000000000000000000000000000000000000000000000000005e77"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029803","0x0000000000000000000000000000000000000000000000000000000000000052"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"215596636776165504192979158148370326085128864950091632975866227"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba8","0x000000000000000000000000000000000000000000000000000000000000d772"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008416d","0x0000000000000000000000000000000000000000000000000000000000007e30"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"16571387"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bad","0x00000000000000000000000000000000000000000000000000000000000003e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000784aa","0x00000000000000000000000000000000000000000000000000000000000003e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f17","0x000000000000000000000000000000000000000000000000000000000000d0f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000004","0x0000000000000000000000000000000000000000000000000000000000004881"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043abe","0x00000000000000000000000000000000000000000000000000000000000003f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"38867195115725953406347670097739615827594163388908179161796230199738431352819"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d500","0x000000000000000000000000000000000000000000000000000000000000ebcc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071272","0x000000000000000000000000000000000000000000000000000000000000000b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"49761902927947935237301707250031373721447677039501839875270582588124910676080"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052a47","0x00000000000000000000000000000000000000000000000000000000000080d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038555","0x0000000000000000000000000000000000000000000000000000000000007cef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000337eb","0x0000000000000000000000000000000000000000000000000000000000003459"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1a","0x0000000000000000000000000000000000000000000000000000000000002c55"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"18695109134722418975369679840471678223724188786775191451172348434295372595641"],"tag":"AbiUInt"},{"contents":[256,"6370198217568598306858145106977438866019331943076238036757120624094261795730"],"tag":"AbiUInt"},{"contents":[256,"70998155622101952759994999946289943241940186851770289096503543880326445867071"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"51059789303077250622795463378331078342017406392094858502835644106837106871796"],"tag":"AbiUInt"},{"contents":[256,"73625423615117020618687747414354700453661314765640193261499696323309438281288"],"tag":"AbiUInt"},{"contents":[256,"73625423615117020618687747414354700453661314765640193261499696323309438281288"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005ed9a","0x000000000000000000000000000000000000000000000000000000000000331e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092b49","0x000000000000000000000000000000000000000000000000000000000000da60"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"5003"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000781e2","0x000000000000000000000000000000000000000000000000000000000000136c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"115705465214599511178584817973695749350280411025563401849227729720783715854183"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4b","0x0000000000000000000000000000000000000000000000000000000000000006"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e351","0x0000000000000000000000000000000000000000000000000000000000000387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"71068662735793967111887912882084625501787821357564544353546026565695682019170"],"tag":"AbiUInt"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002db6","0x0000000000000000000000000000000000000000000000000000000000002711"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"54449223059760910830263421181499216024789468853388996850432211168529978749610"],"tag":"AbiUInt"},{"contents":[256,"662"],"tag":"AbiUInt"},{"contents":[256,"76422445642472046320174386"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006e293","0x000000000000000000000000000000000000000000000000000000000000a297"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"260"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea46","0x000000000000000000000000000000000000000000000000000000000000c061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000388fb","0x000000000000000000000000000000000000000000000000000000000000131b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[256,"2968784289958892865413685631750705157671977316248661518142049931328144166419"],"tag":"AbiUInt"},{"contents":[256,"40497299"],"tag":"AbiUInt"},{"contents":[256,"104934639530626116522947889956144085164383258445652991895781044449532154531716"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000036","0x0000000000000000000000000000000000000000000000000000000000001408"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"83203195362970054208245056998122399484744403958132788660149421491336152287444"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031fea","0x00000000000000000000000000000000000000000000000000000000000036b3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]