[{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"17842667479974278501276899926795542464629828399312832544245332784022735311232"],"tag":"AbiUInt"},{"contents":[256,"227"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000129","0x000000000000000000000000000000000000000000000000000000000000903b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005c7e9","0x0000000000000000000000000000000000000000000000000000000000000e14"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"84296607499622343668273397605960880928239124591940970365838006091050868728666"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a57a","0x0000000000000000000000000000000000000000000000000000000000009e53"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000079917","0x0000000000000000000000000000000000000000000000000000000000007eb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002666a","0x0000000000000000000000000000000000000000000000000000000000000041"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"30853862801221944524818902304859877312916011510964567789948722588240514155939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000eb11","0x000000000000000000000000000000000000000000000000000000000000969a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"269"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063720","0x0000000000000000000000000000000000000000000000000000000000008ec7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"1526717892"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e7ea","0x0000000000000000000000000000000000000000000000000000000000003b04"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"120"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000159a9","0x0000000000000000000000000000000000000000000000000000000000002367"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000295b2","0x000000000000000000000000000000000000000000000000000000000000e8a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015181","0x000000000000000000000000000000000000000000000000000000000000ae5c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"1534333988"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf0","0x00000000000000000000000000000000000000000000000000000000000086eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x8324ADfC37e4Ce6B24a34Ced4A13faadbd59Ca97","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"66"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"101"],"tag":"AbiUInt"},{"contents":[8,"19"],"tag":"AbiUInt"},{"contents":[8,"42"],"tag":"AbiUInt"},{"contents":[8,"48"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e9","0x0000000000000000000000000000000000000000000000000000000000009204"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1531536885"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000280e6","0x00000000000000000000000000000000000000000000000000000000000011ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004b8b6","0x00000000000000000000000000000000000000000000000000000000000032bf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088323"],"tag":"AbiUInt"},{"contents":[256,"1529748783"],"tag":"AbiUInt"},{"contents":[256,"371"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf4","0x000000000000000000000000000000000000000000000000000000000000556f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092d0a","0x0000000000000000000000000000000000000000000000000000000000003d85"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"1526055359"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000792b0","0x000000000000000000000000000000000000000000000000000000000000cb9c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"46"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f986","0x000000000000000000000000000000000000000000000000000000000000c9e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"873"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c517","0x00000000000000000000000000000000000000000000000000000000000007d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"1537187511"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005364e","0x000000000000000000000000000000000000000000000000000000000000dcc4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"70399703355164254095873693168997815581782841203107661298771384935626371863819"],"tag":"AbiUInt"},{"contents":[256,"51685377749593092199706263119222099603861284932576624972127742434218704755635"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"},{"contents":[256,"88306422925620698256865508491659405471234689641919874338197013146886122106200"],"tag":"AbiUInt"},{"contents":[256,"743919552477921567"],"tag":"AbiUInt"},{"contents":[256,"4"],"tag":"AbiUInt"},{"contents":[256,"19906794836646982590737584992132334507703281341932400454474800254672094251083"],"tag":"AbiUInt"},{"contents":[256,"49152368751856128387521358967737437952593902560059740804091314468633638586121"],"tag":"AbiUInt"},{"contents":[256,"60566623180879253954381708115762015417119444449628687495457747505247338225400"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"855253169502099045358913016411152308609252932099461738343207070415240856165"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1532970823"],"tag":"AbiUInt"},{"contents":[256,"321502511619027227950203270927361936709424552174717909"],"tag":"AbiUInt"},{"contents":[256,"266099321114927600897310307898121768233"],"tag":"AbiUInt"},{"contents":[256,"40722438558106523391513752912538814709673154722272238656055079685579082414727"],"tag":"AbiUInt"},{"contents":[256,"12273431821245073423003361077196138953898126884262368305590702888645695118897"],"tag":"AbiUInt"},{"contents":[256,"34"],"tag":"AbiUInt"},{"contents":[256,"94089335376892637596267120456461083251919616153994197654373195666597547803753"],"tag":"AbiUInt"},{"contents":[256,"39461145335134982406322532998703506706438720158780019340559366794603944212326"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1540209532"],"tag":"AbiUInt"},{"contents":[256,"29720519902878464075045776540755564163436113390128341644845457788696279254042"],"tag":"AbiUInt"},{"contents":[256,"56010053203209678594248637709141873403619187669839885238556304173992334737588"],"tag":"AbiUInt"},{"contents":[256,"10"],"tag":"AbiUInt"},{"contents":[256,"33507873705036332362515613427907938745449278885481113524393673600612373268650"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639679"],"tag":"AbiUInt"},{"contents":[256,"62870082306635667761486161542955190101532075529521927284791066995850320582511"],"tag":"AbiUInt"},{"contents":[256,"30021534798276290153598755569912314584288600326392878618813517691504880660242"],"tag":"AbiUInt"},{"contents":[256,"1527731992"],"tag":"AbiUInt"},{"contents":[256,"78865234619208573509218118528091639619817697986345953000454580756488866947788"],"tag":"AbiUInt"},{"contents":[256,"1537216776"],"tag":"AbiUInt"},{"contents":[256,"36260039107936421382165541984086598652159059212758583854037691908046170818861"],"tag":"AbiUInt"},{"contents":[256,"84921594670014403307586433270279843747960248512794107523586592206579070744296"],"tag":"AbiUInt"},{"contents":[256,"1532561304"],"tag":"AbiUInt"},{"contents":[256,"5002"],"tag":"AbiUInt"},{"contents":[256,"18620994859552141086462853720698857435494326547145589159219473604196621834198"],"tag":"AbiUInt"},{"contents":[256,"920"],"tag":"AbiUInt"},{"contents":[256,"4888807841575876403252218377659892877914967756099157844770032592453709445779"],"tag":"AbiUInt"},{"contents":[256,"66095019950351356552197813593578469935069443436721654166243934941768244812561"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629936"],"tag":"AbiUInt"},{"contents":[256,"1533681230"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f183","0x0000000000000000000000000000000000000000000000000000000000000bd0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x00000000000000000000000000000000000000000000000000007fffffffffff"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"31144846628854611837161309258052464809543170662093613058605336710236479057832"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075c54","0x0000000000000000000000000000000000000000000000000000000000001350"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x8324ADfC37e4Ce6B24a34Ced4A13faadbd59Ca97","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160 \\217\\&7m\\128\\241\\200\\192\\144\\&5Y(\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\n\\156\\150Yy\\150I\\242\\f\\251J\\232q\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\NAK\\168+\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT`\\158\\166\\184\\205\\220\\SIZ\\133i\\161\\143J\\132\\172+\\\"B\\v/v;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSH\\194\\SOH\\255\\198_<7\\CAN\\218z4w\\171tm\\215~\\225\\195\\f\\246\\169;3\\147h;\"","tag":"AbiBytesDynamic"},{"contents":"\";{\\202a\\tA\\212\\219\\187\\228\\217\\151\\209\\223N\\208\\225\\129\\145\\154\\230\\ACK\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACKv\\ESC\\STX\\229\\FS\\202\\151\\133TM\\133\\168\\138\\227\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\140QUn\\246`\\142\\142\\240\\162{\\166\\225P~k\\135\\248'\\138\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\164u\\DELD\\ACKQ\\CAN\\210\\&4\\172\\253\\225\\208\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\154\\243\\168\\216B\\178[]\\221#D{\\162\\197\\234h\\STX\\US\\175Z\\156^\\133\\145\\161\\220Yp\\151=\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\ESC\\231\\SOHW\\fw\\217\\&0w\\163\\190\\151\\DC4u\\240\\182\\191\\168\\180\\242G\\216J\\145\\180A\\212\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\254*\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\180\\191R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\133=\\201h\\194\\187D5\"","tag":"AbiBytesDynamic"},{"contents":"\"*=\\205\\196\\202\\147\\246\\189SEW\\205\\&5\\FS%\\248\\193XP\\158NkVi\\RS\\224\\196\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"iz\\235?g|\\173$\\ACK\\245m\\200\\159\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\DC1\\130\\207\\177\\131\\191\\180\\ACK\\NUL\\221\\229V\\138DD\\136\\175\\DC3\\196\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\187q\\DEL\\134V\\228K\\243\\167~\\206zk\\252\\170B\\210\\206\\DLE\\226\\183\\&6d\\DEL\\169F6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\&4D\\133\\DC31\\165\\212r\\169\\186\\227\\221\\DC4K\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141u4\\191_X\\186\\254}\\169\\140\\179*Lw\\222\\156~5\\248s\\n/e\\SO\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\222\\161\\ETX)\\234e\\178\\227d\\t\\214\\242\\188A\\255\\SUB\\247\\161:\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"qT\\253!}\\220[\\205DS\\170Z;0\\134C\\230:HH\\143\\177\\ba\\179V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239h\\153i\\169y\\205\\250\\217\\b\\146l\\158\\228\\188q\\246\\163\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223:\\249\\184\\227\\187\\v>\\184|J\\141d\\180B\\175\\145\\ETB\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"9X}Q\\222r\\174\\155\\191\\DC3\\136D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\&7?\\157\\144\\&0\\237\\144\\ETX\\164\\161+\\245at\\185\\176\\EOT\\CAN*\\222S\\248_E\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241S\\155\\144\\168Q\"","tag":"AbiBytesDynamic"},{"contents":"\"44\\213f~\\174D\\211%\\SUB\\237\\220\\192\\ACK2\\154A\\217\\138%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSH\\ETB\\139\\178\\ETB\\136\\230\\253\\150+\\226_\\246\\155^\\ESCJ\\156T\\214\\148\\&1\\FSWOa(\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\156\\236\\DC4][\\238\\215\\232\\&9\\146\\199\\164\\CAN\\165*@$\\222<\\177\\218}\\188\\253A\"","tag":"AbiBytesDynamic"},{"contents":"\"l0\\129v\\STX\\228\\ENQ-\\133G\\253\\&1\\SOUpg\\251>P\\254\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\129s\\231\\186\\ENQk1\\236\\208.\\CAN\\193\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178W\\228\\DC1\\214\\132k\\228l\\137Gv{\\DC1l\\140\\\\w\\224%\\144o\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\148d\\176\\199\\aZ\\250\\225\\ETB9\\172\\160\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\202E\\181\\157vA\\166S\\177\\EM\\149\\148\\227\\&4\\190\\158\\153\\215r\\n\\219\\175}tF\\254\\245B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\222\\&4\\244+\\EOT\\175a\\STX\\NAK\\GS\\172\\192\\128c\\211\\GS\\169\\130\\128<_\\RS\\178\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"S\\174-\\fk<\\200\\133\\129\\f\\a\\174)\\ACK\\245[\\138#\\234pM\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"*agY}\\169\\186\\236_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214q\\159/q4y\\f\\DC1\\DC1\\151\\198\\177\\155/\\232\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159>\\192\\139Q\\201\\&6\\235?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"r3J\\200\\147\\217\\&2\\197\\185\\DC2\\199}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\&1[a\\159|\\172\\153\\136\\239i\\220\\b\\NUL\\199\\&8\\151\\EM*\\209%'\\210\\200\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"]Z&\\240\\137\\207\\247\\b\\132t\\a\\NUL\\212\\179\\136\\248\\250\\NAK\\160\\204\\212\\243\\168\\204\\220\\231\\\\\\217\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\203I\\142\\DC3j\\215\\155X\\254\\220 \\203\\192v\\152]\\DC4\\FS\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\".\\209\\154d\\131\\205\\141\\182U\\233\\NAKG\\167\\136\\147Z\\191T*\\232\\253\\219w\\235\\ENQ\\158\\197\\216\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBqe\\SYN\\245\\250\\154\\152\\205\\219\\148\\210@U\\212,\\\"\\207\\t9\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"|T\\SOH\\226%d\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\ACK\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\143:\\178\\155\\\\\\173\\176X\\133\\216\\145\\186\\n\\238.\\185 \"","tag":"AbiBytesDynamic"},{"contents":"\"g\\216\\213\\162]>\\173\\NUL\\221\\171\\183P)\\DC1Gh\\196b\\138\\160\\232\\209B\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\218\\154\\SO\\219\\152\\196`}3s\\227L\\fGu[^j\\174\\141Z\\DC3\\US+|\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\225\\SOH8\\241\\236>0J\\162b\\ACK\\147v3\\167nr\\DLE\\229H\\179\\201\\176\\EOT\\232\\172a-\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\212\\135\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233!\\216\\140\\SOHPEy\\164kp\\132J\\178\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\172\\161i\\152\\DELpJ&3Z.E\\148\\&5K\\161\\171\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"%I\\224\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\203\\156\\250\\197\\231-\\165\\233\\192\\155\\ENQ\\138\\&1m0d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\152\\&3\\154k\\186\\n\\149-\\161\\&0\\208\\158\\173tu\\149?d\\DC4\\240y\\178\\196\\&7h\\234\\143\\165\\CAN\\252\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\222G,\\150\\&7\\167\\135\\136\\EM\\ETB\\242H\\156\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\&3\\172;\\n\\174\\201\\163)\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\249u\\214u\\157Z5Y\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\245a\\205\\216Ph\\134\\154\\247\\250\\180\\208\\188\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\tr\\195\\169\\183\\t4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n*\\\\\\138:yR\\182,\\229\\a*3\\UST\\164\\tg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\129*\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\199)k\\145\\137)6ysa\\204\\ETXf\\190`\\217\\&0\\148\\DC2\\214\\213\\165\\226\\&8f\\189\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"FQ\\147Y\\172\\206`\\250\\162\\249\\150A\\149N\\216r\\252\\&8#\\EOTi}\\139f\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\177HX\\135\\SUB\\SI4<h\\205\\&5\\GS\\139\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136N\\CAN\\174\\243k\\168B\\191gQ\\199`a\\194\\216H\\165\\159-\\SI\\ACK\\222\\&5\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\232\\237<\\171\\189/\\RS\\195\\185\\239\\171\\136!\\t\\206|\\223\\233\\a\\ETXj[\\241\\244\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"|6E\\220\\238\\152d;\\241\\128\\ACK\\255j\\243\\226\\218\\r\\203x\\229\\165\\143\\177V5\\184\\ETX\\aUq\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULFmp*\\134\\233\\163\\132\\255%0Y=V\\157\\252X9\\GSS\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STX^\\211\\RS\\201\\223t\\194\\177[\\SUB\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236A\\239\\205\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\128\\145&o\"","tag":"AbiBytesDynamic"},{"contents":"\"Jd[\\237\\192\\170&NP\\182[E\\177Z\\145\\181\\191h\\ACK\\152\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\EM\\199\\161\\ETB\\133G+Dc\\151\\217\\164\\248\\249\\211\\164`\\152\\129\\SI\\235\\239\\220.#\\204\\224\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\155\\239\\175\\229\\ETBNq\\SO\\189\\217H\\ENQ\\179\\215)\\237\\168\\\\\\229q\\149\\245\\196\\DLE\\182\\136YE\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\211\\161\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\143;\\214\\167\\156\\249\\174Cr?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\173\\236\\173\\219'\\220-\\243\\198\\GSx\\243\\196P\\251\\207\\155i\\159b\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\233\\CAN\\234\\231\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\177\\b\\216\\198Z\\129\\145\\177\\158\\170\\192\\242R\\211\\DC2F\\179\\210\\194\\DLE\\FS\\141\\129\\&9\\161\\152\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\142x\\235\\RSc\\205\\128\\225\\170\\251~\\215\\ETX\\202\\225\\NAKAr\\211\\202\\SOH\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\227J\\219-\\184\\231\\129\\255$\\DC3)RI\\\\\\210\\236?\\DLE\\172Q\\227\\193-1\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\EOTU\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\210Y\\244\\160\\152\\SUBvHl\\243\\190e\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\239\\229\\n\\247\\154\\177\\221\\DC2\\170\\156K\\203K\\252\\STX,g\\244x\\165\\155\\241\\163\\193\\FS\\223\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3M\\156rG\\162\\214\\158\\174J&\\192\\189\\183\\v\\EOT\\195\\EOT|\\DC2\\221^\\177\\219\\246\\228\\238E\\242O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173G\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\&6\\a\\142\\200\\143\\129\\236\\141Q\\170\\195\\&0\\177J\\190}\\143\\178\\213 \\DC3FJ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\207x\\DLE\\183G\\160c\\137\\215\\255\\231>7\\255\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\146o>:U\\149\\149|zgv\\160\\129c\\138\\FS\\208\\&1\\228\\148\\128\\183ku`\\185\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\163\\&9\\ESC\\155\\218U53!\\231\\140J\\215<]#z\\ESC\\152\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\247\\RS\\129\\185\\215A\\163\\134\\203\\148]\\163\\218\\234\\139\\200\\191+\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\DC1m<\\225Z\\173\\b\\194UQx\\177N\\196\\238\\&0\\164T\\205\\153\\203Uu\\FS\\222\\217\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\191Z\\132`E\\129\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\137i,z>\\FSv`\\172\\146J\\149\\140*\\243;\\253\\193K\\160\\179,\\255h\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\221*\\153 \\190\\214P\\135d\\244\\186\\214\\160H\\238q\\RS\\193?\\SOH\\CAN{\\159\\213\\&2\\254\\238Zy\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\t\\209\\171\\247\\DC26\\241b\\227\\147\\178\\157\\149\\129\\169\\231\\170s7\\158\\DC3\\222V\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\ENQ\\154\\&1~\\156y\\197\\CANuj\\180\\166\\&5e\\177<\\232\\177v\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211>\\247\\137\\250\\161\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243WJ,\\CAN\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\167\\186}\\167\\&0\\235p\\182\\&88\\247\\t\\US\\220Q\\n/ \\SYN\\DEL\\DC3\\246\\243\\166\\ESC\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175o\\251\\DLE\\184\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180F\\229\\181\\235\\245\\&9\\251\\187A\\204\\132$\\220\\167\\220\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\STX\\146\\162[(\\t\\209\\ESCi\\ENQ\\138\\217\\132\\253a\\SYN\\248\\161\\209\\t\\DC2\\DC3\\SUB=&\\162\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\140\\&3\\149\\251Q\\190u\\141\\152\\253x\\EM\\211\\241\\244\\156\\NUL\\253 \\179D\\247\\250\\211`'=\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\SOH\\143|\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\\\\\243D\\CAN\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\&4\\128\\172_h$\\160\\fX\\230\\ETX\\182\\189\\201\\FS\\191\\SYN\\149\\185\\137f\\FSE\\192\\188\\179\\139\\173J\\149\\212\"","tag":"AbiBytesDynamic"},{"contents":"\".\\209?\\250\\be\\NUL\\242$0\\f\\\\S\\162\\CAN\\189\\166\\163\\214\\DC3\\222L\\141\\GSk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\146i\\186[\\248t\\246\\&6[B}\\138\\214\\203\\243\\255b\\197\\140z\\216R\\135\\230wf\\196\\201\\174\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\248\\193>\\a\\v\\252\\165\\209\\184C\\157\\139\\215/\\253m\\147\\EM3\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\246\\143\\ENQy\\t\\166\\ENQ\\231\\179\\CAN\\252\\203\\144\\ENQC\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\226\\245\\134\\t\\193\\SUB;\\214\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\143\\189Tq X\\ESC\\232S\\133c)\\191\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\216,\\239\\198\\217\\187\\n\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130*\\b\\135\\DC2\\221{\\219\\217\\224\\243p1\\ENQ\\183\\241\\154BD\\178=\\221\\192\\NAKfO\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\227g!\\230\\192\\EOT\\169\\vS\\216\\190\\141\\132\\202_\\254\\217z\\\\\\151\\185\\190\\172@>\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\r\\192\\174\\175\\242\\142?\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"{\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKK|4\\SO\\128`'\\DC1\\CANV\\233\\203\\243P\\247\\128t\\222v4u89\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\206;\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\192\\DLEw\\FS\\191\\239\\&7\\192Kk7\\ETX\\139\\224E\\181\\216\\192O%\\CANE\\SYNJ}pd\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"'k\\216\\DC3q\\154\\153-)\\236+T\\171\\255{uQ\\146ar\\214\\ETX\\130C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189_g\\250\\161\\163\\248\\215\\183\\r\\188)7=}\\220\\n}\\204\\141\\236\\136\\138?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\SUB\\247P\\255\\237\\227V+J\\251\\SUB\\200\\DC3\\220\\n\\ETX\\v\\ETXY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOiYb\\206\\180\\250\\180\\181\\132\\211\\145w$\\200A']\\\\d\\224\\214Q\\137\\226!\\240\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\211\\ESCk\\248n\\ESC\\178\\&6\\ESC\\182\\166$\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173O\\163\\147\\242\\128\\207+\\137.\\158[\\EM\\161\\DC3;\\146\\NAK-\\179\\195a\\214S\"","tag":"AbiBytesDynamic"},{"contents":"\".\\184\\151\\193\\247\\146M\\146Ux \\238\\233n=\\223v\\SOz\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240t\\146G\\253\\171\\171\\168\\230au\\148i\\215\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ`\\253\\225m\\244M\\ETX\\185\\203\\234\\130`\\207\\152\\245\\USJ\\156X\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\169R\\249\\175\\234\\178\\251\\197\\144\\&9A\\231\\v\\134\\194\\208\\&6@\\FS>\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\191`\\SYN\\DC3\\188Z\\SI\\166w\\SYN+\"","tag":"AbiBytesDynamic"},{"contents":"\"Uz\\154+e\\215\\230@@\\201\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\237 7\\DC3<\\SYNvg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\217s\\142\\165\\148\\163\\212\\n\\158\\EM\\215\\142\\f\\153_4\\150'z\\232\\191\\223\\DC2\\240\\203\\197\\163;\\198b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\t\\204h{N%WF\\EM\\186\\187\\DC1]\\238\\153\\238\\247\\223\\178u\\138\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\" \\143\\193\\DC4d\\236M\\t}\\136\\253\\187<\\246\\161\\184k\\137`9&\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\EM\\192\\203\\214\\240\\ETB\\214\\162@\\192_\\155l\\f\\130Fj1\\250\\206\\155\\DC24\\164\\156[\\EM\\NULZ\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\vkNK\\217\\244zV\\234\\135\\&4%\\191B+'\\219\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\136+\\243\\159\\249jS\\180|a\\251\\255\\253$\\158\\151\\239H\\151\\NAK\\180#\\CAN\\199\\151\\137\\212\\SO\\223\\251>\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\ENQ\\aC\\220\\247\\EOT|\\128\\156S\\226~\\160a\\186\\170o\\134\\242\\244\\243w\\170\\134\\130\\203\\128\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\199\\211w\\DELD\\150\\188\\175\\163\\212\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182X\\DC1\\235\\227\\154XPh\\140k\\134\\246\\254?\\170\\228\\&8bJ\\131ZF\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\183\\237\\&4\\197\\131m\\\"\\240\\157\\204\\160\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\182\\166\\DC4V7\\235\\189\\n\\165\\175\\193\\167\\143\\181\\153\\251\\172\\&6,z\\222h\\170\\243uc\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242q\\250j\\226\\249S\\157\\DC2\\195\\242\\187\\DC2&h$\\\\>\\223\\212\\147\\144(\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\128p=G\\EOT{##\\235L\\167Wf\\240\\141\\148q\\140K\\GSt\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\EM\\DLE\\163\\199\\151l\\137\\&3\\222#\\RSja\\239\\211\\239O\\135Y\\163\\DC3\\241\\DC2\\183\\&4\\153\\&5,\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\235=6\\244\\146\\RS]q`\\DC21\\243\\211f\\166aU/\\165\\165\\212\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"|v\\184\\162lA\\190\\206\\142\\208~u\\245\\DELbD\\ENQ\\CAN\\177\\235\\231\\162\\212\\167\\\\*T\\198\\223\\184}\"","tag":"AbiBytesDynamic"},{"contents":"\"qM\\STX\\166\\169.\\\\\\DC2.\\162\\212+\\164\\181\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\161!\\140\\210\\167\\235\\130\\153\\249X\\195\\&0E\\195\\202\\GS\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\196cX^\\129\\135\\n\\166\\154\\SIy\\177\\205\\174\\200\\143\\&9\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\146\\206\\SO\\222S\\172\\223\\224\\235\\rM7\\229\\186v\\RS\\204\\DC4\\188\\132\\225)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\NAK\\156\\204\\253y\\197\\160~pz\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\&3\\129\\167\\145H\\238\\241\\170\\SOVf\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\150\\137\\v\\156&\\131\\&5\\207\\215?Z\\242q\\136\\CAN\\EOT\\168n\\194}_f\\NUL\\240\\SI|9\\FS\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240e)]\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\NAKx\\255\\229\\250%\\DC2\\131\\184d\\174\\236+\\186\\153\\155\\167\\167\\215]4\\155'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\190m\\220\\130\\135\\&5s\\222c\\190\\253\\&5cY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\US\\NUL\\190a\\198\\NAK\\b\\140\\aH9\\161\\155\\DC1:\\ETBI~\\161\\128|\\136\\154#3a\\rq\\SI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"l\\186\\236\\222\\129D\\170\\133)o\\249\\SO\\227\\156\\230\\GS\\249\\226\\EM\\196]\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\225\\\"\\196V\\237\\245'.S \\218ev\\v\\212\\147k\\179m\\234e.\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\210\\181\\143eH\\136;\\US\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237~\\238D\\156\\t\\155\\206\\NULo\\213\\SO6J|\\206\\225\\159\\GS\\254,\\RS\\SIM\\151Y\\238)\\NAK\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226Zb\\DC3\\152^,0\\157I\\211\\139~\\240\\EMXQ\\243E\\240\\233\\169\\t\\135\\168\\165\\244\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\ETXB\\249\\251\\250\\160\\216\\197V\\202 \\GS\\250vw\\145\\183\\164{\\132(\\134\\147\\186t\\NULf\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\204\\ESC\\255\\134\\182\\250\\179\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\237\\220\\ETB1wB8\\161\\175/\\US\\t\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242`\\164,\\175\\184\\172\\SYN\\SUB[)\\GS$\\242\\173\\146\\EOT\\189\\138^\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\144t$\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253k\\ACKFZ\\178A\\EOT\\167)\\158>\\244(\\226\\255\\170RJd\\143x\\182U\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"]~\\157\\175\\215\\164\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\196uT\\170\\204\\247\\129\\NAK\\145Y9\\215\\DLE\\177R\\SOH9B\\216x\\138@\\219e\\155\\165\\&3\\192\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"*H\\238\\SOHqx-\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\188\\135\\SI8\\236\\174\\147F\\171\\167\\156\\199\\138G{\\233C\\145\\191\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\164\\241\\205\\ESC\\138\\US\\223\\tP\\SUBzR\\174\\133\\149\\149&\\146\\223(Xgq\\149\\206\\ETBF\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\182\\SYN\\191\\DC1\\250v\\146KI\\169\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\233\\SUB\\NUL%\\177\\134\\226\\161B\\a6\\241\\NAK\\158\\131\\235\\138\\DEL\\244\\235\\231@\\250Ltg\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210]\\204\\NUL\\229!\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"E`\\GSm\\154[B\\243\\175\\t\\175\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\bw\\187\\n\\175\\136\\252\\169`\\241\\226\\253#\\SO\\207`:\\238\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\162-\\ESCM\\202\\246\\221](\\DC4\\177\\214\\183\\208\\&8\\228\\130\\151E\\SUB\\167\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"eK\\248\\160\\209d\\178\\190\\243\\247\\133\\139D\\225\\215\\195\\203\\217\\232d\\231\\147\\167\\192\\166\\156\\223\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\178\\&9{Y\\211\\159\\232\\155?\\fIb-\\251\\181\\140'\\FS\\130G}\\156\\161\\nU9y\\215{\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\251\\194\\244t`RO4#b\\153\\140\\131>\\156~U\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\198m\\150\\NULC\\185\\235\\195\\129ra\\132\\154U\\245\\169\\205r\\164\\249\\189\\155ir\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\153\\SUB$h\\245\\&8U|\\167#Q\\NUL\\221ezl\\239\\142DH\\172J\\149y\\247\\STX\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"M3\\205\\128M8\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128@\\225I\\247\\212&\\178\\179\\213\\195\\bavz\\231\\178\\253\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136v@\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206+H\\212O\\147F\\170\\161\\155\\236 \\224\\232\\192r\\204\\&3\\133s\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\US<\\240\\135\\NULX\\212,\\142\\DC2\\251o\\246\\247\\188\\133\\206_\\164\\230\\145x\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180R\\217\\151\\178[\\ETX\\137\\133\\164\\188q l\\ACK\\STX\\132\\175\\&8\\171Y\"","tag":"AbiBytesDynamic"},{"contents":"\"z(\\198\\189=<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\247u\\US\\155\\247\\&2\\ACK\\178g~\\RS\\253\\190mx\\197\\NUL\\EOTl/HmI\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"{3\\193\\203\\DEL\\128_\\245\\150\\173\\253Y\\239p\\229\\ESC\\239\\186\\NULD\\224\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"3\\SUB\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\199C\\176\\135+\\204\\214\\136\\222\\242\\228\\197\\153n\\190\\&6\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"+X\\144\\207{[\\246~:e\\177\\ETX\\248B\\150\\191\\SOH\\168\\153.\\207\\204\\131\\210C\\132\\173HU\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\227y\\176p4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\208\\EOT\\158\\130\\187)\\SUB'\\159\\181\\222\\228\\217\\194\\130\\145\\141\\233\\205u+\\152C\\191\\DELBo\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233u\\DC2\\ENQf\\172\\175\\223\\136t\\EM\\249\\130\\232f|\\215\\CAN\\150\\129\\148\\186\\172q:V\\129*7\\200\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"q=\\144\\215\\DELb\\SUBl\\178D \\132B\\181K\\ACK\\ETB\\184\\128k\\169\\216\\GS\\ACK\\\"\\237\\&6\\164\\198\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\SYN\\\"\\222\\144\\a8Quw\\134\\143\\221\\134\\219Pi\\191\\a\\246\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\CAN\\226,5J\\178;\\177G \\184\\\"\\247;\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\196\\&1vz_6g\\NULz\\187\\160\\193m-\\129\\198\\241\\206r\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\250\\166\\DC4\\171\\215\\141v\\151d\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\191\\DC4g\\251`nL4\\ETX&a\\154\"","tag":"AbiBytesDynamic"},{"contents":"\".\\162k'\\242\\198\\161\\a@A\\197\\140o\\137S\\217D:K\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\187(B\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\225j\\211\\253\\247\\232\\196K\\144\\238qR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216}\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\SOH\\192\\252\\&6\\216\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"xX\\177\\205\\SOHI\\208\\179\\\\;\\ETX\\252\\240\\&5\\166\\248\\DC4\\202\\ETX0\\159\\t\\SUB$\\DC1\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\174\\ESC\\254\\170m\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\149q\\DELg,\\130>\\147\\201\\230\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132je\\195\\147<\\DC2\\FS\\SIX\\DLE\\SOH\\242\\180\\205\\144b~{p$\\171\\244gW\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQA\\134@@\\178\\169D\\236\\215\\210\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\GS\\219:\\200\\135\\237i\\143\\251\\&2bnf\\136\\243\\239\\f\\250\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\NUL\\131\\ESC\\250\\RS\\236{\\198#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK$u/,\\139\\235\\181|5?\\230\\n\\131\\179\\152\\201\\196wjO?\\fMN\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\139\\215 \\198\\161\\236\\200\\SO\\f\\224\\205\\190\\182\\231\\&3aV\\196\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\129\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\171u\\rhj\\171Z\\CAN\\SO9O\\243&\\155\\237\\212?\\154F\\DC3\\210\\177\\179\\&8R\\206\\149\\183\\244\\205h\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\128xT[\\226Y\\EOT\\148t\\250z/\\167>\\210\\136\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\136h\\136\\DC2\\173\\145\\USHf\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\ETB\\249_\\SOHYazN\\191\\242TW\\173\\EOT\\205\\211U\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\230\\FS\\r\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"<GAj\\175T!\\226\\ETB\\145\\246\\182\\168h\\211\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\162\\191J\\177\\bAm\\DC1\\219\\247\\132>H\\160\\187\\155\\140\\248A\\190\\241\\203\\158$\\n\\a\\235Zd\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\186\\SYN\\232N5\\200$\\223\\f\\199\\v\\180\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Ae\\171`\\186\\166\\199V\\161\\194H=28m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\167\\184r\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158[N\\223l\\DC3Pc\\164\\237\\240\\147\\199\\DC1m\\171\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\203\\199\\173\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"]G\\149\\SOH\\DLE\\155\\157\\225Dw\\196\\196\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\208\\214\\211\\148(\\192\\EM\\213\\146g\\USgI\\EOT\\246\\STX\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"3a} \\135\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"82291006114057535480319159894862464248557482414582043634579763005887277835635"],"tag":"AbiUInt"},{"contents":[256,"40273485477439701830553051938788172011540777251432344260939662544985354363727"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211777"],"tag":"AbiUInt"},{"contents":[256,"1528638558"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"106797849729101948207632544655477574974491268179442691120177426380292773629773"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628417"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"69118411715816076840719507105086600903683587348075415711655902976752383209165"],"tag":"AbiUInt"},{"contents":[256,"692"],"tag":"AbiUInt"},{"contents":[256,"25249315025859743884570088320459629772606832359614748761120974099849506709508"],"tag":"AbiUInt"},{"contents":[256,"365"],"tag":"AbiUInt"},{"contents":[256,"43511113785911218245223715705024202982060933220840219259520083518402837064243"],"tag":"AbiUInt"},{"contents":[256,"299243673962386611717543402979542097118368593804353814878973"],"tag":"AbiUInt"},{"contents":[256,"51511170750152290697415988747421917899956534534313258883420460897155606150744"],"tag":"AbiUInt"},{"contents":[256,"1535745011"],"tag":"AbiUInt"},{"contents":[256,"101620169936898880759490434481649161693324153151603138394674619925556491354736"],"tag":"AbiUInt"},{"contents":[256,"29494340043321614242350009500594515030316910882661491237379832596449099203084"],"tag":"AbiUInt"},{"contents":[256,"100000000"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"81052257698606265253720009868344036984907492840560267220334943668987669589151"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630933"],"tag":"AbiUInt"},{"contents":[256,"17817127599764397192575779897057752085148834239150617957118133792648953823780"],"tag":"AbiUInt"},{"contents":[256,"949"],"tag":"AbiUInt"},{"contents":[256,"94902063268612693091188187632222475571435908478903799604466462807041715446784"],"tag":"AbiUInt"},{"contents":[256,"579"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"31009891499297065716312334456580570656354140157218936485054906100426918793425"],"tag":"AbiUInt"},{"contents":[256,"66412292279210432889984239837965937044581489696552549247449057190033091555814"],"tag":"AbiUInt"},{"contents":[256,"5098911005121334380339984724151532904757653149001445908423876935467793988606"],"tag":"AbiUInt"},{"contents":[256,"23667313185563010329736041074263421535"],"tag":"AbiUInt"},{"contents":[256,"67377440724313178039591004664449716726693829841335304126593417621002713839485"],"tag":"AbiUInt"},{"contents":[256,"430"],"tag":"AbiUInt"},{"contents":[256,"87884130229305618704700483466142783548296516498098330514671230627855100899436"],"tag":"AbiUInt"},{"contents":[256,"834"],"tag":"AbiUInt"},{"contents":[256,"67397941138553944887504039820485611930682674302948252677504478866117712622246"],"tag":"AbiUInt"},{"contents":[256,"27307651814356695710279658"],"tag":"AbiUInt"},{"contents":[256,"109979243771498923385672420204049304189986205095540298643063669914268135121221"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1532277822"],"tag":"AbiUInt"},{"contents":[256,"309061918"],"tag":"AbiUInt"},{"contents":[256,"25308301512394857023287526433699021875396748093179388801025954005286780310730"],"tag":"AbiUInt"},{"contents":[256,"29700995556292193555147432064"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639838"],"tag":"AbiUInt"},{"contents":[256,"9003"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1529653712"],"tag":"AbiUInt"},{"contents":[256,"1529653712"],"tag":"AbiUInt"},{"contents":[256,"1529653712"],"tag":"AbiUInt"},{"contents":[256,"1529653712"],"tag":"AbiUInt"},{"contents":[256,"1529653712"],"tag":"AbiUInt"},{"contents":[256,"1529653712"],"tag":"AbiUInt"},{"contents":[256,"1529653712"],"tag":"AbiUInt"},{"contents":[256,"1529653712"],"tag":"AbiUInt"},{"contents":[256,"1529653712"],"tag":"AbiUInt"},{"contents":[256,"1529653712"],"tag":"AbiUInt"},{"contents":[256,"1529653712"],"tag":"AbiUInt"},{"contents":[256,"1529653712"],"tag":"AbiUInt"},{"contents":[256,"1529653712"],"tag":"AbiUInt"},{"contents":[256,"1529653712"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1251678361460800216481248159901686748082884733370159762586413621213502755893"],"tag":"AbiUInt"},{"contents":[256,"82237707187551236294344426223767669909683723106597353508556618982908316055656"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639898"],"tag":"AbiUInt"},{"contents":[256,"3598"],"tag":"AbiUInt"},{"contents":[256,"68"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639917"],"tag":"AbiUInt"},{"contents":[256,"455"],"tag":"AbiUInt"},{"contents":[256,"78976318455335396803230120228044340232243103818985546624384059925953326352783"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"},{"contents":[256,"1528790714"],"tag":"AbiUInt"},{"contents":[256,"85327772809988459561085405862270152204002007398917800572516130446155624455029"],"tag":"AbiUInt"},{"contents":[256,"1529658991"],"tag":"AbiUInt"},{"contents":[256,"110308036264582677206725923095820663034080302893469190388697782487930361432291"],"tag":"AbiUInt"},{"contents":[256,"100000002"],"tag":"AbiUInt"},{"contents":[256,"257"],"tag":"AbiUInt"},{"contents":[256,"352087364"],"tag":"AbiUInt"},{"contents":[256,"12393684777184619565027380393014939155631643345598335789750084214203004707284"],"tag":"AbiUInt"},{"contents":[256,"19879592149357768139609940"],"tag":"AbiUInt"},{"contents":[256,"37198275398141225723366334194266662048708138974698937330229611384097267711564"],"tag":"AbiUInt"},{"contents":[256,"73402324404796230601424315822528438151246592181668380489078320899540168467550"],"tag":"AbiUInt"},{"contents":[256,"1527093918"],"tag":"AbiUInt"},{"contents":[256,"26818522071102121177454568272424322353697456840865510467014153371133703981476"],"tag":"AbiUInt"},{"contents":[256,"12525302343072963529573664294208372716904425039557634457908760431548004030638"],"tag":"AbiUInt"},{"contents":[256,"504"],"tag":"AbiUInt"},{"contents":[256,"87279993300186141130970680882016394823869306024472155879372768973409257013410"],"tag":"AbiUInt"},{"contents":[256,"111743225024601006936124020856156875318119930043299786412375551360579623865699"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428163"],"tag":"AbiUInt"},{"contents":[256,"86733515036043224936307848478144889354824667886805320188070885701059474840143"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000212f1","0x0000000000000000000000000000000000000000000000000000000000002b92"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032c62","0x0000000000000000000000000000000000000000000000000000000000003be8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006565a","0x0000000000000000000000000000000000000000000000000000000000000032"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000607c3","0x00000000000000000000000000000000000000000000000000000000000047fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"1534743650"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068146","0x000000000000000000000000000000000000000000000000000000000000e89d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088495","0x000000000000000000000000000000000000000000000000000000000000bdc4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"97253806850446734956509143632495324045789791897638011830807735357089415753530"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001e3","0x000000000000000000000000000000000000000000000000000000000000ae5c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"36391214241765373714325883098046403433413421853244887264737085511028157282655"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000041bb","0x000000000000000000000000000000000000000000000000000000000000b2fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006bd9c","0x00000000000000000000000000000000000000000000000000000000000077b0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000019877","0x000000000000000000000000000000000000000000000000000000000000bfed"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892765"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008b702","0x0000000000000000000000000000000000000000000000000000000000002607"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":[256,"36614686209698844958061090182484637152976394453139563197510672917021007782055"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083267","0x000000000000000000000000000000000000000000000000000000000000b5b4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"1528304824"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005805c","0x000000000000000000000000000000000000000000000000000000000000d8df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000041bb","0x0000000000000000000000000000000000000000000000000000000000005332"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"86470466336226538910618568560927311652648037896516317109004493712009411967568"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000582b0","0x0000000000000000000000000000000000000000000000000000000000000035"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"63"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bbaa","0x0000000000000000000000000000000000000000000000000000000000007966"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"35426719224486837007059034111587544999419395825824784586915258182712883937852"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004c","0x0000000000000000000000000000000000000000000000000000000000009c1e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1530163650"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b73c","0x000000000000000000000000000000000000000000000000000000000000e5f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"36686064218654109092417561472367109022074323089584792060919384948741335311502"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003890a","0x000000000000000000000000000000000000000000000000000000000000dd7f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000000024c64fa300e1223"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"475991490419348"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002578a","0x0000000000000000000000000000000000000000000000000000000000009583"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":[256,"24574780773676982284948103963308674663884369940591737486875561795996374501987"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004fc7d","0x0000000000000000000000000000000000000000000000000000000000005277"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"1533689728"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000016bfe","0x000000000000000000000000000000000000000000000000000000000000614b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"27075266044723151372198726868861903896164564543746988272041751423873573580519"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017512","0x0000000000000000000000000000000000000000000000000000000000007f26"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"22"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017b6a","0x0000000000000000000000000000000000000000000000000000000000009aa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"529"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004652c","0x000000000000000000000000000000000000000000000000000000000000dcb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e923","0x000000000000000000000000000000000000000000000000000000000000012d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"38239932455683503954864448140357621104248312960459218147174645138381654520683"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000433d5","0x000000000000000000000000000000000000000000000000000000000000ceb0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"152"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb06","0x0000000000000000000000000000000000000000000000000000000000009ac8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010cf6","0x000000000000000000000000000000000000000000000000000000000000a82c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002237c","0x0000000000000000000000000000000000000000000000000000000000003422"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000628cf","0x000000000000000000000000000000000000000000000000000000000000ab55"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0c","0x00000000000000000000000000000000000000000000000000000000000013aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ae55","0x00000000000000000000000000000000000000000000000000000000000012bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006564c","0x0000000000000000000000000000000000000000000000000000000000002a2e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043c74","0x000000000000000000000000000000000000000000000000000000000000071e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"48066965826245582234437701190519547122"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007fe48","0x0000000000000000000000000000000000000000000000000000000000001b94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbff","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027836","0x00000000000000000000000000000000000000000000000000000000000012a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabf","0x0000000000000000000000000000000000000000000000000000000000000136"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c7e4","0x000000000000000000000000000000000000000000000000000000000000137f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d1b7","0x0000000000000000000000000000000000000000000000000000000000000067"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"29285982366382062271152835125367973845309261535369357649684781585877636786463"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd8","0x000000000000000000000000000000000000000000000000000000000000e344"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b61a","0x0000000000000000000000000000000000000000000000000000000000006b29"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb31","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffb","0x0000000000000000000000000000000000000000000000000000000000000f9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"30085987133628655780894833836920541101135554469058756683131460583551880363266"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f3","0x0000000000000000000000000000000000000000000000000000000000007fdd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a207","0x00000000000000000000000000000000000000000000000000000000000012a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000054","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"75697550909153793332229002670959044388188284633989601190997486609577259407439"],"tag":"AbiUInt"},{"contents":[256,"64"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb23","0x000000000000000000000000000000000000000000000000000000000000c107"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"27719445784122587480083996962084456109405011324260349657971903683157427381155"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639858"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000384","0x000000000000000000000000000000000000000000000000000000000000ec39"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"46317074854113745241950951004345748597313099399258658318301092023147870902649"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035231","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858881"],"tag":"AbiUInt"},{"contents":[256,"644"],"tag":"AbiUInt"},{"contents":[256,"399"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076ea6","0x000000000000000000000000000000000000000000000000000000000000d8d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2c","0x000000000000000000000000000000000000000000000000000000000000012c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138b","0x000000000000000000000000000000000000000000000000000000000000d9d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"309485009821345068724781052"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e353","0x0000000000000000000000000000000000000000000000000000000000007971"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"111934242113907955779466072653377544435774828777459493173814949618872735855853"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000014c","0x0000000000000000000000000000000000000000000000000000000000002c50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000002b3","0x000000000000000000000000000000000000000000000000000000000000003e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"614"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a207","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639863"],"tag":"AbiUInt"},{"contents":[256,"5251098193608585332983970901566573686488443160733375429647936021223469662039"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069b7f","0x000000000000000000000000000000000000000000000000000000000000037e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639837"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ef41","0x0000000000000000000000000000000000000000000000000000000000000552"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaea","0x000000000000000000000000000000000000000000000000000000000000139f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"92716300357251276248627418891342202410716589965056070663507006895856382249323"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb02","0x00000000000000000000000000000000000000000000000000000000000024c8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"83475301505102621706445679596559957784289591941385579277198478792383550869978"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000470b2","0x000000000000000000000000000000000000000000000000000000000000001e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0xDEC9f3Dcc5158854Ef368E0B842F9e2cA8c990DB","tag":"AbiAddress"},{"contents":[8,"101"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000eb","0x0000000000000000000000000000000000000000000000000000000000009a22"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"9158460847733049412873914856740378350019817567372768545716982187755132567899"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c2","0x000000000000000000000000000000000000000000000000000000000000d9db"],"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,"712"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639920"],"tag":"AbiUInt"},{"contents":[256,"38644743546960432102059556531857746901024594271724505688422172854181759799269"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1532189304"],"tag":"AbiUInt"},{"contents":[256,"52373158562902946767286641177589679419451184758843275076705202079841700584283"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639890"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000332d4","0x00000000000000000000000000000000000000000000000000000000000064a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb45","0x000000000000000000000000000000000000000000000000000000000000ea4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51a","0x0000000000000000000000000000000000000000000000000000000000007fdd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e7","0x000000000000000000000000000000000000000000000000000000000000753b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"73921699286786524612125031862672495769678020888898038671339235294134033535742"],"tag":"AbiUInt"},{"contents":[256,"234"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c0b0","0x000000000000000000000000000000000000000000000000000000000000ba8c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":[256,"48832545088555466392384912430561334953432959408841881581860248688878025833477"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006fe6b","0x000000000000000000000000000000000000000000000000000000000000a6d5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007eea7","0x0000000000000000000000000000000000000000000000000000000000001383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"36"],"tag":"AbiUInt"},{"contents":[8,"144"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b056","0x0000000000000000000000000000000000000000000000000000000000001342"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf4","0x00000000000000000000000000000000000000000000000000000000000013bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"24334332552703489167503185415726411665393881011001990579600509534466698754790"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ea","0x000000000000000000000000000000000000000000000000000000000000a133"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"1526268343"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007204","0x000000000000000000000000000000000000000000000000000000000000d628"],"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":["0x000000000000000000000000000000000000000000000000000000000007dea9","0x000000000000000000000000000000000000000000000000000000000000139f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]