[{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaff","0x00000000000000000000000000000000000000000000000000000000000043a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"105623355868368529568708777123061631382299760074940729444736884689922423209679"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000129","0x0000000000000000000000000000000000000000000000000000000000007e4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7c0","0x0000000000000000000000000000000000000000000000000000000000001368"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"9000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0d","0x0000000000000000000000000000000000000000000000000000000000008191"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"84754357525567800336714514874688729884197191446381425088584155701416519917770"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e3d5","0x000000000000000000000000000000000000000000000000000000000000b446"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000325e0","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"485"],"tag":"AbiUInt"},{"contents":[256,"109028303275097424688625443430800925496385831679781000576822954032337520829736"],"tag":"AbiUInt"},{"contents":[256,"1260517629462223"],"tag":"AbiUInt"},{"contents":[256,"66074710225619127716511578114843535663897239867413327652299592018463540740496"],"tag":"AbiUInt"},{"contents":[256,"104"],"tag":"AbiUInt"},{"contents":[256,"61608000755954362548107079695113992115076596190826002304637743085518478116751"],"tag":"AbiUInt"},{"contents":[256,"90439042790438382220306022840292431292364161867638661816175593065764411104266"],"tag":"AbiUInt"},{"contents":[256,"93919394016374087497898401414882546057453694984725645314520190609858143623111"],"tag":"AbiUInt"},{"contents":[256,"1999999"],"tag":"AbiUInt"},{"contents":[256,"86177840234964856720524955527883557665291811150940816872054581704467200805793"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639873"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"35369597752002689261210126439694164513246933674266195802889621712437615724030"],"tag":"AbiUInt"},{"contents":[256,"76124870171668228735449959871137097353969653369059232017016862816748219746835"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908081"],"tag":"AbiUInt"},{"contents":[256,"55744981149190415220906404825516324785232413381329501492846663808138433494097"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629937"],"tag":"AbiUInt"},{"contents":[256,"51"],"tag":"AbiUInt"},{"contents":[256,"2000002"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639638"],"tag":"AbiUInt"},{"contents":[256,"23601817148624819929659182831839592484725403327567379837613454858960509291300"],"tag":"AbiUInt"},{"contents":[256,"20535162691939130223351342534315317221243329238932753301647311623285960300050"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011522"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781056"],"tag":"AbiUInt"},{"contents":[256,"3008930927956073056818339912923392467859152741324082072845953875089872971072"],"tag":"AbiUInt"},{"contents":[256,"60826403981459032469898783882496827693887190790002291817593122027859645929286"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"},{"contents":[256,"11680742828135911359131670437351255711312408725273890973841480636311158988846"],"tag":"AbiUInt"},{"contents":[256,"71315903845918281353938753220929789316721257703499161669391898792530086613261"],"tag":"AbiUInt"},{"contents":[256,"88132824853309513850343973132304401293575255190864752195945548442787893665723"],"tag":"AbiUInt"},{"contents":[256,"101297155407761256118728211144558177503359537699321407444489381521184188845500"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"32415273674858925565895884748641204022970129002012265090066997252470202432677"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639802"],"tag":"AbiUInt"},{"contents":[256,"72"],"tag":"AbiUInt"},{"contents":[256,"9"],"tag":"AbiUInt"},{"contents":[256,"79079168460798909480043805362565288433618775215961596879797673725227592054044"],"tag":"AbiUInt"},{"contents":[256,"6"],"tag":"AbiUInt"},{"contents":[256,"46322523882763372950082170221453247478748005680523092302815536424811389278116"],"tag":"AbiUInt"},{"contents":[256,"25688509443592862453025336669715087562021824549624706082214862654513063441036"],"tag":"AbiUInt"},{"contents":[256,"59975026891327267275718553753559598762416811169663562087982490646058232365145"],"tag":"AbiUInt"},{"contents":[256,"115585246361741644437800748306108718398768439571118783853365439004867080324287"],"tag":"AbiUInt"},{"contents":[256,"80785938705914327104696390368556253440848820037862263008228269612980830613070"],"tag":"AbiUInt"},{"contents":[256,"48673553537923271295187849806490630783181128568034869897961810568673321719189"],"tag":"AbiUInt"},{"contents":[256,"63"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"18682121323980486735273439724400878955485996635728202617320943640845598825690"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634932"],"tag":"AbiUInt"},{"contents":[256,"100954610107681580388941428862563675500394015462967542420929254891965709922461"],"tag":"AbiUInt"},{"contents":[256,"96613697065159779361335993468558420918094582733020202992596996352174479693289"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"},{"contents":[256,"60893282457403863427401701948439120578270202684607276713451436259254131343062"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"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":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a515","0x0000000000000000000000000000000000000000000000000000000000009e96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000000bfb60970b4d36dbd"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"74944855551309720557854637431200171436150031615216698283176834201093400525288"],"tag":"AbiUInt"},{"contents":[256,"53378564726959294519277973069118982681333273208847867321359543947565048322459"],"tag":"AbiUInt"},{"contents":[256,"100000002"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0e","0x000000000000000000000000000000000000000000000000000000000000133a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ea","0x000000000000000000000000000000000000000000000000000000000000653c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dbaa","0x0000000000000000000000000000000000000000000000000000000000001276"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"1537480888"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e9ea","0x00000000000000000000000000000000000000000000000000000000000095e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a02f","0x0000000000000000000000000000000000000000000000000000000000000e12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"34134799617771243422762875631347669135493507404514043793903495375822759390953"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029b55","0x0000000000000000000000000000000000000000000000000000000000006721"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"1525939273"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055dce","0x0000000000000000000000000000000000000000000000000000000000000382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb14","0x000000000000000000000000000000000000000000000000000000000000ddef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"999999999999999997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000bb3f","0x00000000000000000000000000000000000000000000000000000000000085d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":[128,"236848647884453086792631763080969598209"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063526","0x0000000000000000000000000000000000000000000000000000000000006b02"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1532300298"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006cdc4","0x000000000000000000000000000000000000000000000000000000000000804b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000033ee75471e6078551"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"25702282667369936305701898087900376269662066553833853140963386967758400760226"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1d","0x0000000000000000000000000000000000000000000000000000000000008180"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005561d","0x0000000000000000000000000000000000000000000000000000000000003f80"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec6","0x0000000000000000000000000000000000000000000000000000000000001384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[256,"1531101566"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf6","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ad88","0x000000000000000000000000000000000000000000000000000000000000aaa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f96","0x0000000000000000000000000000000000000000000000000000000000002244"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"95219025793036577128549613572073946940875772418914207987428810254302321476364"],"tag":"AbiUInt"},{"contents":[256,"69"],"tag":"AbiUInt"},{"contents":[256,"601418691563458973186547483173932462355813082955187748963"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000361","0x0000000000000000000000000000000000000000000000000000000000006291"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"85132775914687968160036005299549309338954351171861245489710689387853427136289"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000026b61","0x000000000000000000000000000000000000000000000000000000000000e5d5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000271","0x000000000000000000000000000000000000000000000000000000000000e8ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_2",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000269aa","0x00000000000000000000000000000000000000000000000000000000000070d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":[256,"32635572598162022929701784756818139342820985054734089378249420624474901888871"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007cf","0x000000000000000000000000000000000000000000000000000000000000c021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043af0","0x0000000000000000000000000000000000000000000000000000000000002c3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"733"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062418","0x000000000000000000000000000000000000000000000000000000000000137c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1536658254"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065373","0x000000000000000000000000000000000000000000000000000000000000118d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"34"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1530623396"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000410aa","0x0000000000000000000000000000000000000000000000000000000000006560"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006135e","0x000000000000000000000000000000000000000000000000000000000000a3a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"81475097612479461598547972322347992637154142275446371932831597041202039778366"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007083d","0x000000000000000000000000000000000000000000000000000000000000101c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"215"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087e0c","0x0000000000000000000000000000000000000000000000000000000000000326"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac0","0x0000000000000000000000000000000000000000000000000000000000000d0f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"\"\\GS\\129`~\\225\\225\\225\\225\\225\\&2 V\\ETB\\218~}n\\DC2q\"","tag":"AbiString"},{"contents":"\"\\198|)\\SYN\\170\\174 \\169\\&7\\188>\\129\\&7\\174\\\\NT\\252z\\240,\\ESC\\212\\244\\181\\172\\188\\239\\\"\\ENQ\\a\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc4B392897650c72335bA2aa590934C807F3B184a","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xb8C2d58ec1aF15eE5B2C5Fff51258BD3b7288F72","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xb8C2d58ec1aF15eE5B2C5Fff51258BD3b7288F72","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"60"],"tag":"AbiUInt"},{"contents":[256,"1535571210"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"5279738304387783088336363283336466401441686366575686428623575772658818902767"],"tag":"AbiUInt"},{"contents":[256,"90"],"tag":"AbiUInt"},{"contents":"0x12F8Aa9519Dc6CbE9b26E3A1201CB779176ad088","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000382bf","0x0000000000000000000000000000000000000000000000000000000000009bf1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":[256,"99739443965246701174741285390254262728433984498701236039577701610080175723211"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2f","0x000000000000000000000000000000000000000000000000000000000000e063"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000018195","0x000000000000000000000000000000000000000000000000000000000000401b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022304","0x0000000000000000000000000000000000000000000000000000000000000911"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"442"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e1ae","0x00000000000000000000000000000000000000000000000000000000000003fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"114579186386127588445178477287440697897309165634500158447224784810224799607487"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002b36d","0x000000000000000000000000000000000000000000000000000000000000012a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c973","0x000000000000000000000000000000000000000000000000000000000000bb8b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"17661800736800131866204691915994951211446060400906515877410580076695056630676"],"tag":"AbiUInt"},{"contents":[256,"89445745592856485358884425928915083643682145102635899423595164188866804241575"],"tag":"AbiUInt"},{"contents":[256,"1526471126"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"12682330409466540468964044091433671683642898360605221427377407792276351818348"],"tag":"AbiUInt"},{"contents":[256,"108834261005798623401454205375665847471502652943277097282576052932137679089974"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629932"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015207","0x00000000000000000000000000000000000000000000000000000000000012bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e4","0x0000000000000000000000000000000000000000000000000000000000004163"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"86402"],"tag":"AbiUInt"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf4","0x000000000000000000000000000000000000000000000000000000000000004a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"62609944960826848658354723971533877847558632158985382899692431234716640232612"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008201b","0x00000000000000000000000000000000000000000000000000000000000001f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"39978008727287751770355926256318105301646035449382505689118421797831620965250"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ffc3","0x0000000000000000000000000000000000000000000000000000000000001336"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038fa9","0x000000000000000000000000000000000000000000000000000000000000d9d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"27697607007889649732127564"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088340","0x0000000000000000000000000000000000000000000000000000000000000116"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x12F8Aa9519Dc6CbE9b26E3A1201CB779176ad088","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003d07b","0x0000000000000000000000000000000000000000000000000000000000002f7b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb33","0x00000000000000000000000000000000000000000000000000000000000000cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"lh\\166\\145\\185\\175\\221\\224\\242\\216\\234\\&3W\\224\\&4\\ENQ\\135\\DC1\\FSgk2\\217\\\"\\NAK1\\180\\&2\\223\\134\\\\\\182\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb46","0x0000000000000000000000000000000000000000000000000000000000000034"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"185"],"tag":"AbiUInt"},{"contents":[256,"217052770867473976691373411460343388068"],"tag":"AbiUInt"},{"contents":[256,"44571136867436460463431602495602549461627671968817560994036294311764085622632"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"52987918723120516507082455768607603336053516235230108848208952760796427441711"],"tag":"AbiUInt"},{"contents":[256,"1527951595"],"tag":"AbiUInt"},{"contents":[256,"1527951595"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000567fa","0x000000000000000000000000000000000000000000000000000000000000500c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc4B392897650c72335bA2aa590934C807F3B184a","tag":"AbiAddress"},{"contents":[256,"52958510365671141911700851341943714041880985554146286504723694938888281198838"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033bb0","0x0000000000000000000000000000000000000000000000000000000000003977"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000067","0x0000000000000000000000000000000000000000000000000000000000005597"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"50"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e0ce","0x0000000000000000000000000000000000000000000000000000000000004ab8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005fa0d","0x0000000000000000000000000000000000000000000000000000000000002c37"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"31954278407186513513891185675456525741060981470068438495368300443156553129280"],"tag":"AbiUInt"},{"contents":[256,"71582229309813576402805324646358091879553890944408353408654286430558253496322"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b759","0x000000000000000000000000000000000000000000000000000000000000af3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"980"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a8aa","0x00000000000000000000000000000000000000000000000000000000000002c8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea17","0x000000000000000000000000000000000000000000000000000000000000e6dd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x000000000000000000000000000000000000000000000001d901dfc518666237"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfb","0x0000000000000000000000000000000000000000000000000000000000009aa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000330cc","0x000000000000000000000000000000000000000000000000000000000000d86d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"107384135367060638663794898674862452158458484992855600439705878261603034846251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000381dc","0x000000000000000000000000000000000000000000000000000000000000dd9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"148298341625901982041947908097941003563990876913239915"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000746c2","0x000000000000000000000000000000000000000000000000000000000000d726"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000745c0","0x0000000000000000000000000000000000000000000000000000000000000024"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"29831318164847032845660666169786258419982439777740411101780907466878970810530"],"tag":"AbiUInt"},{"contents":[256,"121"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639634"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950335"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266894"],"tag":"AbiUInt"},{"contents":[256,"66394470052832496075593000602159710696309002549433255345334344919942905230644"],"tag":"AbiUInt"},{"contents":[256,"70492592399089699145763742457665262553882543425655857498814568020837146556164"],"tag":"AbiUInt"},{"contents":[256,"38873236147808977356521186098454839544049093478113962108718664003972754364200"],"tag":"AbiUInt"},{"contents":[256,"123"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"83170993407737894160239549591703798184017201887345696644714209689586844808152"],"tag":"AbiUInt"},{"contents":[256,"47614081170314753621488"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628413"],"tag":"AbiUInt"},{"contents":[256,"87380359016978720241479243574790425507496971464364457638697076360936651533241"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639886"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"70978306045339930074556155681895892443888670846269520611984282923986814826435"],"tag":"AbiUInt"},{"contents":[256,"498"],"tag":"AbiUInt"},{"contents":[256,"3661886970778221489692104859083249918667049442610375045475087718997241798326"],"tag":"AbiUInt"},{"contents":[256,"7"],"tag":"AbiUInt"},{"contents":[256,"2001"],"tag":"AbiUInt"},{"contents":[256,"26761321831081251455033752865839290831063756974319262376393256941836380454910"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908085"],"tag":"AbiUInt"},{"contents":[256,"74"],"tag":"AbiUInt"},{"contents":[256,"28446775397393078676875982140329145201361204755677143118000506158455804752108"],"tag":"AbiUInt"},{"contents":[256,"6"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211775"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"74993970170825078589337244885032216043277134887538882370537716752001150303809"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577598"],"tag":"AbiUInt"},{"contents":[256,"55540045254992381614496705295746155793048045984450367117596616730202751248292"],"tag":"AbiUInt"},{"contents":[256,"607"],"tag":"AbiUInt"},{"contents":[256,"8389977629405304"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"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"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080772","0x000000000000000000000000000000000000000000000000000000000000242b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000000000000000000001a"},{"call":{"contents":["superVault_approve",[{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004b","0x0000000000000000000000000000000000000000000000000000000000000087"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"72"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000df3b","0x00000000000000000000000000000000000000000000000000000000000028d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0xB7D2d61ec425c5B32B32291Ef912EFaE84a92617","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x1C310426202C49BD70225A9A660dA6019422FFcA","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\166<\\239j\\198\\241\\177?I8\\248\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\186\\183\\197\\171\\EM\\170o\\207\\ACK{\\132\\t\\181\\130\\194\\255\\137\\FS\\DC2k97\\210:\\248p\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"9H*\\217\\SYN\\169\\232\\255\\165\\DLE\\226\\143c\\SYN\\245\\199)\\EM\\227U\\141N\\DEL8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\&3\\144)i\\FS\\132\\215\\237\\t\\145\\207.u\\239\\SYN\\178g\\196D\\NULX\\250\\162zH\\\"\\142\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\238m#i\\230\\253\\147\\221\\196\\EOT\\242\\162O\\DC4\\147\\159\\179o\\197\\ETB\\DC1\\171\\131\\252mr+/\\201\\&2\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207|T\\239\\178e0\\221\\199\\240`%\\191\\145c\\DLE\\DLE\\212qi\\235P4\\203\\188\\219\\&8\\DC3\\236^ \"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\v\\239\\220ZA\\166\\243?\\253)\\161@\\166G\\227\\166r\\192WXOc\\143;mq\\169\\175\\240\\167\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\192\\SO\\237\\164\\150\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\154?L\\243VXQBD\\215\\156\\SO|\\252\\211\\203EF\\254\\169\\EMj\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197N@\\216\\198~\\nz\\181f\\219\\CAN#\\128#\\194\\194\\ETX\\n5\\214O\\153\\231\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EM\\216\\204o\\164a\\167\\EM\\189\\214\\158\\RSn\\140\\200\\188\\215&\\215\\a\\176\\128>\\187\\172\\ETB\\191\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\152\\136I\\141\\t\\142t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\152R4\\238a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207F4\\169[\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\154\\190\\145O\\SUB\\150\\232\\DC1\\133\\th\\144\\b\\217nl\\213\\NAK\\DC2\\146\\SUB\\197\\252\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"@a\\154\\185\\US\\STX\\SOH\\207\\229\\192ln\\EM\\183\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200m\\248\\157[\\172\\131\\ESC\\234$\\185=]\\128\\&7\\129zk\\214\\130\\GS\\155\\243\\240a\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"_]\\ACK\\167\\255\\247;\\176\\198\\158\\157<\\193\\219\\212\\250\\\\\\fu\\197\\ACK/D\\205G\\FS\\162\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"u\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\148\\159\\173V\\255\\223\\SYN\\156!\\162\\EM{@\\216~C\\DLE\\248\\212r\\220\\175\\134\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"h>a>\\\\\\ETX\\226\\183\\208$\\243\\EM\\136,=4\\229\\254\\208\\187\\t\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\234\\177\\177\\179/\\135{e\\153p(\\ENQ:\\134L\\244{p\\243\\139\\205\\RS\\244\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\175\\238^\\245\\152\\249\\227]\\134\\205\\138bJ\\144\\137\\235\\191\\233\\142c\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\151\\153ZT\\159\\225&\\183\\242\\183AO}\\ETXq\\151\\NAK\\136TX\\DC3\\b\\154D\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\224\\129y\\n\\133\\203\\&1\\215\\225\\204\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"r[\\201&0wiS\\233\\\"^\\SO\\ETXfn\\217\\168\\192\\FS\\153\\225\\236<\\201\\137\\167\\244\\FSf$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\233@\\NUL\\167\\178lN\\179\\159;\\197\\188\\169M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\137\\f\\198\\&9l\\184\\244\\144x\\247\\245\\217\\137\\&9\\218\\243Rf\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMr\\225@\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\204/\\206\\t\\185\\208\\142\\246\\152U\\176\\222<vF\\170}i\\184\\226\\238\"","tag":"AbiBytesDynamic"},{"contents":"\",\\SO\\224\\137Cu\\EM\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\187rF\\fo\\204/\\128h#\\202\\SYN#\\199\\182:(\\236<i\\155F\\NUL\\206\\159]-\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\243\\174}ht\\169\\220bC\\150\\STXp\\232rw\\245\\171\\191\\173e\\183-S\\207\\201;v\\170\\254\\132\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"{e\\DC4<\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\140v^\\228\\133\\\"#\\206\\243T\\174T\\231\\165\\182\\v\\189\\229p\\147\\aU\\173\\213\\DC3\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236(U\\140(\\164\\241\\229e\\213X\\196\\201\\ENQ,\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\135\\231\\&7\\226\\205\\135\\SYN\\RS\\199\\250\\240\\aFDxz\\215U>U11gxT\\174\\201\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"tUX~3\\174\\211\\168\\182\\&3M\\152\\146\\224f[\\SYN]\\231\\209a9\\234\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\159\\218V\\131\\DEL\\253TH\\254!\\223S\\240\"","tag":"AbiBytesDynamic"},{"contents":"\" \\148\\232\\240\\235\\167\\223\\DC35\\199\\191\\238~s\\199\\167\\168;\\v6\\153>\\190V\\135d\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\204.\\234t}\\198\\130\\&4>\\154\\213\\166\\157\\251\\209S\\188\\196\\128\\137=\\208X\\196\\138e\\155\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\150\\&7\\\\~\\STX\\130\\215\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201$\\DEL\\234\\131\\f\\198,>vm\\133\\175kG\\149\\206\\221\\168\\&7u\\199\\205\\SUBx2w\\154r\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\194\\167\\n\\130<\\r\\211\\161\\&2jj[\\145\\ETX9\\DC1\\148[\\205\\&0\\205+C\\182\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"u4\\EOT\\EM\\234\\232\\US1EF\\218\\231{\\226[\\SI\\167\\243\\140\\180\\ESCs\\195\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\197m\\223\\177Z\\CAN\\230\\208\\185\\191\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2X\\205\\195a\\\\\\168m\\137\\185\\241\\249\\196\\n\\164H\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"a-2\\146\\243\\ACKD(D\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2m\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\176\\v\\203u\\157\\&9\\235\\175H94\\227{\\212\\168^\\STX\\146w\\156\\255\\134\\130\\EOT\\148\\133s\\171\\&0\\244\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\136\\teY3\\177-\\230\\ESC\\145ZN_Q\\EOT\\205P\\192\\252\\&3\\159\\141\\137\\\\Qt\\158\\215?\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\180\\&3\\143\\178\\217t+\\252\\168\\158\\131\\197\\162!\\201\\180\\231\\ACK\\216>\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213'\\174\\134\\255JlKtU\\235\\218`] \\144\\169\\&8\\EM\\191\\199\\181ff\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\174.\\199\\&1\\247\\145\\EOT\\ESC\\\"\\132\\250X\\222\\DLER\\SI\\a\\SOH\\234\\145\\201\\164\\207U\\145\\176\\136m\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\195\\NAK\\134ps\\129\\223\\236\\141\\130\\221K@\\232j\\233|\\146\\224\\213\\STXdI\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"y`\\SYN\\241ipV\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\144\\221?\\209\\184\\202\\201D\\190s\\130\\239\\158\\160O\\201\\225\\196\\187\\165M\\209\\223\\208txi\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\192\\&0G\\208,\\236\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t]RyE\\190\\DEL\\DC4u\\247+\\229\\139\\216e\\173\\213'\\148\\&7M\\240\\157\\169\\179\\b\\146\\198\\153`\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251;\\205\\224m\\187\\ACK=\\160J\\183G%,]H\\145\\165\\129Rm=%\\SYN\\191\\150\\208\\143p\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\232\\206\\DC3E\\143\\204\\233\\143\\147\\&3\\251\\193(\\n\\251\\243\\ETB\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\250\\147,U\\213E\\200\\DC1I?\\212\\132{;\\190L8d\\ESC\\170Q\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158H\\DEL\\DEL\\244rU$\\212\\162\\ENQ\\224zk\\166\\228Fas\\252\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\237%\\ACK9\\203$\\STXM\\DC11\\162s<\\248\\143\\151\\151\\131\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\ESC\\137\\128\\207\\164\\ACKb\\188\\186\\132\\235\\NAK\\NUL\\194\\173\\ETBj\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\216\\237\\175\\&26V\\DC3\\237\\209\\201s\\193\\132B\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\">\\193\\200\\131<\\ACK\\131\\t\\225\\249\\203\\FS{\\DEL\\SYN\\GS\\255\\230R\\206\\ESCH\\153\\159\\175%D\\200\\215\\bc\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\161\\\\\\DLEz\\191\\180\\155p\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\190h;Z\\DEL\\212\\203N\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\DC2!a\\SYNK\\150\\232\\142\\141\\200\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"+&\\140\\221N[\\169\\220?\\229v\\169\\182\\152\\142\\190\\246\\162B\\SO\\194,\\226\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\255>\\155\\FS\\200\\211n\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\149\\192\\227g\\SOH\\\"vb\\222\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\v 6r\\195\\207\\DC4\\212\\190\\&1?\\253\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNpG\\SOH\\214\\152l*\\219\\154]P\\157\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194;E\\SYN\\251\\210\\DC3d\\DLE\\201\\189u\\210\\204p\\219\\166\\DLE*\\186\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\209\\153d\\194\\225`\\163tV\\t\\145\\160'1\\221A\\179\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GSY\\228i\\240j\\215Q\\236u\\163\\167\\190\\EMv\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\f(\\202\\142\\153\\DEL\\231v\\181.\\EOT\\175\\159:{\\143o\\193K\\137UFu\\182\\187Fl\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\174\\178}@\\SYN\\ESC\\254\\254\\245\\&2\\248\\&5\\142\\163\\GSb\\137\\172\\153\\&7\\239\\221-\\157\\192\\&7\\236C\\134$\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\v\\NUL\\\\\\220\\233\\143\\132\\161S#Kx\\NULkg\\246V{\\139\\US.)\\172+4+\\165\\176\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r?I\\200&T\\152C%\\224\\137\\248r\\221\\SOH\\167\\240\\242\\218\\250|\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\169\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\161Xr\\226\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\145\\ETB\\237\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\SUB\\ESC\\233vG1d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\148 +\\234\\135\\229\\STXit\\189\\n:\\ETB\\247\\184v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\199\\249\\217\\136\\184\\145\\198\\209\\233U$\\228\\b]\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\239\\234v\\GS\\252!C\\235\\US&\\130\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\\"\\204\\255{\\219\\\\7\\GS\\207f\\161Vw0:\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\239\\158\\217KB\\EM\\237l\\n\\200\\213\\148\\198\\131\\SYN\\130M\\ENQ\\196\\145\\196\\174\\SI\\166\\181~\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"qU\\NAKk\\242//\\247\\137\\145\\148S\\b\\254m\\139\\179\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\222\\154\\218\\177\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\203X\\FSR\\252J\\199\\201\\179\\163>NV\\208\\243qk\\t\\196\\242\\184,\\246[Wr\\FS\\170\\178^\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\239\\a\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"7]\\n\\\\\\RSLt\\150\\a\\182\\207B\\204]\\255\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\174IB\\239\\153\\&0\\171\\202\\DLET\\213\\130\\&1j\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\ETX\\v\\252&\\244\\185\\131\\176\\bn{t(\\NUL\\249[R@\\STX4L\\211k\\219\\170D\\187\\140\\a\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\vH\\131{X.\\193+.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\186\\144\\153g\\237u_\\214C\\255\\159\\EM\\t)b-\\134b\\244`^\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t@7\\144\\218\\150A\\157\\244K\\FS\\181F\\203s@\\233\\168\\ETB\\182\\248\\136\\193\\139H\\203\\SOH(\\220I\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\GSF\\ENQE\\201t\\248QD\\226:\\SOH*\\199\\144\\145\\142_\\172\\SOH\\146\\DC3i\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\194Y\\250E\\185\\246\\208\\238\\180\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\250\\181\\142\\226\\194\\172\\211\\ACK\\209 \\178\\234\\bc\\172\\131o\\DEL{\\138m\\210\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179]\\136\\139o\\152\\238\\142b\\150r\\SI\\229\\200\\210\\&5&\\222\\CAN\\159\\RS\\156\\168\\193%\\161\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\225\\214\\253\\236\\180\\236\\129\\198\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\DC4\\152\\184\\194A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\129\\&8z\\NUL\\238Y:\\247r[\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\141\\131\\169O\\228\\146in7\\230\"","tag":"AbiBytesDynamic"},{"contents":"\";j?\\233\\133\\128\\219\\CAN\\203\\168\\135\\244SY\\181\\233\\142\\177\\b\\SOH\\238\\146\\186\\223\\241\\242\\DC2t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\192 \\143\\188\\137,\\STX\\168\\167\\145\\SUBW\\157!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\226\\187\\245\\243\\229\\245\\253\\156>\\248\\&0\\194\\165\\&0\\239\\&5\\n\\RS\\177\\189\\227,\\214\\249\\239\\239\\211\\223\\226\\ETB\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\137\\ESC)\\199\\DC1C/\\ENQ:\\154-\\v/A\\228\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167g]q\\SO\\206\\235e+g\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\STXq\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\189)d\\146\\180\\189\\134t\\182\\253/\\205\\150\\ESC\\242\\218\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\219\\158\\&7\\165u\\\"K\\GS\\160\\163T\\139\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201~\\135\\198\\131BR\\141\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\200\\162\\200\\SUBNf+\\208g\\191\\178}\\f\\181\\DC3;\\179\\245\\156t\\184n\\199(|\\DC3\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\166\\224\\224\\242\\133\\147\\211\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\156\\133\\&9\\FSe\\131\\232\\rc1U\\169$\\152\\225t.2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\225\\219\\ao\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\174\\249C,\\138\\GS\\194Y\\EMI\\194\\162\\188\\138\\ETX~k@xo_?\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136)\\DC1\\224\\146\\248\\228\\150\\228X\\179d-\\168J\\GS\\189P\\209\\153\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\212\\209\\162\\215$]\\GS\\232{\\184\\244Q\\246\\167I4\\187\\158\\222\\219\\242\\131(\\233\\143S\\138,\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\214\\ETX$\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\DC1\\183\\245u\\201\\167\\ESC\\136R\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242Q\\184\\149\\180\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\183\\US\\132\\&9\\226\\200+K\\136\\156\\202/J\\232\\158\\175\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\173\\231\\130\\US\\186+\\ETB\\140q\\240\\254\\DC2\\ACK\\201\\155\\174?W,hI\\235:\\198\\201\\157)k\\141\\161\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\183\\246*\\233'_\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\251\\196\\EM\\190\\252\\155a\\205\\195WM\\155Gk\\139\\GS\\179lX\\178\\\"\\219\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\")YiXg\\f\\198\\163\\&7\\136\\242Vu\\190\\203s\\185\\205\\205D\\162A\\160G\\201Y\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\204t@\\210\\255\\NAK\\247\\228\\215\\134\\156\\DC3\\187\\142X\\fU\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\&2<\\DC3\\169D\\222z\\150\\&1\\148\\201\\155\\DC1\\\\\\236\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\238\\130\\255>\\185l+\"","tag":"AbiBytesDynamic"},{"contents":"\"qy\\t\\147/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\135\\146C\\193\\191\\165;\\200\\&4\\174\\170\\SOHTB\\NUL\\155\\198\\&5\\202\\230[O_\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\ESCx\\SI0\\SUB\\206\\\\\\182\\202)\\220\\146\\217\\&9\\139\\DC1\\129\\ENQT\\233\\SI\\214K\\201\\169\\NAK\\203A\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\243\\137)\\227~\\207\\EMTRzC`\\214\\&6$\\213\\213\\156\\t~\\238\\183\\239\\214\\214b\\168\\233\\219Z0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\242?>e\\210\\147\\188{\\168tL/\\250\\SI\\191\\172\\174\\140\\&4`e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160e\\181/\\SYN\\139\\NAK\\185\\138(k\\181\\204\\159t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206v\\210\\245\\151\\219\\USe\\237\\180\\139\\162\\DC2)\\231JgI\\165H\\DC3%)8\\153\\SOH.-\\147\\149\\211\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\\\\\245c\\186\\128\\SOH\\NAK#%\\203\\ESC\\211\\128u\\245#\\138\\249\\134\\185e\\ACK\\236\\SI\\150\\206A9\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253!N\\212\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241F\\NAK\\ETB\\173!\\n\\217\\v\\NAK\\153\\SOc3\\205\\SO\\247\\244GZ+\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\180\\231\\250X\\226\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\229\\247\\EOT\\137So\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB=\\222k\\128\\217E\\220}3\\233\\131B\\134\\240\\CAN\\173\\247\\SOH\\ETX\\STX\\254\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"270"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639885"],"tag":"AbiUInt"},{"contents":[256,"62133058793402559258170251394093976921318720371833272077929891332979370202291"],"tag":"AbiUInt"},{"contents":[256,"1532895109"],"tag":"AbiUInt"},{"contents":[256,"105913821372467617017592215431749725878499300948564929027386500068973148884322"],"tag":"AbiUInt"},{"contents":[256,"76506469245002599192675967821703063021846532519346070467083074517154940430366"],"tag":"AbiUInt"},{"contents":[256,"34281985473457700052380811422892603832206501482816570449330208993033041280465"],"tag":"AbiUInt"},{"contents":[256,"21480245401450574138900388971560718900924878858100394149969704265202852165865"],"tag":"AbiUInt"},{"contents":[256,"26681640761567941150071277893263234534357870774346433479921174563960855333292"],"tag":"AbiUInt"},{"contents":[256,"11"],"tag":"AbiUInt"},{"contents":[256,"221"],"tag":"AbiUInt"},{"contents":[256,"1530445331"],"tag":"AbiUInt"},{"contents":[256,"87803437084151007608903036804197533735837736316930264840116719822638914838971"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"92970065682835962671501384021987457134265262343067152424699646769485180679454"],"tag":"AbiUInt"},{"contents":[256,"16884460079196053913795358543893998450458714827386063571524667310963761854875"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639632"],"tag":"AbiUInt"},{"contents":[256,"82271644348070837548813791396032688794616507456695580081937814177783291362248"],"tag":"AbiUInt"},{"contents":[256,"36775596765519449452545163797614390655448763905945345792308284815707175202298"],"tag":"AbiUInt"},{"contents":[256,"795"],"tag":"AbiUInt"},{"contents":[256,"102886551461393399871944272072611422592978467821687843110724201130913438193960"],"tag":"AbiUInt"},{"contents":[256,"25830250275144147530800112100502699423457050240747158978511896174439343862477"],"tag":"AbiUInt"},{"contents":[256,"1534227219"],"tag":"AbiUInt"},{"contents":[256,"1530025561"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639833"],"tag":"AbiUInt"},{"contents":[256,"4133536679000379"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639813"],"tag":"AbiUInt"},{"contents":[256,"112901572015244643666528572833349834798738387430768751672995091218278725227965"],"tag":"AbiUInt"},{"contents":[256,"46683798780930225123792136285557512025821524078576208010668785580262976876417"],"tag":"AbiUInt"},{"contents":[256,"1537543977"],"tag":"AbiUInt"},{"contents":[256,"15320786"],"tag":"AbiUInt"},{"contents":[256,"46"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781054"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639914"],"tag":"AbiUInt"},{"contents":[256,"481933564380074247447677497883"],"tag":"AbiUInt"},{"contents":[256,"1531001310"],"tag":"AbiUInt"},{"contents":[256,"91818208047658668715279628069356390551709283144885383922217338000075998139558"],"tag":"AbiUInt"},{"contents":[256,"2207057433832691815587837360115439962055821960027594688497607191990435165111"],"tag":"AbiUInt"},{"contents":[256,"110941428740757686058655130085154121384230423429060188597367947995886179783114"],"tag":"AbiUInt"},{"contents":[256,"378"],"tag":"AbiUInt"},{"contents":[256,"96127731490912600463346462291082603454449328144368385818621870755210642347873"],"tag":"AbiUInt"},{"contents":[256,"52879239069168746194900793520886725362766058028199606328344055102717389168728"],"tag":"AbiUInt"},{"contents":[256,"97277454433789408052287228586906804034061436220166908385123712053766409802119"],"tag":"AbiUInt"},{"contents":[256,"14738633588983691739346217676991529999736025149783169597126722002496102753633"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"95169218054132151716324049287727963877069521519265188908293554688011172363218"],"tag":"AbiUInt"},{"contents":[256,"96342854650274222571607951590183390080390070330861318435157461279282873854565"],"tag":"AbiUInt"},{"contents":[256,"60402047899030890695945096982218230225679588206169593909205889921308993762125"],"tag":"AbiUInt"},{"contents":[256,"93579275455070288552122151127545856216051141683311967754628897078396429178891"],"tag":"AbiUInt"},{"contents":[256,"98508132440104013938687530615639441057591579945908586768416932996555054119316"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"},{"contents":[256,"1526382693"],"tag":"AbiUInt"},{"contents":[256,"42593161713806558638155121202896685384074051280397315887019373257789203051470"],"tag":"AbiUInt"},{"contents":[256,"107891132673652335671554801651181845495276350069328463475104072639315338670052"],"tag":"AbiUInt"},{"contents":[256,"60913896725731362508558402648937208808010088816441221787187815464523082119229"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"49412641252402823614709899533827144929979581154435028577180354473625082752505"],"tag":"AbiUInt"},{"contents":[256,"1535178878"],"tag":"AbiUInt"},{"contents":[256,"34030924889611497214763858078964283224749654767538012851823670593649435704667"],"tag":"AbiUInt"},{"contents":[256,"1532143561"],"tag":"AbiUInt"},{"contents":[256,"1534404832"],"tag":"AbiUInt"},{"contents":[256,"73886173827421572497995285033784699823907686518970216675161794514014866262427"],"tag":"AbiUInt"},{"contents":[256,"15500600"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1529500740"],"tag":"AbiUInt"},{"contents":[256,"3020359634588689677123113617087798239279184548823859554064725354141314822147"],"tag":"AbiUInt"},{"contents":[256,"1532422645"],"tag":"AbiUInt"},{"contents":[256,"9292304340977839786480234301514257720864622852215408137220952753902792313543"],"tag":"AbiUInt"},{"contents":[256,"28425269698206945076716575362233269192011022752443796617127410809242937886916"],"tag":"AbiUInt"},{"contents":[256,"97739797930204105445671293441987201215320448639227207271439609049012022827840"],"tag":"AbiUInt"},{"contents":[256,"1527097858"],"tag":"AbiUInt"},{"contents":[256,"57472570131238031377029948739393802164639873658584642149976497757198297083971"],"tag":"AbiUInt"},{"contents":[256,"79427816894343334060770870976123450815580830730212751168867928350559547199580"],"tag":"AbiUInt"},{"contents":[256,"1529293978"],"tag":"AbiUInt"},{"contents":[256,"4440272277138763909547885939109396037393597724967538350574048"],"tag":"AbiUInt"},{"contents":[256,"36183670257588027050522994047784323114645115422403107769839087897474883610359"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000076cb","0x00000000000000000000000000000000000000000000000000000000000095a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639841"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000018fc4","0x00000000000000000000000000000000000000000000000000000000000000d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"7"],"tag":"AbiUInt"},{"contents":[256,"54754356847365438372244608365704861791532196370241556972247016480078465383490"],"tag":"AbiUInt"},{"contents":[256,"1481482745739885275300347823111674921296924609679909250311631895406607110131"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002dcb1","0x0000000000000000000000000000000000000000000000000000000000001fe5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e376","0x000000000000000000000000000000000000000000000000000000000000657d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"1530634097"],"tag":"AbiUInt"},{"contents":[256,"34366359184035380666051961935660097987561885123495456794079534282908652547151"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000b9","0x0000000000000000000000000000000000000000000000000000000000003408"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[8,"77"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f28d","0x000000000000000000000000000000000000000000000000000000000000dca8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"959474044"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001240e","0x000000000000000000000000000000000000000000000000000000000000df0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b8ca","0x0000000000000000000000000000000000000000000000000000000000000035"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000225d6","0x000000000000000000000000000000000000000000000000000000000000dd36"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x1Bb038fb54BfcBFA3814cE47cA5618cBA47dCdeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x976E007C011b3Ff6C1f9E2ce946dd396c9d24aBa","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x6b784eC8A6AbBa82D3abE46c3AB3a65d730dC51C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x12F8Aa9519Dc6CbE9b26E3A1201CB779176ad088","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x12F8Aa9519Dc6CbE9b26E3A1201CB779176ad088","tag":"AbiAddress"},{"contents":"0x1C310426202C49BD70225A9A660dA6019422FFcA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"229"],"tag":"AbiUInt"},{"contents":[8,"98"],"tag":"AbiUInt"},{"contents":[8,"46"],"tag":"AbiUInt"},{"contents":[8,"23"],"tag":"AbiUInt"},{"contents":[8,"118"],"tag":"AbiUInt"},{"contents":[8,"5"],"tag":"AbiUInt"},{"contents":[8,"60"],"tag":"AbiUInt"},{"contents":[8,"98"],"tag":"AbiUInt"},{"contents":[8,"161"],"tag":"AbiUInt"},{"contents":[8,"30"],"tag":"AbiUInt"},{"contents":[8,"70"],"tag":"AbiUInt"},{"contents":[8,"127"],"tag":"AbiUInt"},{"contents":[8,"79"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"214"],"tag":"AbiUInt"},{"contents":[8,"15"],"tag":"AbiUInt"},{"contents":[8,"79"],"tag":"AbiUInt"},{"contents":[8,"5"],"tag":"AbiUInt"},{"contents":[8,"190"],"tag":"AbiUInt"},{"contents":[8,"138"],"tag":"AbiUInt"},{"contents":[8,"63"],"tag":"AbiUInt"},{"contents":[8,"126"],"tag":"AbiUInt"},{"contents":[8,"235"],"tag":"AbiUInt"},{"contents":[8,"23"],"tag":"AbiUInt"},{"contents":[8,"48"],"tag":"AbiUInt"},{"contents":[8,"37"],"tag":"AbiUInt"},{"contents":[8,"133"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007fdf3","0x0000000000000000000000000000000000000000000000000000000000004da8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"112709141159148179801594763925029159757298545821676685453311013252816250257778"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000013aac","0x00000000000000000000000000000000000000000000000000000000000054ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"61"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069200","0x000000000000000000000000000000000000000000000000000000000000ac34"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":[256,"1533822560"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000102d0","0x0000000000000000000000000000000000000000000000000000000000000e9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"57236937422987660058658216016930905813186717084844122479471616907893731590110"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006df8e","0x000000000000000000000000000000000000000000000000000000000000058c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"57248438345063822914819949401406140218150560917441407109186147594577505015553"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0eb","0x0000000000000000000000000000000000000000000000000000000000005ab2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025449","0x000000000000000000000000000000000000000000000000000000000000e154"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"39"],"tag":"AbiUInt"},{"contents":[256,"1529634586"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004456","0x000000000000000000000000000000000000000000000000000000000000c1b3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a809","0x0000000000000000000000000000000000000000000000000000000000000270"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0ea","0x000000000000000000000000000000000000000000000000000000000000272a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142f0","0x000000000000000000000000000000000000000000000000000000000000dd0b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"1001"],"tag":"AbiUInt"},{"contents":[256,"248928148315571"],"tag":"AbiUInt"},{"contents":[256,"1526092797"],"tag":"AbiUInt"},{"contents":[256,"1525567205"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000036b54","0x0000000000000000000000000000000000000000000000000000000000003f2f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"57"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000050b05","0x0000000000000000000000000000000000000000000000000000000000002466"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c3","0x0000000000000000000000000000000000000000000000000000000000009aa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000564fa","0x0000000000000000000000000000000000000000000000000000000000004b38"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"9899450408954184850597705441280286834271714374423640423674856589483768121509"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000090a84","0x0000000000000000000000000000000000000000000000000000000000000a9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"118"],"tag":"AbiUInt"},{"contents":[256,"109847462457648085486061665939582919185458172665821498648665684346689276216630"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085b68","0x00000000000000000000000000000000000000000000000000000000000065c9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e5f7","0x0000000000000000000000000000000000000000000000000000000000002905"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006e85d","0x000000000000000000000000000000000000000000000000000000000000db01"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1534641498"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639910"],"tag":"AbiUInt"},{"contents":[256,"903"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"34802852800040279247664827363047230335084530059710251765064592613956340342073"],"tag":"AbiUInt"},{"contents":[256,"65693154185761222168399054105212412266279009590258159270202343087651120633689"],"tag":"AbiUInt"},{"contents":[256,"23991790021960078548238093511532336647419203069469907772561233449056958733531"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005ba48","0x000000000000000000000000000000000000000000000000000000000000acc3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"435507249"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000063","0x000000000000000000000000000000000000000000000000000000000000d118"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]