[{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":[256,"4998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055774","0x00000000000000000000000000000000000000000000000000000000000009de"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055778","0x000000000000000000000000000000000000000000000000000000000000072b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"113750090288378664239687211720109294920934007809948176782391208082262649912435"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea61","0x000000000000000000000000000000000000000000000000000000000000aa60"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c6a6","0x000000000000000000000000000000000000000000000000000000000000135d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51a","0x000000000000000000000000000000000000000000000000000000000000139f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"81386957275282844311159868166282021052387086996095716509054531971173959695349"],"tag":"AbiUInt"},{"contents":[256,"1527132040"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002621e","0x0000000000000000000000000000000000000000000000000000000000003685"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b0","0x0000000000000000000000000000000000000000000000000000000000004f51"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f96","0x000000000000000000000000000000000000000000000000000000000000270e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"52147899908207746679084693229619555211663020221296862963944650714397193204907"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81f","0x00000000000000000000000000000000000000000000000000000000000011ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e5cc","0x000000000000000000000000000000000000000000000000000000000000135a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"64"],"tag":"AbiUInt"},{"contents":[8,"11"],"tag":"AbiUInt"},{"contents":[8,"68"],"tag":"AbiUInt"},{"contents":[8,"84"],"tag":"AbiUInt"},{"contents":[8,"1"],"tag":"AbiUInt"},{"contents":[8,"171"],"tag":"AbiUInt"},{"contents":[8,"27"],"tag":"AbiUInt"},{"contents":[8,"98"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"136"],"tag":"AbiUInt"},{"contents":[8,"45"],"tag":"AbiUInt"},{"contents":[8,"241"],"tag":"AbiUInt"},{"contents":[8,"20"],"tag":"AbiUInt"},{"contents":[8,"230"],"tag":"AbiUInt"},{"contents":[8,"107"],"tag":"AbiUInt"},{"contents":[8,"46"],"tag":"AbiUInt"},{"contents":[8,"95"],"tag":"AbiUInt"},{"contents":[8,"232"],"tag":"AbiUInt"},{"contents":[8,"21"],"tag":"AbiUInt"},{"contents":[8,"15"],"tag":"AbiUInt"},{"contents":[8,"135"],"tag":"AbiUInt"},{"contents":[8,"51"],"tag":"AbiUInt"},{"contents":[8,"23"],"tag":"AbiUInt"},{"contents":[8,"153"],"tag":"AbiUInt"},{"contents":[8,"19"],"tag":"AbiUInt"},{"contents":[8,"236"],"tag":"AbiUInt"},{"contents":[8,"74"],"tag":"AbiUInt"},{"contents":[8,"51"],"tag":"AbiUInt"},{"contents":[8,"107"],"tag":"AbiUInt"},{"contents":[8,"47"],"tag":"AbiUInt"},{"contents":[8,"116"],"tag":"AbiUInt"},{"contents":[8,"122"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb48","0x0000000000000000000000000000000000000000000000000000000000001475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081578","0x000000000000000000000000000000000000000000000000000000000000d7a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"12735634823037430459834346184898237965858965650131944844707151099779667482246"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055777","0x000000000000000000000000000000000000000000000000000000000000dcc4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417341"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000061","0x0000000000000000000000000000000000000000000000000000000000001277"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"69"],"tag":"AbiUInt"},{"contents":[256,"86094498669595750599100866029522993141994708101068770907202992327779169322572"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000077","0x0000000000000000000000000000000000000000000000000000000000000bd2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"66"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"},{"contents":[256,"8167243289692739548716734680970654404613390463823539655276379693811482452556"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x0000000000000000000000000000000000000000000000000000000000000383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b73c","0x00000000000000000000000000000000000000000000000000000000000059f9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ff42","0x00000000000000000000000000000000000000000000000000000000000012a4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"35923944288271035907652229869679843067587437215506408430174598159042050517072"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008227e","0x0000000000000000000000000000000000000000000000000000000000002ea6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"117"],"tag":"AbiUInt"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":[256,"86398"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e379","0x000000000000000000000000000000000000000000000000000000000000ca0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"57466593471131903184094001263592648512768830043496503314077683821291975732101"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062e05","0x0000000000000000000000000000000000000000000000000000000000009e99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"86397"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea17","0x0000000000000000000000000000000000000000000000000000000000000012"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"109668246705510254199756104711332875639722411527719652583259972812943051630243"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b052","0x0000000000000000000000000000000000000000000000000000000000000fb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"252"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4ff","0x0000000000000000000000000000000000000000000000000000000000000045"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"95930369690995943656933678868915594887201982770559523095407145523591132409886"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f4","0x000000000000000000000000000000000000000000000000000000000000101e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"96"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639884"],"tag":"AbiUInt"},{"contents":[256,"234"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f38","0x000000000000000000000000000000000000000000000000000000000000a294"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000882ac","0x000000000000000000000000000000000000000000000000000000000000dcc3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"5878623614256507594275124645717695763639139257454428157"],"tag":"AbiUInt"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064ad5","0x000000000000000000000000000000000000000000000000000000000000133d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ad","0x00000000000000000000000000000000000000000000000000000000000011ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"36563412412257640918734334532476348034758982642440707721985456896467858631720"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb46","0x0000000000000000000000000000000000000000000000000000000000001475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138a","0x0000000000000000000000000000000000000000000000000000000000000591"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"103426717141723913929152042400432470310226493154074959642400078896317564667249"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551617"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e350","0x000000000000000000000000000000000000000000000000000000000000ca09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"4371661834163644075522011349842787729208338302095885105450562573203346249239"],"tag":"AbiUInt"},{"contents":[256,"44201810549342638246630963380175803917612689840939916985816121404017172067126"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639934"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115106329626449631257349241347574501722998723655389336526636614031527312278961"],"tag":"AbiUInt"},{"contents":[256,"901"],"tag":"AbiUInt"},{"contents":[256,"111175197318430518554005062260062103224174177461001722038161585459707311178997"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb11","0x000000000000000000000000000000000000000000000000000000000000134d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"1529342899"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5e","0x000000000000000000000000000000000000000000000000000000000000001c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"109174636029334333416961866740994379070997854413689946454295721432549736602725"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ea","0x0000000000000000000000000000000000000000000000000000000000008196"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"102854565790064612198206476675233283975576502143271022553175303156383961465600"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f113","0x0000000000000000000000000000000000000000000000000000000000000bd3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f7","0x00000000000000000000000000000000000000000000000000000000000001f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"165"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf1","0x000000000000000000000000000000000000000000000000000000000000a296"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"38"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff7","0x000000000000000000000000000000000000000000000000000000000000dcbe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164d","0x0000000000000000000000000000000000000000000000000000000000006a2b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c3","0x000000000000000000000000000000000000000000000000000000000000d8cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"85418875503314415335574984101920574468595195991195664809731390322285757335070"],"tag":"AbiUInt"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063160","0x00000000000000000000000000000000000000000000000000000000000007cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5c","0x000000000000000000000000000000000000000000000000000000000000001c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"2727372912476010351205280697258695401960752604198578352974034337854792258102"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000065","0x000000000000000000000000000000000000000000000000000000000000007f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"69"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000064b","0x000000000000000000000000000000000000000000000000000000000000a8f0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"11275680251313852527297689771116865138408376933223591653010224453362655216728"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046b47","0x000000000000000000000000000000000000000000000000000000000000005f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"89251844307023130125752452344785558668528668105951155962787237913364910569751"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f4","0x000000000000000000000000000000000000000000000000000000000000139f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"39583196893560831823770126334681457831395412741780042046831615295270555376154"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000041179","0x000000000000000000000000000000000000000000000000000000000000677b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008b","0x0000000000000000000000000000000000000000000000000000000000000038"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"65545802840182016979503766826362880896807380284578317221372910981193833179958"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005add5","0x0000000000000000000000000000000000000000000000000000000000000034"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2d","0x000000000000000000000000000000000000000000000000000000000000138b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea19","0x000000000000000000000000000000000000000000000000000000000000134b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"48159256702851580526482925025948063583837814564738010367866254854614723807896"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce53","0x0000000000000000000000000000000000000000000000000000000000005d50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"72664872112209127202699069404898190506989632158118103057943736284264505488467"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81d","0x0000000000000000000000000000000000000000000000000000000000007e51"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"16"],"tag":"AbiUInt"},{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[8,"86"],"tag":"AbiUInt"},{"contents":[8,"80"],"tag":"AbiUInt"},{"contents":[8,"16"],"tag":"AbiUInt"},{"contents":[8,"138"],"tag":"AbiUInt"},{"contents":[8,"137"],"tag":"AbiUInt"},{"contents":[8,"206"],"tag":"AbiUInt"},{"contents":[8,"47"],"tag":"AbiUInt"},{"contents":[8,"151"],"tag":"AbiUInt"},{"contents":[8,"33"],"tag":"AbiUInt"},{"contents":[8,"198"],"tag":"AbiUInt"},{"contents":[8,"19"],"tag":"AbiUInt"},{"contents":[8,"113"],"tag":"AbiUInt"},{"contents":[8,"61"],"tag":"AbiUInt"},{"contents":[8,"135"],"tag":"AbiUInt"},{"contents":[8,"84"],"tag":"AbiUInt"},{"contents":[8,"61"],"tag":"AbiUInt"},{"contents":[8,"222"],"tag":"AbiUInt"},{"contents":[8,"102"],"tag":"AbiUInt"},{"contents":[8,"70"],"tag":"AbiUInt"},{"contents":[8,"36"],"tag":"AbiUInt"},{"contents":[8,"118"],"tag":"AbiUInt"},{"contents":[8,"107"],"tag":"AbiUInt"},{"contents":[8,"226"],"tag":"AbiUInt"},{"contents":[8,"190"],"tag":"AbiUInt"},{"contents":[8,"251"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e6","0x0000000000000000000000000000000000000000000000000000000000001317"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e374","0x0000000000000000000000000000000000000000000000000000000000000008"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"99999997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x0000000000000000000000000000000000000000000000000000000000000403"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"54"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ae4e","0x0000000000000000000000000000000000000000000000000000000000000061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000040","0x000000000000000000000000000000000000000000000000000000000000d8d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c2","0x00000000000000000000000000000000000000000000000000000000000009c1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"61"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032870","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639037"],"tag":"AbiUInt"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34f","0x000000000000000000000000000000000000000000000000000000000000d9da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"26107518544532000686128842113130436108906348481465818861801181686090248381934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfd","0x000000000000000000000000000000000000000000000000000000000000037f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"32257957149166289943608826397111608055026919565531431551562744034587565435747"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3a","0x0000000000000000000000000000000000000000000000000000000000005d4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"2443493781625764393957608336690088849809778398192260586502981595663640910539"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000006","0x000000000000000000000000000000000000000000000000000000000000c062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000017","0x0000000000000000000000000000000000000000000000000000000000001315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef48","0x0000000000000000000000000000000000000000000000000000000000008199"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"4002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0c","0x000000000000000000000000000000000000000000000000000000000000a3dd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"155"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c82f","0x0000000000000000000000000000000000000000000000000000000000000129"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81e","0x0000000000000000000000000000000000000000000000000000000000008196"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3d","0x0000000000000000000000000000000000000000000000000000000000001368"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"28657365673114864527432767628246504222119812952228009064896061764148427473763"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea18","0x000000000000000000000000000000000000000000000000000000000000101b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"57"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"301"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae4","0x00000000000000000000000000000000000000000000000000000000000001f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\202\\148\\200k\\155\\238^\\237\\223\\188\\185W\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\176\\&6\\139\\&4\\162fPY\\137\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"K[t\\145\\150[\\205j\\128\\141@x\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\191\\205\\232\\ro;e\\237&\\143\\238\\212b\\SYN\\241^\\158>0\\172Y\\250LA\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220N\\214\\ACKf\\170\\163\\159\\146\\249\\190\\235\\213\\193$\\227?R\\224O\\144\\243\\ESCk\\222\\192!\\163\\v\\184`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\206\\182\\166\\206\\135y\\255[\\164L\\SOS,\\t\\160\\189\\&4+\"","tag":"AbiBytesDynamic"},{"contents":"\"3_\\241\\130\\180\\250\\142\\196\\176%\\DC4\\254\\130_\\170\\244mk\\213\\193\\STX\\128&wY\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\254\\&6\\210\\248\\rK\\212\\158\\ACK\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193[-g/\\251]\\221S\\SOH\\232*\\187\\249L\\DC1f\\165la5\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\201=\\198\\ACK]\\200\\194\\217\\228\\199\\214\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\181\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"gZ\\128ohPC\\251\\181\\ACK\\136\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"k\\168a\\161i\\206\\&7\\171\\157\\165Z\\f\\240\\SUB\\239\\196\\EOT\\243\\ENQK\\160Z\\193)b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\213\\DC1\\175\\DEL\\175\\ETB\\DC3epY\\233\\&0U\\148\\232E\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\145\\137\\n\\186\\166\\GS\\137\\130.\\ENQ\\f\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\249\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\NUL\\DC1\\170\\186?\\154\\&3\\178`D\\182\\158\\&3X\\131\\146\\167\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\212>\\244Pe\\220\\225p\\199\\142\\211\\161\\218\\132\\DC3(\\DC3\\210\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\169`\\250\\148\\163\\200\\FS\\146\\152\\242!\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\166q-\\142\\&74\\163)\\145\\179\\206\\216\\133H\\171\\241\\165m\\146\\EOT\\178\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\138yg6\\204I\\b\\235\\142\\&4rE\\STX\\134Mc\\ETX\\218\\v2O*\\184\\130\\144\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\232\\SUB\\222j\\133~\\242:\\239s\\177\\162\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\137\\&0\\239hw\\143B\\234\\255d\\201\\NAK\\144\\200\\170\\247\\140q\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\159E\\155\\RS\\253\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\145uE\\NUL\\252Rp\\NUL\\144$\\191,\\212@\\NUL\\139P\\204\\224\\137\\207\\SUB\\SOH\\160\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\146\\t\\189\\184\\211\\149X\\222\\205\\SYN\\190\\172F[a{%K\\157 \\135~\\135\\159?\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202Bg\\163\\&4I\\229,%#\\216S7{\\142\\234\\147S\\155\\159\\181=]Q\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\183\\159^uA\\157O\\130f\\SOH\\SO\\220O\\ACK\\241\\137R\\228\\219y@\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\218\\162\\189\\137)\\232\\219\\241\\167\\207\\152\\220\\GS\\154-\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\EM\\179\\145\\148I\\167mZ\\136\\154\\&7j\\205\\141\\131\\246\\242\\252h/\\ETB\\\\\\151\\153|\\DC3*\\152n\\227\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\240\\FS\\v\\174\\167\\177bT\\143Io=2\\\\WA\\223\\252\\t\\SIs\\223\\209\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\142:\\172\\156\\203\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\207\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\250,\\US\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DELx\\\"\\165\\237\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"if1mV\\176h\\189)\\247,\\150\\US\\RS\\tU\\215\\211v\\DEL\\220\\139\\240g#\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\buUL\\192\\167Z\\168\\161\\248\\148y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\STXf\\178\\236>\\175\\240\\157\\158\\235\\234\\142\\168V\\ETX\\176\\190\\152\\US\\195\\\\\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225(\\153\\219\\&6\\205$~\\253C\\EOT\\240\\156\\&6\\201\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163!s\\DC1\\DC1\\DEL+\\185\\243\\NAK'\\165\\252\\&0Les\\206NN\"","tag":"AbiBytesDynamic"},{"contents":"\")\\221\\158\\204\\139\\DC1\\148\\248\\&4\\251\\190=\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\nG\\203\\GS\\156X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"L4$\\243PB) \\255\\ENQ\\229\\&8!\\135\\224\\180|\\234\\130\\&6\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\168r'U\\232\\136\\252p9\\153\\129Oi\\135\\189\\164\\227\\DEL\\FSIG(P:v\\235*K\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\221\\147\\189t\\159\\US+e!@G\\212^\\132\\209\\SUBxOg\\139\\189\\238\\229E\\r\\251\\145\\172\\241\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\129\\213\\187%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128T\\CAN\\DLE\\SOHL/\\206\\162a\\252\\r\\226\\232\\191\\242\\231\\245\\219o8\\b\\SO\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\FS\\198:\\248\\175!h\\209\\STXu\\DC4\\234\\USi\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\138\\244s\\244W\\229\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\196\\208\\183\\195t-\\140S*O\\210~\\130G?\\146N\\ETB\\215\\168\\DC2Y\\204U\\145\\\\\\b\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\145n\\222\\161:\\234m\\194\\210\\208\\224\\ENQ^w\\ETB-R\\213*\\158\\STX\\152\\241\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\255\\189\\\"\\EM.\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\237\\220%\\163\\225\\176\\142\\203\\242\\US\\147_k:\\CAN\\166%\\171\\232\\251j\\EM\\254\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\252\\&7\\166~\\FS@\\158\\200\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\215\\GSsqB\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\DELpym\\204\\191\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\238<U\\233\\182C\\203\\180\\154\\SOH\\249\\215\\174\\135\\139\\236\\134X\\152\\240+\\165av\\131\\253\\162\\208_\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\n\\180\\150\\170\\242>\\SOH\\243\\\"\\143\\155\\139\\131Q-\\132\\232\\218*\\181\\249\\173OB\\146Q\\154\\248\\aZ}\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231I\\208\\FS\\236\\DC23\\DC4\\172,\\203{\\ESCw%A\\217\\178\\DEL\\EM\\159\\206;\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\228<\\199\\212\\CAN\\SOH\\179\\DC3\\225\\164/\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN6\\202\\177\\234\\247\\165\\188u=\\204Vk\\139`\\243\\180@Q\\144\\ESC\\227\\&8\\199\\CAN^\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\FS\\220&\\224r\\NAK[\\150s7\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148M\\131G\\187\\181\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\218\\231o\\229f _\\171\\240N\\224\\141\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\167\\133\\136N\\ENQ\\nn\\DC1L\\143\\155\\130\\162o\\197N\\162C\\225X\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\211&\\ETX+&;hr'd[(N\\t\\176\\174PD\\GS-O1l\\248\\161\\225\\146;\\185\\160\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\246\\US\\NUL\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1W\\148\\202\\206\\EOT\\196\\CAN*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\SI\\129\\178\\b'j\\232\\208\\182*\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241q@\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\DLEF\\152^K\\213\\a+!\\241\\194\\246\\ACKm\\136\\138\\194\\157\\248\\217\\\"\\197-M\\v\\ETB]rP\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\212\\SI\\162D\\164\\248a\\177\\220:\\230\\145G9\\a\\SUB\\242\\194\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\v\\230\\248\\140\\159\\231\\CAN\\FS\\138\\STXC\\174m\\168\\192\\186\\&1jV6=\\209\\239\\195\\DC3\\133\\129ALy4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\ACKfm\\209\\CAN]\\225Q\\t6\\238\\223\\DELMK\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168VK\\134Q\\147S\\128k\\154[\\SOH\\241c\\247\\\\\\173\\&66\\228\\210\\NAK\\250Q\\221\\&7,\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\nF\\220b\\228\\221P\\231\\SUB}\\200\\193\\205\\179\\235\\181M\\128\\234\\224e\\150.\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191z\\246\\231Xi \\173a>\\DC4\\202i\\232\\185v\\189&\\185C\\220\\198\\249\\223%\\227_W\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"+dc\\176\\242\\SUBo\\156\\191\\201\\253\\235,DU\\159\\220y\\203\\r)\\212\\182\\236\\221{-H\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\208\\242\\DC1\\203\\154\\141j\\232\\164\\201\\ESC\\196\\150\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212p5\\219[\\US\\134\\211\\tO\\163\\224\\164\\164j\\207\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176t\\164\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170a}\\a\\ACK(08\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"qX\\248\\141\\196\\EM\\190G\\134JH\\186|\\135\\228\\193\\236\\151S4\\224\\210\\253\\245\\f\\242\\169\\143\\174\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"cXz?_\\DLE\\219\\240;8\\133\\152)\\143\\241f\\230(^\"","tag":"AbiBytesDynamic"},{"contents":"\"E\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149/\\186\\CAN\\153\\149\\STX\\156\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\239]\\SIP#eT\\187n\\252\\aIM\\147q\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\240\\&3\\136\\ETBe\\DEL\\221H\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\135\\220\\135\\NAKn\\SOHt\\129E\\179\\v\\230j8+\\175u\\216\\156gE:\\205&=\\140\\185t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\141m'\\219\\187\\ACK\\206\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\195A%kp\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\249\\CANY\\166\\189\\210\\236w\\DC4&%\\245\\240\\148\\216\\&27l\\238\\173\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\169\\SYN\\189\\129\\190\\GSi\\218\\148_u\\146\\241\\236M\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\199/[\\190D\\t\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\185s5\\251\\NAK\\142\\196\\\\s:N\\146k\\178Zx\\186\\184\\147\\190\\199=\\239\\137\\NUL\\239\\168Y\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\197\\167<W\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO3i\\161\\237\\178\\254\\219\\&1\\211\\GS\\191]>\\t\\147\\140\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\vL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\217<S\\134<\\221\\US8\\248\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"je\"","tag":"AbiBytesDynamic"},{"contents":"\"MDsJ\\203\\211\\DC3!p\\204X;w\\130\\SO\\247\\130\\146\\145W\\191\\ETB\\b\\DEL\\232\\DC1\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233j\\244I^\\157`\\182`\\148\\DC3\\137\\NAKH\\241h\\217]\\134JDC\\242Il\\DC4Mq\\156Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\249\\CANY\\166\\189\\210\\236w\\DC4&%\\245\\240\\148\\216\\&27l\\238\\173\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\169\\SYN\\189\\129\\190\\GSi\\218\\148_u\\146\\241\\236M\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\199/[\\190D\\t\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\185s5\\251\\NAK\\142\\196\\\\s:N\\146k\\178Zx\\186\\184\\147\\190\\199=\\239\\137\\NUL\\239\\168Y\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\197\\167<W\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO3i\\161\\237\\178\\254\\219\\&1\\211\\GS\\191]>\\t\\147\\140\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\vL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\217<S\\134<\\221\\US8\\248\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"je\"","tag":"AbiBytesDynamic"},{"contents":"\"MDsJ\\203\\211\\DC3!p\\204X;w\\130\\SO\\247\\130\\146\\145W\\191\\ETB\\b\\DEL\\232\\DC1\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233j\\244I^\\157`\\182`\\148\\DC3\\137\\NAKH\\241h\\217]\\134JDC\\242Il\\DC4Mq\\156Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\249\\CANY\\166\\189\\210\\236w\\DC4&%\\245\\240\\148\\216\\&27l\\238\\173\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\169\\SYN\\189\\129\\190\\GSi\\218\\148_u\\146\\241\\236M\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\199/[\\190D\\t\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\185s5\\251\\NAK\\142\\196\\\\s:N\\146k\\178Zx\\186\\184\\147\\190\\199=\\239\\137\\NUL\\239\\168Y\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\197\\167<W\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO3i\\161\\237\\178\\254\\219\\&1\\211\\GS\\191]>\\t\\147\\140\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\vL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\217<S\\134<\\221\\US8\\248\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"je\"","tag":"AbiBytesDynamic"},{"contents":"\"MDsJ\\203\\211\\DC3!p\\204X;w\\130\\SO\\247\\130\\146\\145W\\191\\ETB\\b\\DEL\\232\\DC1\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233j\\244I^\\157`\\182`\\148\\DC3\\137\\NAKH\\241h\\217]\\134JDC\\242Il\\DC4Mq\\156Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\215\\227W\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\NAK\\212\\136,\\150=\\253\\228\\241\\176f\\130\\233?=\\227i\\174.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\174Y\\208~\\252\\195t\\148\\DC3\\a\\248\\243tw\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178E\\235C\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\202\\DC2\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\213\\157\\182\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236o\\STX\\250\\214\\DC3\\155\\252\\RS\\179\\139\\n6\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\242\\221\\154\\CAN_~\\232\\150\\174\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\128\\STXu\\185\\141i^\\\"#\\221\\138A\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\STX\\135\\252 \\210\\177V\\240;>\\173\\ETXH(E&\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250 \\243\\168\\243\\145Mp\\152\\254\\252Q\\SUB\\164\\ESC\\227;\\DEL\\195\\210V\\160\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174]\\221\\EOT~\\152\\247\\212\\141\\178\\189\\194R\\133\\149\\139\\217\\141V\\247\\167\\192\\180\\254\\143\\ACK\\138\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\DC23R\\232)/=\\222\\207\\188\\152~4\\128\\175\\190:T\\SYN\\230\\154\\176\\167\\&6\\ESC't\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\151\\DLEJt\\221\\172;zG\\182N\\236\\228\\143\\192\\194;(\\185`.\\161\\thu\\141\\SUB\\185\\164h)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231~O'd\\157\\240\\253\\232w\\240o\\220r\\DEL`+ \\197\\253\\210\\141]fT \\204\\232\\217\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151`\\145\\244\\147\\159\\242\\197\\253(R(+\\137\\254\\227\\130\\FS\\233\\138l\\134\\DC25\\132\\SO\\198]\\195\\166I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\&2\\r{\\217\\f\\227\\204\\162\\185Sk\\152\\243D\\184\\SOH\\189g\\181\\159\\143q\\198\\255\\255\\129H\\166\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS_3<S\\202\\210\\242\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163a\\234\\FS\\135\\173\\180Q\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\f\\r\\230\\RSu\\160\\&3ID\\195Yv\\133S\\250oCJ\\200\\152\\SOHS^\\235\\249\\207\\160n\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\169\\169\\ETX\\237\\148b'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\229,\\242\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"3B\\192\\194\\228KFWV\\180\\ESC\\241qT\\228u\\206\\217\\154\\162\\130\\213\\NAK\\198\\162P\\144or\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\192\\\\\\187\\178\\215Y\\216\\210sy\\159\\138\\200\\145\\221\\186E\\SUBY;\\197\\228\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241H\\217|\\168\\185\\211r\\222Z\\210\\220\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\207#\\198\\151J\\214\\225\\160\\128\\152\\192\\236t\\178\\DC1\\DC2\\\\\\204\\193r\\252\\&8\\239\\r\\223\\230\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"k;\\SO\\184@j\\213h^b\\240\\229m?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170y\\250\\v\\224\\162\\DEL \\\\w\\230\\229a~\\194\\162#\\212\\249\\212x\\212n\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"2875380719648641085340060767544752188619879983159422183215465426068429212453"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639870"],"tag":"AbiUInt"},{"contents":[256,"56946506407521871835573514954876906798133100218614429332586157545738464212292"],"tag":"AbiUInt"},{"contents":[256,"8958204347717990350736896813530727840028361446395243958052353537572054375129"],"tag":"AbiUInt"},{"contents":[256,"40487301767988471027669460605857217827177242867607465293937905797517447987328"],"tag":"AbiUInt"},{"contents":[256,"32139664317579071441524733316536534370809458618905505177698194897144305704192"],"tag":"AbiUInt"},{"contents":[256,"97042633305044817324849671798337943474494667832724906794645147036758572254182"],"tag":"AbiUInt"},{"contents":[256,"2000000"],"tag":"AbiUInt"},{"contents":[256,"88551206277580366526784796811761652331045077320220104057338750314545451608757"],"tag":"AbiUInt"},{"contents":[256,"62911567861866139709026889779855837163005225867974779326135205971879385654585"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"25010889871068800922879844704064382333549058931501437393691457336631516119396"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639883"],"tag":"AbiUInt"},{"contents":[256,"25200329289629343067798717387753556942231918850853555176138641575127181667676"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639840"],"tag":"AbiUInt"},{"contents":[256,"434"],"tag":"AbiUInt"},{"contents":[256,"50"],"tag":"AbiUInt"},{"contents":[256,"5767567670109522508092388460958809230407386125084614507590"],"tag":"AbiUInt"},{"contents":[256,"3604"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553539"],"tag":"AbiUInt"},{"contents":[256,"58024583677791779217845889476611866552713197113996417666076225702463879119782"],"tag":"AbiUInt"},{"contents":[256,"99999999"],"tag":"AbiUInt"},{"contents":[256,"30"],"tag":"AbiUInt"},{"contents":[256,"5"],"tag":"AbiUInt"},{"contents":[256,"114084080419677189280635901618873089364479172406491794318124759258277640540778"],"tag":"AbiUInt"},{"contents":[256,"109576916191449269760157529117514922879128564332994024405815918190318127946953"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000003"],"tag":"AbiUInt"},{"contents":[256,"500"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132608"],"tag":"AbiUInt"},{"contents":[256,"2155305040865966326256238702334161035749149464398487169685802418277074246526"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639036"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629936"],"tag":"AbiUInt"},{"contents":[256,"121"],"tag":"AbiUInt"},{"contents":[256,"61800607655747055601946441030807415582384852166549318401058801350435538116535"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630934"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011522"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417347"],"tag":"AbiUInt"},{"contents":[256,"61693367557352125777124111776348661904989229145010550020548638180829728328011"],"tag":"AbiUInt"},{"contents":[256,"280"],"tag":"AbiUInt"},{"contents":[256,"83403266726922565704842430803779176252947477678501489027352987337898265144672"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630937"],"tag":"AbiUInt"},{"contents":[256,"21714801684973336213036061891605706445496612793333184372425681810721016266575"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639035"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639886"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639887"],"tag":"AbiUInt"},{"contents":[256,"66056877187960859109143766245909700096706072527132332411527146278160573447217"],"tag":"AbiUInt"},{"contents":[256,"57"],"tag":"AbiUInt"},{"contents":[256,"15"],"tag":"AbiUInt"},{"contents":[256,"57735206958144617189588434574843601964267498046590502961593195472884364784657"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577601"],"tag":"AbiUInt"},{"contents":[256,"39263530170970222278733881057087941812441181699820246781595643494523880313254"],"tag":"AbiUInt"},{"contents":[256,"47304658637848523582649191138780192311136855940833702620729357009342619480128"],"tag":"AbiUInt"},{"contents":[256,"88149279765900507560784458534543022893768003313326583141872621109888621006949"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629936"],"tag":"AbiUInt"},{"contents":[256,"60985783879894516067171572612009348122649703093018739515414664133361954919740"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639636"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"708"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634933"],"tag":"AbiUInt"},{"contents":[256,"96147494167049592270293301819445764783701715573572818857017166895883958287435"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115577710320722311493747710219624492361706115781009839947885600836425939560611"],"tag":"AbiUInt"},{"contents":[256,"113938698840934922346881145588456812545551186965239091197209781599024932941490"],"tag":"AbiUInt"},{"contents":[256,"86330473444782500942688006187499742695798172816885644873344672741781905684872"],"tag":"AbiUInt"},{"contents":[256,"10097286205192974758385267104670999311960259747188849463452200195441715228581"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428157"],"tag":"AbiUInt"},{"contents":[256,"74939512352422988318848805184151599012206007271688726688437717703404549839912"],"tag":"AbiUInt"},{"contents":[256,"97559724480870739431195911140044547766850703670191028381191402092845538670427"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639855"],"tag":"AbiUInt"},{"contents":[256,"941"],"tag":"AbiUInt"},{"contents":[256,"862"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"99"],"tag":"AbiUInt"},{"contents":[256,"902"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858883"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689602"],"tag":"AbiUInt"},{"contents":[256,"103"],"tag":"AbiUInt"},{"contents":[256,"1564668410040478575543124493964997366072575193558009"],"tag":"AbiUInt"},{"contents":[256,"99999998"],"tag":"AbiUInt"},{"contents":[256,"820"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"4267556428153877706896010731061921623922985236053375541170926275976605157646"],"tag":"AbiUInt"},{"contents":[256,"107778511134936453537317283843137337689440281854436144090194700851628680067731"],"tag":"AbiUInt"},{"contents":[256,"22677755206199491983190414522717798984654"],"tag":"AbiUInt"},{"contents":[256,"44492596829856693887122021706573466897049897023942627704923767666295967685215"],"tag":"AbiUInt"},{"contents":[256,"100658915155434755131144438372345474505608924415253611311345781471996209115883"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629937"],"tag":"AbiUInt"},{"contents":[256,"45745845914406221349470406164300032073975484844913878880111901571357056016804"],"tag":"AbiUInt"},{"contents":[256,"136"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b2","0x00000000000000000000000000000000000000000000000000000000000011ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75c","0x0000000000000000000000000000000000000000000000000000000000001336"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"2547446353504754253613630977567"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e7f3","0x0000000000000000000000000000000000000000000000000000000000000bcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x0000000000000000000000000000000000000000000000000000000000000e14"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000804a4","0x0000000000000000000000000000000000000000000000000000000000008eca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6e","0x0000000000000000000000000000000000000000000000000000000000007d93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fd","0x0000000000000000000000000000000000000000000000000000000000006a25"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000064","0x0000000000000000000000000000000000000000000000000000000000000086"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[128,"3600"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000019ca3","0x0000000000000000000000000000000000000000000000000000000000004b9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba6","0x0000000000000000000000000000000000000000000000000000000000000086"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2a","0x00000000000000000000000000000000000000000000000000000000000001f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":[128,"167072432973994797034253285662749466035"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000039","0x0000000000000000000000000000000000000000000000000000000000001399"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[128,"340282366920938463463374607431768211451"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084277","0x0000000000000000000000000000000000000000000000000000000000000039"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"3062666007411905225271812930405948288999551074490876096661692543826510957542"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bf","0x0000000000000000000000000000000000000000000000000000000000001380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"34"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639927"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b2da","0x00000000000000000000000000000000000000000000000000000000000003ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"225"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c7","0x000000000000000000000000000000000000000000000000000000000000c989"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000036","0x0000000000000000000000000000000000000000000000000000000000000066"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517e","0x00000000000000000000000000000000000000000000000000000000000088c2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007ce","0x0000000000000000000000000000000000000000000000000000000000000e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"9417778142807905755843805403460156487922293501084870356143919323253549160245"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008345","0x00000000000000000000000000000000000000000000000000000000000003e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"2000"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b3","0x00000000000000000000000000000000000000000000000000000000000095ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062123","0x000000000000000000000000000000000000000000000000000000000000a864"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"71164572681399979804421503134727417544834290248960904006190711487414802455192"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232b","0x0000000000000000000000000000000000000000000000000000000000007660"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb11","0x0000000000000000000000000000000000000000000000000000000000001383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639924"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c821","0x0000000000000000000000000000000000000000000000000000000000001342"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052403","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"57392640909249629846393450719670211152631931188661021880796674097248871209510"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4d","0x0000000000000000000000000000000000000000000000000000000000001392"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]